Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2272
- 6
- Erscheinungsjahr
-
- 1
- 2
- 3
- 3
- 8
- 1
- 1
- 4
- 3
- 6
- 9
- 26
- 10
- 16
- 12
- 174
- 62
- 119
- 206
- 172
- 200
- 175
- 172
- 139
- 118
- 97
- 81
- 73
- 50
- 65
- 49
- 41
- 44
- 20
- 39
- 25
- 18
- 9
- 9
- 4
- 2
- 3
- 3
- 2
- 1
- Autoren
-
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 6
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 9
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 7
- 2
- 2
- 2
- 2
- 2
- 13
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 5
- 4
- 2
- 3
- 4
- 2
- 4
- 2
- 3
- 8
- 2
- 2
- 2
- 5
- 3
- 4
- 2
- 14
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 3
- 5
- 2
- 3
- 2
- 6
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 6
- 2
- 4
- 2
- 3
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 18
- 7
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 9
- 3
- 8
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 9
- 5
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 9
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 5
- 5
- 4
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 4
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 6
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 6
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 12
- 2
- 2
- 6
- 2
- 3
- 2
- 4
- 3
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 9
- 2
- 5
- 6
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 3
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 4
- 6
- 2
- 3
- 2
- 6
- 3
- 5
- 6
- 2
- 6
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 12
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 12
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 6
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 5
- 5
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 7
- 5
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 4
- 8
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 7
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 11
- 2
- 2
- 2
- 2
- 5
- 4
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 5
- 6
- 4
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 9
- 4
- 2
- 2
- 2
- 4
- 2
- 13
- 6
- 2
- 4
- 3
- 4
- 3
- 4
- Verlag
-
- 2
- 103
- 1
- 1
- 1
- 17
- 3
- 2
- 4
- 7
- 3
- 1
- 5
- 5
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 3
- 4
- 1
- 1
- 3
- 1
- 1
- 5
- 1726
- 86
- 1
- 1
- 32
- 86
- 69
- 4
- 19
- 4
- 1
- 18
- 34
- 2
- 4
- 1
- 1
- 2
- Preis
-
- 16
- 145
- 1378
- 739
- Sprachen
-
- 2148
- 130
- 1
- Verfügbarkeit
-
- 2268
- 10
- Katalog
-
- 2278
- 276
-
Gramlich Frontiers of Combining Systems
5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29051-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dams / Gerth / Leue Theoretical and Practical Aspects of SPIN Model Checking
5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66499-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Katwijk Ada: Moving Towards 2000
11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55585-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vardi / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20101-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nieuwenhuis Automated Deduction - CADE-20
20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28005-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hu / Vardi Computer Aided Verification
10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64608-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Reed SDL 2003: System Design
11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40539-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
The Munich Project CIP
Volume II: The Programme Transformation System CIP-S1. Auflage 1988Verlag: SpringerISBN: 978-3-540-18779-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lang Organisation der Software-Entwicklung
Probleme, Konzepte, Lösungen1. Auflage 2004Verlag: Deutscher UniversitätsverlagISBN: 978-3-8244-8113-2Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage54,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bennedsen / Caspersen / Kölling Reflections on the Teaching of Programming
Methods and ImplementationsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-77933-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Steffen / Zavattaro Formal Methods for Open Object-Based Distributed Systems
7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26181-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Goto / Furukawa / Nakajima RIMS Symposium on Software Science and Engineering
Kyoto, 1982. Proceedings1. Auflage 1983Verlag: SpringerISBN: 978-3-540-11980-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Slade Guide to Computer Viruses
How to avoid them, how to get rid of them, and how to get help2. Auflage 1996Verlag: SpringerISBN: 978-0-387-94663-4Medium: Buch93,08 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage93,08 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brinksma / Cleaveland / Larsen Tools and Algorithms for the Construction and Analysis of Systems
First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected PapersErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60630-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rus Algebraic Methodology and Software Technology
8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67530-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Heisel / Liggesmeyer / Wittmann Computer Safety, Reliability, and Security
23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23176-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bloomfield / Marshall / Jones VDM '88. VDM - The Way Ahead
2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings1. Auflage 1988Verlag: SpringerISBN: 978-3-540-50214-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barnes Ada 95 Rationale
The Language - The Standard LibrariesErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63143-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hutter / Müller / Stephan Security in Pervasive Computing
First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-20887-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chaudhuri / Das / Paul Distributed Computing and Networking
8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-68139-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aichernig / Maibaum Formal Methods at the Crossroads. From Panacea to Foundational Support
10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20527-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Medina / Obiedkov Formal Concept Analysis
6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78136-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Stefani / Demeure / Hagimont Distributed Applications and Interoperable Systems
4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20529-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jezequel / Hussman / Cook UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools
5th International Conference, Dresden, Germany, September 30 October 4, 2002. ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44254-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort