Ergebnisse filtern
-
- 137
-
- 22
- 109
- 3
- 3
-
- 2
- 2
- 115
- 18
-
- 136
- 1
-
- 137
-
- 137
- 9
-
Steffen / Margaria Tools and Algorithms for the Construction and Analysis of Systems
Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61042-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hatcliff / Garavel Tools and Algorithms for the Construction and Analysis of Systems
9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00898-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schwiegelshohn / Frachtenberg Job Scheduling Strategies for Parallel Processing
14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009, Revised Papers1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-04632-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lemos / Romanovsky / Gacek Architecting Dependable Systems
2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40727-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vogler Modular Construction and Partial Order Semantics of Petri Nets
1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55767-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hooman Specification and Compositional Verification of Real-Time Systems
1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54947-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tomassini / Sanchez Towards Evolvable Hardware
The Evolutionary Engineering Approach1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61093-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Reed SDL 2003: System Design
11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40539-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brinksma / Cleaveland / Steffen Tools and Algorithms for the Construction and Analysis of Systems
First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60630-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Iivari / Rossi / Lyytinen Advanced Information Systems Engineering
7th International Conference, CAiSE '95, Jyväskylä, Finland, June 12 - 16, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59498-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Delgado Kloos Semantics of Digital Circuits
1987Verlag: Springer Berlin HeidelbergISBN: 978-3-540-18540-6Medium: Buch24,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Keidar Distributed Computing
23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-04354-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort