Broschiertes Buch
A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms
1984.
1. Juli 1984
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-13358-2
Broschiertes Buch
1981.
1. Februar 1981
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-10286-1
Broschiertes Buch
Theorem Proving Techniques and P-Functions
1987.
12. August 1987
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-18217-7
Ähnliche Artikel
Broschiertes Buch
International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings
1989.
31. Juli 1989
Springer / Springer Berlin Heidelberg / Springer, Berlin
10390106,978-3-540-51498-5
Gebundenes Buch
1996.
16. Dezember 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
10521707,978-3-540-60582-9
Broschiertes Buch
5th GI-Conference Karlsruhe, March 23-25, 1981
1981.
1. März 1981
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-10576-3
Broschiertes Buch
9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings
1993.
4. August 1993
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-57163-6
20,99 €
Versandfertig in 1-2 Wochen
Broschiertes Buch
1984.
1. Oktober 1984
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-13866-2
Broschiertes Buch
10th Symposium Strbske Pleso, Czechoslovakia, August 31- September 4, 1981. Proceedings
1981
1. August 1981
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-10856-6
Broschiertes Buch
Seventh Conference, Pune, India, December 17-19, 1987. Proceedings
1987.
25. November 1987
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-18625-0
Broschiertes Buch
Softcover reprint of the original 1st ed. 2016
7. April 2018
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-56960-3
Broschiertes Buch
10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
2004
18. März 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-21299-7
Broschiertes Buch
17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings
1996.
5. Juni 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61363-3
Ähnlichkeitssuche: Fact®Finder von OMIKRON
