Ergebnisse filtern
-
- 131
-
- 20
- 107
- 4
-
- 2
- 2
- 112
- 15
-
- 130
- 1
-
- 131
-
- 131
- 9
-
Müller / Chapman / de Supinski Evolving OpenMP in an Age of Extreme Parallelism
5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3-5, 2009 Proceedings2009Verlag: SpringerISBN: 978-3-642-02284-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Langmaack / Vytopil / Roever Formal Techniques in Real-Time and Fault-Tolerant Systems
Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58468-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rischel / Ravn Formal Techniques in Real-Time and Fault-Tolerant Systems
5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65003-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Thalheim / Zimmermann Abstract State Machines 2004. Advances in Theory and Practice
11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22094-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Riccobene / Gargantini Abstract State Machines 2003: Advances in Theory and Practice
10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00624-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bert / Waldén / Bowen ZB 2003: Formal Specification and Development in Z and B
Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40253-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems
Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55092-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Parrow / Jonsson Formal Techniques in Real-Time and Fault-Tolerant Systems
4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61648-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Treharne / Schneider / King ZB 2005: Formal Specification and Development in Z and B
4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25559-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Voss / Eigenmann OpenMP Shared Memory Parallel Programming
International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42346-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Plasil / Grosky SOFSEM 2002: Theory and Practice of Informatics
29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00145-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nareyek Constraint-Based Agents
An Architecture for Constraint-Based Modeling and Local-Search-Based Reasoning for Planning and Scheduling in Open and Dynamic Worlds2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42258-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Werner / Castelfranchi Artificial Social Systems
4th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '92, S. Martino al Cimino, Italy, July 29 - 31, 1992. Selected Papers1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58266-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fitch Design and Implementation of Symbolic Computation Systems
International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57272-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Limongelli / Calmet Design and Implementation of Symbolic Computation Systems
International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61697-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Miola Design and Implementation of Symbolic Computation Systems
International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57235-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brim / Pol / Haverkort Formal Methods: Applications and Technology
11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, R2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-70951-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Steffen / Olderog Correct System Design
Recent Insights and Advances1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66624-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vaandrager / Rozenberg Lectures on Embedded Systems
European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 19961998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65193-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Miola Design and Implementation of Symbolic Computation Systems
International Symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52531-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Alur / Sontag / Henzinger Hybrid Systems III
Verification and Control1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61155-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rozenberg / Condon DNA Computing
6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42076-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Antsaklis / Kohn / Sastry Hybrid Systems V
1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65643-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brinksma Tools and Algorithms for the Construction and Analysis of Systems
Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62790-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tucci / Calzarossa Performance Evaluation of Complex Systems: Techniques and Tools
Performance 2002. Tutorial Lectures2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-44252-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort