Ergebnisse filtern
- Fachgebiet
- Medium
-
- 10064
- 1628
- 32
- 11
- Erscheinungsjahr
-
- 2
- 154
- 550
- 1205
- 1212
- 561
- 411
- 348
- 374
- 360
- 412
- 320
- 432
- 297
- 442
- 408
- 513
- 248
- 518
- 237
- 255
- 262
- 225
- 257
- 223
- 223
- 178
- 162
- 119
- 108
- 94
- 84
- 80
- 72
- 60
- 68
- 38
- 55
- 35
- 24
- 14
- 13
- 7
- 7
- 4
- 6
- 6
- 1
- 3
- 4
- 1
- 2
- 1
- 2
- 1
- Autoren
-
- 4
- 3
- 4
- 3
- 8
- 14
- 3
- 3
- 4
- 9
- 10
- 3
- 4
- 4
- 10
- 4
- 3
- 10
- 4
- 4
- 3
- 3
- 3
- 4
- 4
- 3
- 10
- 3
- 5
- 3
- 3
- 7
- 4
- 4
- 4
- 3
- 8
- 5
- 5
- 3
- 7
- 4
- 3
- 3
- 4
- 4
- 5
- 3
- 6
- 4
- 4
- 5
- 4
- 4
- 3
- 3
- 7
- 4
- 4
- 3
- 3
- 7
- 11
- 5
- 10
- 4
- 7
- 3
- 4
- 3
- 4
- 4
- 5
- 3
- 9
- 23
- 3
- 23
- 5
- 6
- 7
- 5
- 3
- 3
- 4
- 3
- 4
- 6
- 8
- 4
- 4
- 7
- 4
- 3
- 4
- 8
- 3
- 3
- 3
- 8
- 4
- 4
- 3
- 3
- 5
- 3
- 3
- 5
- 3
- 4
- 4
- 4
- 6
- 4
- 3
- 4
- 23
- 3
- 6
- 4
- 4
- 3
- 4
- 7
- 3
- 3
- 7
- 4
- 3
- 10
- 3
- 3
- 4
- 12
- 8
- 4
- 4
- 4
- 4
- 3
- 6
- 3
- 5
- 3
- 3
- 4
- 4
- 6
- 3
- 4
- 10
- 3
- 3
- 4
- 9
- 3
- 3
- 5
- 21
- 3
- 4
- 4
- 13
- 3
- 3
- 3
- 4
- 6
- 3
- 3
- 3
- 16
- 3
- 4
- 16
- 4
- 8
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 4
- 4
- 3
- 4
- 3
- 4
- 10
- 3
- 3
- 3
- 8
- 4
- 3
- 5
- 10
- 19
- 4
- 9
- 16
- 4
- 4
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 6
- 7
- 8
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 11
- 10
- 5
- 3
- 3
- 3
- 3
- 11
- 7
- 6
- 3
- 5
- 12
- 5
- 3
- 4
- 13
- 10
- 4
- 4
- 10
- 3
- 3
- 7
- 4
- 4
- 3
- 3
- 3
- 20
- 4
- 5
- 4
- 3
- 3
- 4
- 3
- 3
- 6
- 6
- 4
- 3
- 8
- 4
- 33
- 4
- 3
- 8
- 3
- 4
- 5
- 3
- 3
- 4
- 3
- 7
- 7
- 4
- 3
- 5
- 5
- 3
- 6
- 8
- 3
- 4
- 3
- 3
- 6
- 3
- 8
- 5
- 7
- 3
- 6
- 4
- 8
- 6
- 5
- 16
- 3
- 8
- 4
- 4
- 12
- 3
- 3
- 4
- 7
- 5
- 4
- 4
- 3
- 4
- 3
- 4
- 9
- 6
- 3
- 3
- 8
- 8
- 3
- 9
- 3
- 4
- 12
- 4
- 6
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 4
- 3
- 3
- 4
- 3
- 4
- 3
- 4
- 5
- 3
- 5
- 3
- 3
- 4
- 4
- 3
- 5
- 3
- 3
- 4
- 6
- 3
- 5
- 3
- 3
- 10
- 3
- 4
- 4
- 4
- 4
- 4
- 9
- 4
- 3
- 6
- 8
- 3
- 4
- 4
- 7
- 7
- 3
- 3
- 3
- 5
- 4
- 9
- 3
- 5
- 3
- 3
- 5
- 5
- 4
- 4
- 4
- 5
- 8
- 6
- 6
- 4
- 4
- 4
- 5
- 15
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 7
- 13
- 6
- 7
- 10
- 7
- 4
- 8
- 10
- 6
- 7
- 4
- 9
- 5
- 7
- 22
- 6
- 4
- 18
- 4
- 5
- 4
- 5
- 6
- 5
- 5
- 12
- 4
- 4
- 5
- 4
- 5
- 4
- 6
- 5
- 9
- 4
- 4
- 7
- 29
- 25
- 4
- 4
- 8
- 5
- 9
- 8
- 12
- 5
- 19
- 6
- 4
- 16
- 4
- 16
- 4
- 9
- 7
- 5
- 4
- 4
- 7
- 10
- 6
- 7
- 4
- 4
- 7
- 27
- 9
- 5
- 9
- 7
- 4
- 8
- 4
- 4
- 7
- 4
- 9
- 7
- 11
- 8
- 4
- 41
- 9
- 10
- 7
- 12
- 5
- 5
- 9
- 4
- 5
- 13
- 4
- 5
- 5
- 8
- 4
- 4
- 5
- 7
- 9
- 5
- 6
- 5
- 20
- 4
- 5
- 4
- 9
- 4
- 10
- 6
- 6
- 8
- 8
- 6
- 4
- 6
- 4
- 4
- 6
- 8
- 8
- 11
- 4
- 6
- 4
- 4
- 5
- 10
- 10
- 5
- 6
- 8
- 6
- 7
- 10
- 10
- 4
- 8
- 10
- 5
- 9
- 9
- 4
- 9
- 5
- 9
- 4
- 7
- 4
- 4
- 19
- 10
- 4
- 4
- 4
- 5
- 11
- 5
- 7
- 8
- 6
- 5
- 8
- 4
- 10
- 4
- 6
- 4
- 4
- 12
- 4
- 4
- 4
- 4
- 4
- 8
- 7
- 8
- 16
- 7
- 5
- 10
- 8
- 6
- 9
- 4
- 7
- 6
- 7
- 4
- 10
- 8
- 13
- 5
- 7
- 8
- 12
- 9
- 7
- 67
- 4
- 4
- 14
- 4
- 4
- 7
- 5
- 10
- 7
- 5
- 7
- 6
- 4
- 12
- 14
- 18
- 6
- 16
- 4
- 4
- 6
- 11
- 6
- 4
- 4
- 24
- 6
- 10
- 7
- 5
- 4
- 10
- 10
- 12
- 37
- 4
- 5
- 15
- 5
- 4
- 4
- 6
- 6
- 9
- 4
- 7
- 4
- 10
- 15
- 7
- 4
- 7
- 6
- 4
- 6
- 4
- 4
- 23
- 27
- 5
- 4
- 4
- 4
- 20
- 11
- 6
- 6
- 4
- 5
- 8
- 5
- 5
- 8
- 7
- 5
- 13
- 7
- 12
- 11
- 31
- 10
- 8
- 4
- 9
- 5
- 4
- 4
- 4
- 4
- 5
- 4
- 6
- 7
- 5
- 5
- 9
- 4
- 4
- 4
- 6
- 8
- 7
- 5
- 12
- 6
- 10
- 4
- 7
- 4
- 7
- 7
- 6
- 9
- 4
- 4
- 7
- 9
- 4
- 5
- 5
- 4
- 21
- 21
- 4
- 4
- 12
- 5
- 7
- 5
- 8
- 7
- 6
- 9
- 5
- 8
- 8
- 7
- 10
- 4
- 10
- 5
- 4
- 7
- 5
- 5
- 15
- 4
- 8
- 7
- 4
- 4
- 11
- 10
- 6
- 9
- 4
- 4
- 21
- 15
- 5
- 6
- 4
- 9
- 10
- 4
- 5
- 8
- 7
- 4
- 5
- 7
- 10
- 4
- 4
- 5
- 7
- 4
- 4
- 8
- 8
- 4
- 7
- 4
- 8
- 5
- 4
- 4
- 7
- 7
- 23
- 5
- 9
- 5
- 4
- 4
- 7
- 15
- 6
- 4
- 4
- 4
- 4
- 24
- 6
- 4
- 8
- 4
- 7
- 4
- 4
- 5
- 4
- 7
- 7
- 4
- 12
- 10
- 4
- 4
- 5
- 5
- 8
- 4
- 4
- 10
- 11
- 5
- 7
- 5
- 4
- 4
- 4
- 9
- 16
- 6
- 4
- 4
- 4
- 47
- 56
- 12
- 4
- 9
- 12
- 12
- 22
- 9
- 5
- 9
- 9
- 13
- 6
- 4
- 4
- 7
- 5
- 11
- 7
- 48
- 5
- 5
- 5
- 8
- 4
- 4
- 5
- 9
- 20
- 7
- 5
- 4
- 5
- 13
- 35
- 4
- 6
- 5
- 4
- 8
- 10
- 4
- 11
- 10
- 10
- 4
- 6
- 14
- 4
- 8
- 4
- 7
- 4
- 6
- 11
- 6
- 8
- 6
- 6
- 4
- 4
- 15
- 10
- 4
- 4
- 5
- 7
- 4
- 13
- 13
- 14
- 11
- 6
- 11
- 13
- 4
- 7
- 9
- 9
- 7
- 12
- 4
- 7
- 4
- 5
- 5
- 4
- 11
- 4
- 4
- 4
- 4
- 4
- 5
- 5
- 16
- 14
- 5
- 12
- 4
- 8
- 19
- 4
- 12
- 12
- 4
- 18
- 5
- 9
- 6
- 4
- 7
- 4
- 9
- 7
- 7
- 18
- 8
- 6
- 14
- 4
- 4
- 12
- 5
- 5
- 6
- 9
- 4
- 6
- 22
- 4
- 7
- 10
- 4
- 10
- 9
- 4
- 4
- 6
- 7
- 8
- 7
- Verlag
-
- 2
- 3
- 5
- 4
- 1
- 3
- 1
- 52
- 6
- 504
- 1
- 43
- 18
- 3
- 8
- 4
- 286
- 1
- 21
- 1
- 1
- 3
- 4
- 3
- 69
- 1
- 93
- 1
- 226
- 1
- 525
- 1324
- 15
- 1
- 1
- 2
- 58
- 100
- 2
- 6
- 1
- 1
- 28
- 2
- 1
- 54
- 31
- 1
- 25
- 1
- 4
- 3
- 12
- 5
- 28
- 4
- 2
- 1
- 6
- 1
- 1
- 3
- 1
- 25
- 1
- 2
- 4
- 1
- 1
- 33
- 1
- 1
- 2
- 1
- 15
- 48
- 4
- 4
- 5
- 17
- 2
- 6
- 1
- 1
- 18
- 2
- 1
- 12
- 2
- 1
- 5
- 2
- 2
- 3
- 2
- 3
- 3
- 11
- 1
- 3
- 17
- 2
- 1
- 2
- 8
- 1
- 1
- 2
- 2
- 2
- 1
- 16
- 1
- 7
- 28
- 22
- 3
- 38
- 1
- 1
- 1
- 1
- 2
- 16
- 1
- 6483
- 30
- 7
- 1
- 1
- 1
- 4
- 7
- 1
- 22
- 35
- 1
- 124
- 90
- 3
- 2
- 21
- 1
- 1
- 289
- 28
- 109
- 41
- 1
- 24
- 6
- 1
- 3
- 1
- 86
- 1
- 5
- 2
- 183
- 3
- 9
- 1
- 24
- 35
- 1
- 1
- 2
- 2
- Preis
-
- 387
- 2034
- 5567
- 3747
- Sprachen
-
- 10779
- 966
- 2
- Verfügbarkeit
-
- 11434
- 301
- Eigenschaften
-
- 5
- 4
- Katalog
-
- 11735
- 1830
-
Felderer / Méndez Fernández / Turhan Product-Focused Software Process Improvement
18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-69925-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Tan / Shi / Tang Advances in Swarm Intelligence
9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I1. Auflage 2018Verlag: SpringerISBN: 978-3-319-93814-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Rensink / Sánchez Cuadrado Theory and Practice of Model Transformation
11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-93316-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Gallardo / Merino Model Checking Software
25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-94110-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Di Marzo Serugendo / Loreti Coordination Models and Languages
20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-92407-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Hlinený / Dvorák / Jaroš Mathematical and Engineering Methods in Computer Science
9th International Doctoral Workshop, MEMICS 2014, Tel¿, Czech Republic, October 17--19, 2014, Revised Selected Papers2014Verlag: SpringerISBN: 978-3-319-14895-3Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Butler / Conchon / Zaïdi Formal Methods and Software Engineering
17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-25422-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Petrenko / Voronkov Perspectives of System Informatics
11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-74312-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Iklé / Kolonin / Bennett Artificial General Intelligence
18th International Conference, AGI 2025, Reykjavic, Iceland, August 10-13, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-00799-5Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage96,29 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage
-
Yevtushenko / Cavalli / Yenigün Testing Software and Systems
29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-67548-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Fantechi / Lecomte / Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68498-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Parashar Grid Computing - GRID 2002
Third International Workshop, Baltimore, MD, USA, November 18, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-00133-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
de Swart Relational Methods in Computer Science
6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001 Revised PapersErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-00315-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Peled / Vardi Formal Techniques for Networked and Distributed Systems - FORTE 2002
22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-00141-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Urban / Vanderdonckt / Limbourg Interactive Systems: Design, Specification, and Verification
9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 20021. Auflage 2002Verlag: SpringerISBN: 978-3-540-00266-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Fonseca / Fleming / Zitzler Evolutionary Multi-Criterion Optimization
Second International Conference, EMO 2003, Faro, Portugal, April 8-11, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-01869-8Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Barringer A Survey of Verification Techniques for Parallel Programs
1. Auflage 1985Verlag: SpringerISBN: 978-3-540-15239-2Medium: Buch24,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage24,60 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Staunstrup Program Specification
Proceedings of a Workshop Aarhus, Denmark, August 19811. Auflage 1982Verlag: SpringerISBN: 978-3-540-11490-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ghanea-Hercock Applied Evolutionary Algorithms in Java
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4684-9526-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Sherman Paragon
A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types1. Auflage 1985Verlag: SpringerISBN: 978-3-540-15212-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Dori Model-Based Systems Engineering with OPM and SysML
Softcover Nachdruck of the original 1. Auflage 2016Verlag: SpringerISBN: 978-1-4939-8014-7Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bibel / Schmitt Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
1. Auflage 1998Verlag: SpringerISBN: 978-0-7923-5131-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Olaru / Nardin / Sorici Distributed AI in the Modern World
Technical and Social Aspects of Interacting Intelligent AgentsErscheinungsjahr 2026Verlag: Elsevier ScienceISBN: 978-0-443-44679-5Medium: Buch172,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen172,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Molitorisz Musterbasierte Parallelisierung sequenzieller Anwendungen
Konzept und Implementierung eines Verfahrens zur Softwaretransformation1. Auflage 2016Verlag: SpringerISBN: 978-3-658-15094-5Medium: Buch59,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage59,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Aldemir / Siu / Mosleh Reliability and Safety Assessment of Dynamic Process Systems
1. Auflage. Softcover version of original hardcover Auflage 1994Verlag: SpringerISBN: 978-3-642-08178-1Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (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
