Broschiertes Buch
2006
13. November 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11905455,978-3-540-48837-8
Gebundenes Buch
Modelling, Specification and Verification
3. März 2014
Cambridge University Press
Broschiertes Buch
35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
2008
24. Juni 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12322992,978-3-540-70582-6
Ähnliche Artikel
Broschiertes Buch
2007
6. November 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12187638,978-3-540-76638-4
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
Broschiertes Buch
8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers
2007
12. Dezember 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12205752,978-3-540-77311-5
Broschiertes Buch
8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008
2008
20. Mai 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12278602,978-3-540-68892-1
Broschiertes Buch
16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings
1995.
7. Juni 1995
Springer, Berlin
Broschiertes Buch
Second International Symposium, CompLife 2006, Cambridge, UK, September 27-29, 2006, Proceedings
2006
21. September 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11875741,978-3-540-45767-1
Broschiertes Buch
Second Brazilian Symposium on Bioinformatics, BSB 2007, Angra dos Reis, Brazil, August 29-31, 2007, Proceedings
2007
9. August 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12093663,978-3-540-73730-8
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
11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings
2000.
11. August 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
10722387,978-3-540-67897-7
Broschiertes Buch
Third International Conference, ICARIS 2004, Catania, Sicily, Italy, September 13-16, 2004, Proceedings
2004
7. September 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11320210,978-3-540-23097-7
Ähnlichkeitssuche: Fact®Finder von OMIKRON