Ergebnisse filtern
- Fachgebiet
- Medium
-
- 9487
- 1446
- 29
- 12
- Erscheinungsjahr
-
- 4
- 169
- 993
- 1229
- 569
- 413
- 351
- 392
- 368
- 425
- 310
- 433
- 290
- 429
- 393
- 504
- 245
- 511
- 231
- 251
- 260
- 222
- 255
- 224
- 220
- 180
- 162
- 120
- 109
- 97
- 79
- 81
- 71
- 59
- 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
- 3
- 4
- 10
- 4
- 3
- 9
- 4
- 4
- 3
- 3
- 4
- 4
- 3
- 8
- 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
- 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
- 4
- 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
- 3
- 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
- 10
- 18
- 4
- 7
- 16
- 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
- 4
- 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
- 9
- 3
- 4
- 10
- 6
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 5
- 3
- 5
- 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
- 5
- 7
- 14
- 4
- 3
- 16
- 3
- 5
- 3
- 4
- 5
- 6
- 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
- 4
- 13
- 5
- 3
- 5
- 4
- 3
- 3
- 18
- 3
- 3
- 4
- 6
- 5
- 4
- 3
- 17
- 5
- 4
- 3
- 3
- 16
- 6
- 11
- 3
- 6
- 3
- 6
- 4
- 3
- 3
- 3
- 3
- 3
- 4
- 7
- 12
- 3
- 6
- 6
- 4
- 5
- 25
- 7
- 5
- 9
- 3
- 3
- 4
- 6
- 4
- 3
- 7
- 4
- 3
- 9
- 6
- 8
- 8
- 4
- 38
- 4
- 6
- 10
- 7
- 13
- 4
- 5
- 4
- 5
- 9
- 4
- 5
- 13
- 4
- 5
- 5
- 5
- 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
- 7
- 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
- 4
- 11
- 9
- 7
- 62
- 4
- 14
- 4
- 4
- 7
- 5
- 9
- 9
- 5
- 6
- 6
- 12
- 12
- 18
- 6
- 16
- 4
- 6
- 11
- 4
- 24
- 6
- 7
- 7
- 5
- 10
- 12
- 32
- 4
- 4
- 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
- 5
- 7
- 7
- 4
- 13
- 7
- 12
- 11
- 4
- 28
- 9
- 6
- 4
- 7
- 5
- 4
- 4
- 4
- 4
- 5
- 4
- 6
- 7
- 4
- 17
- 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
- 5
- 10
- 10
- 5
- 4
- 8
- 5
- 5
- 14
- 7
- 5
- 7
- 4
- 11
- 10
- 6
- 6
- 9
- 4
- 20
- 13
- 5
- 4
- 9
- 5
- 5
- 5
- 8
- 7
- 4
- 4
- 6
- 10
- 4
- 5
- 7
- 4
- 8
- 5
- 4
- 9
- 8
- 4
- 4
- 7
- 5
- 23
- 6
- 9
- 5
- 4
- 4
- 7
- 15
- 5
- 4
- 4
- 4
- 24
- 5
- 8
- 4
- 7
- 4
- 5
- 4
- 7
- 6
- 4
- 10
- 9
- 4
- 4
- 4
- 5
- 5
- 4
- 8
- 10
- 5
- 7
- 5
- 4
- 4
- 6
- 16
- 6
- 6
- 35
- 44
- 12
- 14
- 9
- 12
- 27
- 6
- 8
- 4
- 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
- 11
- 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
- 5
- 1
- 3
- 1
- 51
- 6
- 456
- 1
- 3
- 18
- 3
- 8
- 3
- 284
- 2
- 1
- 12
- 4
- 1
- 3
- 3
- 3
- 41
- 1
- 83
- 219
- 4
- 473
- 1143
- 15
- 1
- 1
- 51
- 95
- 1
- 3
- 1
- 4
- 58
- 33
- 1
- 5
- 25
- 1
- 4
- 3
- 14
- 5
- 39
- 4
- 1
- 1
- 1
- 1
- 2
- 25
- 1
- 4
- 1
- 1
- 33
- 1
- 1
- 1
- 1
- 8
- 12
- 2
- 5
- 3
- 26
- 2
- 6
- 1
- 1
- 17
- 2
- 1
- 12
- 1
- 5
- 1
- 2
- 2
- 2
- 1
- 3
- 2
- 3
- 3
- 11
- 1
- 3
- 20
- 1
- 2
- 1
- 2
- 8
- 1
- 1
- 1
- 1
- 3
- 2
- 15
- 1
- 5
- 28
- 22
- 37
- 1
- 1
- 1
- 2
- 16
- 1
- 5744
- 149
- 2
- 199
- 1
- 2
- 1
- 40
- 9
- 45
- 1
- 127
- 143
- 12
- 23
- 1
- 1
- 1
- 307
- 34
- 116
- 7
- 1
- 1
- 24
- 6
- 1
- 1
- 4
- 1
- 86
- 1
- 5
- 2
- 1
- 196
- 2
- 11
- 1
- 23
- 37
- 1
- 1
- 2
- 2
- Preis
-
- 352
- 1860
- 5260
- 3502
- Sprachen
-
- 10053
- 931
- 2
- Verfügbarkeit
-
- 10839
- 135
- Eigenschaften
-
- 7
- 4
- Katalog
-
- 10974
- 1731
-
Tomayko Software Engineering Education
SEI Conference 1991, Pittsburgh, Pennsylvania, USA, October 7-8, 1991. ProceedingsErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54502-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Morrison / Kennedy Advances in Databases
14th British National Conference on Database, BNCOD 14 Edinburgh, UK, July 3 - 5, 1996. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61442-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Hoffmann / Krieg-Brückner Program Development by Specification and Transformation
The PROSPECTRA Methodology, Language Family, and SystemErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56733-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Tomek Computer Assisted Learning
4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55578-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Belli / Radermacher Industrial and Engineering Applications of Artificial Intelligence and Expert Systems
5th International Conference, IEA/AIE-92, Paderborn, Germany, June 9-12, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55601-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Gaudel / Jouannaud TAPSOFT '93: Theory and Practice of Software Development
4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56610-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Courcoubetis Computer Aided Verification
5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings1. Auflage 1993Verlag: SpringerISBN: 978-3-540-56922-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Held On the Computational Geometry of Pocket Machining
1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54103-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Barzdins / Bjørner Baltic Computer Science
Selected PapersErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54131-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Deransart / Lorho / Maluszynski Programming Languages Implementation and Logic Programming
International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings1. Auflage 1989Verlag: SpringerISBN: 978-3-540-50820-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ehrig / Floyd / Nivat Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)1. Auflage 1985Verlag: SpringerISBN: 978-3-540-15198-2Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Toussaint Ada in Europe
Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 19951. Auflage 1996Verlag: SpringerISBN: 978-3-540-60757-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Godefroid Partial-Order Methods for the Verification of Concurrent Systems
An Approach to the State-Explosion ProblemErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-60761-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Blikle / Barstow / Wirth MetaSoft Primer
Towards a Metalanguage for Applied Denotational Semantics1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18657-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Hofmeister / Crnkovic / Reussner Quality of Software Architectures
Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-48819-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Maragria / Steffen Leveraging Applications of Formal Methods
First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-48928-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Min / Di Martino / Yang Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops
ISPA 2006 International Workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-49860-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Beckert / Hähnle / Schmitt Verification of Object-Oriented Software. The KeY Approach
Foreword by K. Rustan M. LeinoErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-68977-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Cook / Podelski Verification, Model Checking, and Abstract Interpretation
8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-69735-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Yang / Jin / Ungerer Autonomic and Trusted Computing
Third International Conference, ATC 2006, Wuhan, China, September 3-6, 20061. Auflage 2006Verlag: SpringerISBN: 978-3-540-38619-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Müller / Zambonelli Agent-Oriented Software Engineering VI
6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34097-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Stølen / Winsborough / Martinelli Trust Management
4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34295-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
de Boer / Bonsangue / Graf Formal Methods for Components and Objects
4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures1. Auflage 2006Verlag: SpringerISBN: 978-3-540-36749-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Anderson / Prencipe / Wattenhofer Principles of Distributed Systems
9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Paper1. Auflage 2006Verlag: SpringerISBN: 978-3-540-36321-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ciancarini / Wiklicky Coordination Models and Languages
8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34694-4Medium: 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
