Ergebnisse filtern
-
- 150
-
- 150
-
- 2
- 2
- 128
- 18
-
- 149
- 1
-
- 150
-
- 150
- 12
-
Gotzhein / Reed System Analysis and Modeling: Language Profiles
5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-68371-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ursino Extraction and Exploitation of Intensional Knowledge from Heterogeneous Information Sources
Semi-Automatic Approaches and Tools1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43347-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baker Memory Management
International Workshop IWMM 95, Kinross, UK, September 27 - 29, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60368-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Echtle / Hammer / Powell Dependable Computing - EDCC-1
First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58426-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dörr Efficient Graph Rewriting and Its Implementation
1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60055-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Whittle / Clark / Kühne Model Driven Engineering Languages and Systems
14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24484-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schulzrinne / State / Niccolini Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks
Second International Conference, IPTComm 2008, Heidelberg, Germany, July 1-2, 2008. Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-89053-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
D'Ambra / Guarracino / Talia Euro-Par 2010 - Parallel Processing
16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15276-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Krüger / Friehmelt Fachtagung Prozessrechner 1974
GFK-GI-GMR. Karlsruhe, 10.-11. Juni 19741. Auflage 1974Verlag: SpringerISBN: 978-3-540-06786-3Medium: Buch24,00 € (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, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 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, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 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, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-65703-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Margaria / Steffen Tools and Algorithms for the Construction and Analysis of Systems
Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.Erscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61042-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lemos / Gacek / Romanovsky Architecting Dependable Systems III
1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28968-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Frachtenberg / Schwiegelshohn 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 -
Pfeifer / Bellavista Wired-Wireless Multimedia Networks and Services Management
12th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2009, Venice, Italy, October 26-27, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04993-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Butler / Jones / Romanovsky Rigorous Development of Complex Fault-Tolerant Systems
1. Auflage 2006Verlag: SpringerISBN: 978-3-540-48265-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wijers / Brinkkemper / Wasserman Advanced Information Systems Engineering
6th International Conference, CAiSE '94, Utrecht, The Netherlands, June 6 - 10, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58113-0Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Milne / Pierre Correct Hardware Design and Verification Methods
IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56778-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dobnikar / Lotric / Šter Adaptive and Natural Computing Algorithms
10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20266-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lin / Alexander / Forsell Euro-Par 2009, Parallel Processing - Workshops
HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-14121-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Margaria / Melham Correct Hardware Design and Verification Methods
11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42541-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lemos / Gacek / Romanovsky Architecting Dependable Systems
1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40727-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wagner / Thoma Database and Expert Systems Applications
Erscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61656-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hooman Specification and Compositional Verification of Real-Time Systems
1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54947-5Medium: 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