Ergebnisse filtern
- Fachgebiet
- Medium
-
- 9544
- 1466
- 29
- 12
- Erscheinungsjahr
-
- 5
- 176
- 994
- 1229
- 571
- 413
- 351
- 392
- 369
- 423
- 317
- 435
- 297
- 441
- 407
- 514
- 249
- 517
- 234
- 253
- 262
- 223
- 255
- 222
- 222
- 180
- 161
- 119
- 107
- 97
- 79
- 81
- 72
- 60
- 68
- 38
- 55
- 35
- 24
- 14
- 13
- 7
- 7
- 4
- 6
- 6
- 1
- 3
- 4
- 1
- 2
- 1
- 2
- 1
- Autoren
-
- 6
- 6
- 4
- 4
- 3
- 3
- 4
- 8
- 14
- 3
- 3
- 4
- 9
- 10
- 3
- 4
- 4
- 10
- 4
- 3
- 9
- 4
- 4
- 3
- 3
- 4
- 4
- 3
- 10
- 3
- 5
- 3
- 3
- 6
- 4
- 4
- 4
- 3
- 8
- 3
- 4
- 5
- 7
- 4
- 3
- 3
- 3
- 4
- 5
- 3
- 6
- 4
- 3
- 5
- 4
- 3
- 3
- 7
- 4
- 4
- 3
- 3
- 7
- 8
- 6
- 10
- 3
- 7
- 3
- 3
- 4
- 3
- 5
- 3
- 9
- 23
- 3
- 15
- 5
- 5
- 7
- 4
- 4
- 3
- 4
- 6
- 8
- 4
- 4
- 5
- 4
- 4
- 7
- 3
- 3
- 8
- 4
- 4
- 3
- 3
- 5
- 3
- 6
- 3
- 3
- 4
- 4
- 4
- 6
- 4
- 3
- 4
- 21
- 3
- 5
- 3
- 4
- 3
- 3
- 7
- 3
- 7
- 4
- 3
- 6
- 3
- 3
- 4
- 12
- 8
- 4
- 4
- 4
- 4
- 3
- 5
- 3
- 4
- 3
- 3
- 4
- 4
- 4
- 3
- 4
- 10
- 3
- 3
- 4
- 9
- 3
- 3
- 5
- 20
- 3
- 4
- 4
- 13
- 3
- 3
- 3
- 4
- 6
- 3
- 15
- 3
- 4
- 16
- 7
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 4
- 4
- 3
- 4
- 3
- 4
- 8
- 3
- 3
- 3
- 9
- 4
- 3
- 3
- 10
- 18
- 4
- 7
- 16
- 4
- 4
- 5
- 4
- 3
- 3
- 3
- 3
- 6
- 7
- 8
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 12
- 7
- 5
- 3
- 3
- 3
- 11
- 7
- 3
- 6
- 4
- 12
- 5
- 3
- 4
- 13
- 9
- 4
- 4
- 9
- 3
- 3
- 7
- 4
- 3
- 3
- 3
- 18
- 4
- 4
- 4
- 3
- 5
- 3
- 4
- 3
- 3
- 6
- 6
- 4
- 3
- 6
- 3
- 33
- 4
- 3
- 9
- 3
- 5
- 3
- 4
- 3
- 7
- 7
- 4
- 5
- 3
- 6
- 8
- 4
- 3
- 3
- 6
- 3
- 5
- 3
- 5
- 7
- 3
- 6
- 4
- 8
- 6
- 5
- 12
- 3
- 9
- 4
- 4
- 12
- 3
- 4
- 7
- 5
- 4
- 4
- 3
- 4
- 3
- 4
- 9
- 6
- 3
- 3
- 8
- 3
- 9
- 3
- 4
- 10
- 6
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 5
- 3
- 5
- 3
- 3
- 4
- 4
- 3
- 5
- 3
- 4
- 6
- 3
- 5
- 3
- 3
- 10
- 4
- 4
- 4
- 6
- 4
- 7
- 4
- 3
- 6
- 6
- 3
- 4
- 4
- 7
- 7
- 3
- 3
- 3
- 5
- 3
- 9
- 5
- 3
- 3
- 5
- 5
- 3
- 4
- 4
- 4
- 3
- 3
- 4
- 8
- 6
- 3
- 6
- 3
- 3
- 4
- 4
- 4
- 4
- 5
- 3
- 5
- 15
- 5
- 3
- 3
- 4
- 4
- 3
- 4
- 4
- 3
- 3
- 4
- 13
- 5
- 7
- 3
- 10
- 6
- 3
- 3
- 3
- 8
- 10
- 7
- 3
- 7
- 3
- 3
- 3
- 9
- 3
- 3
- 3
- 5
- 7
- 14
- 4
- 3
- 16
- 3
- 5
- 3
- 4
- 5
- 6
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 10
- 3
- 4
- 4
- 3
- 5
- 4
- 4
- 3
- 3
- 3
- 5
- 3
- 5
- 6
- 3
- 3
- 5
- 9
- 3
- 3
- 5
- 3
- 3
- 3
- 5
- 28
- 23
- 3
- 4
- 3
- 4
- 4
- 8
- 3
- 3
- 4
- 4
- 3
- 6
- 10
- 3
- 3
- 5
- 3
- 9
- 3
- 4
- 13
- 5
- 3
- 5
- 3
- 3
- 18
- 3
- 3
- 6
- 5
- 4
- 3
- 17
- 5
- 4
- 3
- 3
- 16
- 5
- 11
- 3
- 6
- 6
- 4
- 3
- 4
- 7
- 12
- 6
- 6
- 4
- 5
- 25
- 7
- 5
- 9
- 4
- 8
- 4
- 7
- 4
- 9
- 6
- 8
- 8
- 4
- 38
- 4
- 6
- 10
- 7
- 13
- 4
- 5
- 4
- 5
- 9
- 4
- 5
- 13
- 4
- 5
- 5
- 6
- 4
- 4
- 5
- 7
- 14
- 5
- 6
- 5
- 18
- 4
- 4
- 4
- 8
- 4
- 10
- 6
- 6
- 8
- 8
- 5
- 6
- 5
- 6
- 8
- 8
- 8
- 4
- 6
- 4
- 5
- 10
- 9
- 5
- 4
- 8
- 7
- 10
- 10
- 4
- 8
- 10
- 5
- 9
- 9
- 9
- 5
- 5
- 4
- 7
- 4
- 4
- 19
- 5
- 4
- 4
- 4
- 11
- 5
- 4
- 7
- 6
- 6
- 6
- 6
- 4
- 9
- 4
- 6
- 4
- 4
- 7
- 4
- 4
- 4
- 8
- 8
- 7
- 8
- 15
- 5
- 5
- 10
- 8
- 6
- 9
- 4
- 7
- 6
- 7
- 4
- 10
- 7
- 11
- 5
- 8
- 11
- 9
- 7
- 62
- 4
- 14
- 4
- 4
- 7
- 5
- 9
- 9
- 5
- 6
- 6
- 4
- 12
- 12
- 18
- 6
- 16
- 4
- 6
- 11
- 6
- 4
- 24
- 6
- 7
- 7
- 5
- 10
- 12
- 32
- 4
- 5
- 4
- 4
- 4
- 4
- 6
- 9
- 7
- 10
- 15
- 7
- 4
- 6
- 6
- 4
- 6
- 4
- 21
- 27
- 5
- 4
- 4
- 4
- 5
- 20
- 11
- 4
- 6
- 4
- 8
- 5
- 4
- 5
- 7
- 7
- 4
- 13
- 7
- 12
- 11
- 4
- 28
- 10
- 6
- 4
- 7
- 5
- 4
- 4
- 4
- 4
- 5
- 4
- 6
- 7
- 4
- 17
- 4
- 4
- 6
- 8
- 5
- 5
- 13
- 6
- 7
- 4
- 7
- 4
- 6
- 7
- 6
- 4
- 9
- 4
- 4
- 6
- 7
- 4
- 5
- 4
- 21
- 17
- 4
- 4
- 8
- 5
- 7
- 7
- 6
- 6
- 9
- 5
- 8
- 8
- 7
- 10
- 10
- 5
- 4
- 8
- 5
- 5
- 14
- 7
- 6
- 7
- 4
- 11
- 10
- 6
- 6
- 9
- 4
- 19
- 13
- 5
- 4
- 9
- 5
- 5
- 5
- 8
- 7
- 4
- 4
- 6
- 10
- 4
- 7
- 4
- 8
- 5
- 4
- 9
- 8
- 4
- 4
- 7
- 5
- 23
- 6
- 9
- 5
- 4
- 4
- 7
- 15
- 5
- 4
- 4
- 4
- 24
- 6
- 8
- 4
- 7
- 4
- 5
- 4
- 7
- 6
- 4
- 10
- 9
- 4
- 4
- 4
- 5
- 5
- 4
- 10
- 10
- 5
- 7
- 5
- 4
- 4
- 6
- 16
- 6
- 6
- 4
- 35
- 44
- 12
- 14
- 9
- 12
- 27
- 6
- 8
- 5
- 9
- 9
- 13
- 6
- 4
- 4
- 5
- 6
- 12
- 7
- 42
- 5
- 5
- 5
- 8
- 4
- 4
- 5
- 9
- 20
- 7
- 5
- 7
- 6
- 33
- 4
- 6
- 5
- 8
- 10
- 4
- 9
- 10
- 10
- 6
- 12
- 4
- 8
- 5
- 4
- 6
- 11
- 6
- 8
- 6
- 10
- 4
- 4
- 7
- 4
- 9
- 9
- 14
- 11
- 6
- 10
- 13
- 4
- 7
- 9
- 8
- 6
- 12
- 4
- 7
- 4
- 5
- 6
- 11
- 4
- 4
- 4
- 4
- 5
- 5
- 15
- 14
- 5
- 12
- 4
- 8
- 19
- 4
- 6
- 12
- 18
- 5
- 9
- 6
- 4
- 7
- 4
- 9
- 7
- 7
- 18
- 6
- 12
- 4
- 4
- 12
- 5
- 5
- 5
- 9
- 4
- 6
- 21
- 4
- 7
- 4
- 4
- 10
- 7
- 4
- 4
- 6
- 7
- 9
- 7
- Verlag
-
- 2
- 3
- 8
- 4
- 1
- 3
- 1
- 51
- 6
- 459
- 1
- 2
- 18
- 3
- 8
- 3
- 284
- 2
- 15
- 3
- 1
- 3
- 3
- 3
- 69
- 1
- 83
- 219
- 4
- 507
- 1145
- 15
- 1
- 1
- 1
- 56
- 101
- 1
- 3
- 1
- 4
- 58
- 35
- 1
- 5
- 25
- 1
- 4
- 3
- 14
- 5
- 39
- 4
- 1
- 1
- 1
- 1
- 1
- 25
- 1
- 4
- 1
- 1
- 31
- 1
- 1
- 1
- 1
- 10
- 15
- 5
- 5
- 16
- 2
- 6
- 1
- 1
- 18
- 2
- 1
- 11
- 5
- 1
- 5
- 2
- 3
- 3
- 2
- 3
- 3
- 11
- 1
- 3
- 20
- 1
- 2
- 1
- 2
- 8
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 15
- 1
- 4
- 28
- 22
- 3
- 37
- 1
- 1
- 1
- 1
- 2
- 16
- 1
- 5781
- 147
- 191
- 1
- 2
- 1
- 1
- 33
- 9
- 1
- 50
- 1
- 127
- 134
- 11
- 22
- 1
- 1
- 292
- 35
- 115
- 5
- 1
- 1
- 24
- 6
- 1
- 1
- 4
- 1
- 86
- 1
- 5
- 2
- 199
- 3
- 10
- 1
- 23
- 38
- 1
- 1
- 2
- 2
- Preis
-
- 351
- 1872
- 5299
- 3529
- Sprachen
-
- 10133
- 929
- 2
- Verfügbarkeit
-
- 10914
- 137
- Eigenschaften
-
- 4
- 4
- Katalog
-
- 11051
- 1747
-
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 -
Schmid Inductive Synthesis of Functional Programs
Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40174-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rosen / Strohmeier Reliable Software Technologies -- Ada-Europe 2003
8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, ProceedingsErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-40376-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Moonis / Chung / Hinde Developments in Applied Artificial Intelligence
16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, Laughborough, UK, June 23-26, 2003, ProceedingsErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-40455-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Guo / Yang Parallel and Distributed Processing and Applications
International Symposium, ISPA 2003, Aizu, Japan, July 2-4, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40523-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cardelli ECOOP 2003 - Object-Oriented Programming
17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40531-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Broy / Krüger / Meisinger Automotive Software-Connected Services in Mobile Networks
First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37677-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yi Static Analysis
13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings1. Auflage 2006Verlag: Springer NetherlandsISBN: 978-3-540-37756-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nahrstedt / Steinmetz Multimedia Applications
2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40849-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bosnacki / Leue Model Checking Software
9th International SPIN Workshop Grenoble, France, April 11-13, 2002 ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43477-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bustard / Liu Soft-Ware 2002: Computing in an Imperfect World
First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8-10, 2002 Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43481-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Field / Harrison / Bradley Computer Performance Evaluation: Modelling Techniques and Tools
Modelling Techniques and Tools. 12th International Conference, TOOLS 2002 London, UK, April 14-17, 2002 ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43539-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Backhouse / Crole / Gibbons Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43613-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Butler / Petre / Sere Integrated Formal Methods
Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.Erscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43703-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Krishnamurthi / Ramakrishnan Practical Aspects of Declarative Languages
4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43092-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Deprettere / Vassiliadis Embedded Processor Design Challenges
Systems, Architectures, Modeling, and Simulation - SAMOS1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43322-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rash / Rouff / Truszkowski Formal Approaches to Agent-Based Systems
First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42716-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cassez / Jard / Rozoy Modeling and Verification of Parallel Processes
4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial LecturesErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42787-2Medium: Buch45,96 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage45,96 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Johnson Interactive Systems: Design, Specification, and Verification
8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised PapersErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42807-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margenov / Wasniewski / Yalamov Large-Scale Scientific Computing
Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised PapersErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-43043-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Noriega / Vázquez-Salceda / Boella Coordination, Organizations, Institutions, and Norms in Agent Systems II
AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74457-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Xiao / Yang / Muller-Schloer Autonomic and Trusted Computing
4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73546-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mossakowski / Montanari / Haveraaen Algebra and Coalgebra in Computer Science
Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-73857-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fokkink Modelling Distributed Systems
1. Auflage 2007Verlag: SpringerISBN: 978-3-540-73937-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gaudin / Najm / Reed SDL 2007: Design for Dependable Systems
13th International SDL Forum, Paris, France, September 18-21, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74983-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