Broschiertes Buch
Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
2005
9. Februar 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11392910,978-3-540-24936-8
Broschiertes Buch
Softcover reprint of the original 1st ed. 2017
18. Juli 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-82689-9
| Gebundenes Buch | 44,99 € |
Gebundenes Buch
1st ed. 2017
10. April 2017
Springer / Springer International Publishing / Springer, Berlin
978-3-319-42898-7
Broschiertes Buch
Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
2007
9. August 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12094387,978-3-540-73857-2
Gebundenes Buch
IFIP 17th World Computer Congress ¿ TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002) August 25¿30, 2002, Montréal, Québec, Canada
2002
31. Juli 2002
Springer / Springer US / Springer, Berlin
978-1-4020-7181-2
Broschiertes Buch
Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
2006
11. September 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11841883,978-3-540-38870-8
Broschiertes Buch
27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings
2000.
2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-67715-4
Ähnliche Artikel
Broschiertes Buch
International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures
2004
1. September 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11315995,978-3-540-23068-7
Broschiertes Buch
Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
1st ed. 2017
6. April 2017
Springer / Springer International Publishing / Springer, Berlin
978-3-319-56840-9
Broschiertes Buch
27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings
2006
13. Juni 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11767589,978-3-540-34699-9
Broschiertes Buch
ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
2014
11. März 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-54847-5
Broschiertes Buch
Foreword by K. Rustan M. Leino
2007
3. Januar 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
11960881,978-3-540-68977-5
Broschiertes Buch
Essays in Memory of Ole-Johan Dahl
2004
31. März 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-21366-6
Broschiertes Buch
1993
5. Oktober 1993
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-57318-0
Broschiertes Buch
The Rationale behind the Object Constraint Language
2002
27. Februar 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
10846123,978-3-540-43169-5
Ähnlichkeitssuche: Fact®Finder von OMIKRON
