Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2113
- 3
- Erscheinungsjahr
-
- 1
- 1
- 3
- 3
- 8
- 1
- 4
- 2
- 5
- 11
- 23
- 10
- 13
- 12
- 172
- 55
- 113
- 177
- 111
- 180
- 167
- 168
- 138
- 112
- 97
- 75
- 72
- 48
- 66
- 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
- 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
- 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
- 1
- 2
- 1
- 1
- 2
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 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
- 5
- 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
- 14
- 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
- 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
- 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
- 5
- 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
- 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
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 3
- 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
- 7
- 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
- 12
- 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
- 4
- 3
- 2
- 4
- 3
- 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
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- Verlag
-
- 2
- 91
- 2
- 1
- 1
- 2
- 8
- 4
- 1
- 2
- 7
- 3
- 1
- 3
- 1
- 5
- 4
- 1
- 1
- 5
- 2
- 1
- 3
- 10
- 3
- 1
- 1
- 3
- 1
- 3
- 1
- 8
- 1
- 1
- 1
- 3
- 1
- 5
- 233
- 1243
- 8
- 1
- 97
- 71
- 1
- 148
- 7
- 1
- 50
- 1
- 1
- 1
- 1
- 2
- 18
- 1
- 31
- 1
- 1
- 1
- 1
- 2
- Preis
-
- 19
- 143
- 1257
- 697
- Sprachen
-
- 1984
- 133
- 1
- Verfügbarkeit
-
- 2100
- 16
- Katalog
-
- 2116
- 253
-
Puebla / Hermenegildo Static Analysis
9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-44235-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Robertson / Laddaga / Shrobe Self-Adaptive Software
First International Workshop, IWSAS 2000 Oxford, UK, April 17-19, 2000 Revised PapersSoftcover Nachdruck of the original 1. Auflage 2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41655-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Paterno / Palanque Interactive Systems. Design, Specification, and Verification
7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41663-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wilhelm Compiler Construction
10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41861-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Yi / Margaria Tools and Algorithms for the Construction and Analysis of Systems
7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41865-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mueller High-Level Parallel Programming Models and Supportive Environments
6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41944-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sistla / Emerson Computer Aided Verification
12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67770-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bowen / King / Dunne ZB 2000: Formal Specification and Development in Z and B
First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67944-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gurevich / Thiele / Kutter Abstract State Machines - Theory and Applications
International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67959-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mei High Confidence Software Reuse in Large Systems
10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 20082008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68062-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dignum / Flores / van Eijk Agent Communication II
International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68142-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wyrzykowski / Wasniewski / Dongarra Parallel Processing and Applied Mathematics
7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected papers2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68105-2Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jazayeri / Inverardi Software Engineering Education in the Modern Age
Software Education and Training Sessions at the International Conference, on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68203-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nürnberg Metainformatics
International Symposium, MIS 2002, Esbjerg, Denmark, August 7-10, 2002, Revised Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40218-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tschudin / Vitek Mobile Object Systems Towards the Programmable Internet
Second International Workshop, MOS'96, Linz, Austria, July 8 - 9, 1996, Selected Presentations and Invited Papers1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62852-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bowen / Till / Hinchey ZUM'97: The Z Formal Specification Notation
10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62717-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nagl Building Tightly Integrated Software Development Environments: The IPSEN Approach
1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61985-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Frasson / Lesgold / Gauthier Intelligent Tutoring Systems
Third International Conference, ITS'96, Montreal, Canada, June 12-14, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61327-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schmitz / Schiffmann Technische Informatik 1
Grundlagen der digitalen Elektronik5., neu bearbeitete und ergänzte Auflage 2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40418-7Medium: Buch59,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage59,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Reed SDL 2003: System Design
11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40539-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jourdan / Deransart Attribute Grammars and their Applications
International Conference, Paris, France, September 19-21, 19901990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53101-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Johnson Algebraic Methodology and Software Technology
6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63888-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Koskimies Compiler Construction
7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64304-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Didier B'98: Recent Advances in the Development and Use of the B Method
Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64405-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Vardi / Hu Computer Aided Verification
10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64608-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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