Broschiertes Buch
First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
2001
29. August 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42479-6
Broschiertes Buch
Advanced Lectures
2005
27. Juni 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11498490,978-3-540-26278-7
Ähnliche Artikel
Broschiertes Buch
Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
2004
27. Oktober 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11315810,978-3-540-22942-1
Broschiertes Buch
The Quest for Quantified Quality
2002
11. September 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-44261-5
Broschiertes Buch
25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings
2014
6. August 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-44583-9
Broschiertes Buch
6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
2000.
15. März 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
10719978,978-3-540-67282-1
Gebundenes Buch
Basic Concepts, Analysis Methods and Practical Use. Volume 2
1995
28. November 1994
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-58276-2
Broschiertes Buch
Basic Concepts, Analysis Methods and Practical Use. Volume 2
Softcover reprint of hardcover 1st ed. 1995
1. Dezember 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-08200-9
Broschiertes Buch
Basic Concepts, Analysis Methods and Practical Use. Volume 1
2. Aufl.
19. Oktober 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-08243-6
Gebundenes Buch
Modelling and Validation of Concurrent Systems
2009
2. Juli 2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
10980361,978-3-642-00283-0
Broschiertes Buch
Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures
2003
12. September 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20083-3
Broschiertes Buch
Basic Concepts, Analysis Methods and Practical Use
Softcover reprint of the original 1st ed. 1997
16. September 2011
Springer, Berlin
Ähnlichkeitssuche: Fact®Finder von OMIKRON