Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1402
- 2
- Erscheinungsjahr
-
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 3
- 5
- 17
- 6
- 8
- 5
- 118
- 40
- 66
- 125
- 94
- 122
- 108
- 109
- 83
- 82
- 57
- 53
- 42
- 28
- 49
- 36
- 23
- 33
- 14
- 22
- 14
- 8
- 7
- 5
- 3
- 2
- 3
- 2
- 1
- Autoren
-
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 6
- 1
- 2
- 4
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 2
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 5
- 2
- 1
- 1
- 3
- 1
- 9
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 10
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 1
- 3
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 4
- 1
- 2
- 2
- 2
- 5
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 10
- 5
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 6
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 7
- 2
- 2
- 3
- 2
- 6
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 7
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 6
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 8
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 5
- 3
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 3
- 5
- 5
- 2
- 3
- 2
- 4
- 2
- 3
- 12
- 2
- 2
- 5
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 5
- 4
- 2
- 2
- 4
- 6
- 5
- 3
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 3
- 2
- 13
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- Verlag
-
- 53
- 11
- 2
- 3
- 1
- 3
- 1
- 1
- 2
- 2
- 3
- 2
- 1
- 1
- 1
- 2
- 4
- 1
- 2
- 1
- 1122
- 17
- 65
- 13
- 15
- 41
- 3
- 1
- 1
- 5
- 18
- 2
- 1
- 1
- 1
- 1
- Preis
-
- 2
- 51
- 868
- 483
- Sprachen
-
- 1368
- 36
- Verfügbarkeit
-
- 1397
- 7
- Katalog
-
- 1404
- 170
-
Hurd / Melham Theorem Proving in Higher Order Logics
18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28372-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kutvonen Distributed Applications and Interoperable Systems
5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26262-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hogrefe / Wiles Testing of Communicating Systems
15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40123-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kordon / Vardanega Reliable Software Technologies - Ada-Europe 2008
13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68621-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Thomas ECOOP 2006 - Object-Oriented Programming
20th European Conference, Nantes, France, July 3-7, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35726-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Riis Nielson / Filé Static Analysis
14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74060-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Diehl Distributed Virtual Worlds
Foundations and Implementation Techniques Using VRML, Java, and CORBA1. Auflage 2001Verlag: SpringerISBN: 978-3-540-67624-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hudak / Warren Practical Aspects of Declarative Languages
10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77441-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Omicini / Zambonelli / Klusch Coordination of Internet Agents
Models, Technologies, and Applications1. Auflage. Softcover version of original hardcover Auflage 2001Verlag: SpringerISBN: 978-3-642-07488-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Namjoshi / Yoneda / Higashino Automated Technology for Verification and Analysis
5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75595-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kagström / Dongarra / Elmroth Applied Parallel Computing. Large Scale Scientific and Industrial Problems
4th International Workshop, PARA'98, Umea, Sweden, June 14-17, 1998, Proceedings1. Auflage 1998Verlag: SpringerISBN: 978-3-540-65414-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cheng / Li / Znati Wireless Algorithms, Systems, and Applications
First International Conference, WASA 2006, Xi'an, China, August 15-17, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37189-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Asada / Kitano RoboCup-98: Robot Soccer World Cup II
Erscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66320-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baresi / Fraternali / Houben Web Engineering
7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73596-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jin / Reed / Jiang Network and Parallel Computing
IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29810-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Labarta / Joe / Sato High-Performance Computing
6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-77703-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hertzberger / Hoekstra / Williams High-Performance Computing and Networking
9th International Conference, HPCN Europe 2001, Amsterdam, The Netherlands, June 25-27, 2001, Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42293-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Romijn / Smith / van de Pol Integrated Formal Methods
5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30492-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bowen / Fett / Hinchey ZUM '98: The Z Formal Specification Notation
11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings1. Auflage 1998Verlag: SpringerISBN: 978-3-540-65070-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bert / Bowen / Henson ZB 2002: Formal Specification and Development in Z and B
2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43166-4Medium: 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 -
Ramos / Unger / Larios Advanced Distributed Systems
Third International School and Symposium, ISSADS 2004, Guadalajara, Mexico, January 24-30, 2004, Revised Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22172-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Langendoen / Voigt Wireless Sensor Networks
4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-69829-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sobh / Elleithy Advances in Systems, Computing Sciences and Software Engineering
Proceedings of SCSS 20051. Auflage 2006Verlag: SpringerISBN: 978-1-4020-5262-0Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Westfechtel Models and Tools for Managing Development Processes
1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66756-8Medium: 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