Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2108
- 4
- Erscheinungsjahr
-
- 2
- 3
- 3
- 8
- 1
- 4
- 2
- 5
- 11
- 24
- 10
- 13
- 12
- 172
- 55
- 111
- 178
- 108
- 180
- 167
- 168
- 138
- 112
- 97
- 75
- 72
- 48
- 65
- 47
- 41
- 43
- 21
- 40
- 24
- 17
- 9
- 9
- 4
- 2
- 3
- 3
- 2
- 1
- Autoren
-
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 6
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 7
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 7
- 2
- 2
- 13
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 8
- 2
- 2
- 2
- 5
- 3
- 4
- 15
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 5
- 2
- 3
- 2
- 5
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 12
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 10
- 3
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 4
- 3
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 4
- 5
- 4
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 4
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 6
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 11
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 8
- 2
- 5
- 6
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 3
- 2
- 6
- 3
- 5
- 6
- 2
- 6
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 10
- 2
- 2
- 2
- 3
- 5
- 2
- 3
- 13
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 5
- 5
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 5
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 4
- 6
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 11
- 2
- 2
- 2
- 2
- 3
- 4
- 4
- 2
- 4
- 2
- 2
- 3
- 5
- 4
- 3
- 3
- 2
- 2
- 7
- 4
- 2
- 4
- 12
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- Verlag
-
- 2
- 91
- 2
- 1
- 2
- 11
- 4
- 1
- 4
- 7
- 3
- 1
- 5
- 4
- 1
- 5
- 4
- 10
- 3
- 1
- 1
- 2
- 1
- 3
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 5
- 266
- 1244
- 7
- 1
- 102
- 71
- 148
- 7
- 1
- 22
- 1
- 1
- 18
- 1
- 31
- 1
- 2
- 1
- 1
- 2
- Preis
-
- 17
- 145
- 1257
- 693
- Sprachen
-
- 1979
- 133
- 1
- Verfügbarkeit
-
- 2096
- 16
- Katalog
-
- 2112
- 253
-
Gomez-Sanz / Luck Agent-Oriented Software Engineering IX
9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers2009Verlag: SpringerISBN: 978-3-642-01337-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Haverkort / Smith / Bohnenkamp Computer Performance Evaluation. Modelling Techniques and Tools
11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 25-31, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67260-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Reinefeld / Hellwagner SCI: Scalable Coherent Interface
Architecture and Software for High-Performance Compute Clusters1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66696-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hutter / Ullmann / Stephan Applied Formal Methods - FM-Trends 98
International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66462-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gauthier / VanLehn / Frasson Intelligent Tutoring Systems
5th International Conference, ITS 2000, Montreal, Canada, June 19-23, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67655-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Omidyar Mobile and Wireless Communication Networks
IFIP-TC6/European Commission NETWORKING 2000 International Workshop, MWCN 2000 Paris, France, May 16-17, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67543-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Göhner / Lauber Prozessautomatisierung 2
Modellierungskonzepte und Automatisierungsverfahren, Softwarewerkzeuge für den Automatisierungsingenieur, Vorgehensweise in den Projektphasen bei der Realisierung von Echtzeitsystemen1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65319-6Medium: Buch64,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ehrenberger Computer Safety, Reliability and Security
17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65110-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wolter / Konev Frontiers of Combining Systems
6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-74620-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sirjani / Arbab International Symposium on Fundamentals of Software Engineering
International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-75697-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ernst ECOOP - Object-Oriented Programming
21th European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-73588-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gurevich / Meyer Tests and Proofs
First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-73769-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Toussaint Ada in Europe
Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 19951996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60757-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pitt / Johnstone / Rydeheard Category Theory and Computer Science
6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60164-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Grumberg Computer Aided Verification
9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63166-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Trigila / Mullery / Mampaey Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services
5th International Conference on Intelligence in Services and Networks, IS&N'98, Antwerp, Belgium, May 25-28, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64598-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nanya / Malek / Maruyama Service Availability
5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68128-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Covaci Active Networks
First International Working Conference, IWAN'99, Berlin, Germany, June 30 - July 2, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66238-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schmidt / Kuznetsov Formal Concept Analysis
5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-70828-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Doherty / Blandford Interactive Systems Design, Specification, and Verification
13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers2007. 2007Verlag: Springer-Verlag GmbHISBN: 978-3-540-69553-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage53,49 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
Paulin-Mohring / Audebaud Mathematics of Program Construction
9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-70593-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort