Ergebnisse filtern
-
- 131
-
- 20
- 107
- 4
-
- 2
- 2
- 112
- 15
-
- 130
- 1
-
- 131
-
- 131
- 9
-
Slezak / Lee Future Generation Information Technology
First International Conference, FGIT 2009, Jeju Island, Korea, December 10-12,2009, Proceedings1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-10508-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Montanari / Habermann System Development and Ada
CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings1987Verlag: Springer Berlin HeidelbergISBN: 978-3-540-18341-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Davidsson / Takadama / Logan Multi-Agent and Multi-Agent-Based Simulation
Joint Workshop MABS 20042005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25262-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nunzi / Li / Scoglio IP Operations and Management
9th IEEE International Workshop, IPOM 2009, Venice, Italy, October 29-30, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-04967-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sichman / David Multi-Agent-Based Simulation IX
International Workshop, MABS 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers2009Verlag: SpringerISBN: 978-3-642-01990-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mauthe / Curado / Zeadally Future Multimedia Networking
Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-02471-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kari / Malcher / Kutrib Cellular Automata and Discrete Complex Systems
19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 14-19, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-40866-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sifakis Automatic Verification Methods for Finite State Systems
International Workshop, Grenoble, France. June 12-14, 1989. Proceedings1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52148-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Antsaklis / Sastry / Kohn Hybrid Systems IV
1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63358-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Girard Typed Lambda Calculi and Applications
4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65763-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baker Memory Management
International Workshop IWMM 95, Kinross, UK, September 27 - 29, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60368-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Echtle / Powell / Hammer Dependable Computing - EDCC-1
First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58426-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nipkow / Barendregt Types for Proofs and Programs
International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58085-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dörr Efficient Graph Rewriting and Its Implementation
1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60055-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Maler / Piazza / Halász Hybrid Systems Biology
Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-27655-7Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Friehmelt / Krüger Fachtagung Prozessrechner 1974
GFK-GI-GMR. Karlsruhe, 10.-11. Juni 19741974Verlag: Springer Berlin HeidelbergISBN: 978-3-540-06786-3Medium: Buch24,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Parashar Grid Computing - GRID 2002
Third International Workshop, Baltimore, MD, USA, November 18, 2002, Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00133-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ursino Extraction and Exploitation of Intensional Knowledge from Heterogeneous Information Sources
Semi-Automatic Approaches and Tools2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43347-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wolf / Bruni Web Services and Formal Methods
5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings2009Verlag: SpringerISBN: 978-3-642-01363-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Steffen Tools and Algorithms for the Construction and Analysis of Systems
4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64356-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jeuring Mathematics of Program Construction
4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64591-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cleaveland Tools and Algorithms for the Construction of Analysis of Systems
5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65703-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pierre / Milne Correct Hardware Design and Verification Methods
IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56778-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lindsay / Eriksson FME 2002: Formal Methods - Getting IT Right
International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43928-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wagner / Näher Algorithm Engineering
4th International Workshop, WAE 2000 Saarbrücken, Germany, September 5-8, 2000 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42512-0Medium: 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