Ergebnisse filtern
- Fachgebiet
- Medium
-
- 9459
- 1055
- 31
- 13
- Erscheinungsjahr
-
- 3
- 58
- 607
- 786
- 634
- 487
- 430
- 440
- 425
- 534
- 317
- 454
- 303
- 446
- 398
- 505
- 246
- 511
- 232
- 252
- 260
- 222
- 262
- 225
- 224
- 184
- 162
- 123
- 109
- 97
- 80
- 81
- 72
- 60
- 68
- 39
- 56
- 35
- 24
- 14
- 13
- 7
- 7
- 4
- 6
- 6
- 1
- 3
- 4
- 1
- 2
- 1
- 2
- 1
- Autoren
-
- 6
- 5
- 4
- 4
- 3
- 3
- 4
- 8
- 14
- 3
- 3
- 4
- 9
- 10
- 3
- 4
- 4
- 10
- 5
- 3
- 9
- 5
- 4
- 3
- 3
- 4
- 4
- 3
- 8
- 3
- 5
- 3
- 3
- 4
- 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
- 7
- 5
- 6
- 10
- 3
- 7
- 3
- 3
- 3
- 5
- 9
- 23
- 3
- 12
- 5
- 5
- 7
- 4
- 4
- 3
- 4
- 6
- 8
- 4
- 4
- 4
- 4
- 7
- 3
- 3
- 8
- 4
- 4
- 3
- 3
- 5
- 3
- 6
- 3
- 3
- 4
- 4
- 3
- 6
- 4
- 3
- 4
- 21
- 3
- 5
- 3
- 4
- 3
- 3
- 7
- 3
- 7
- 4
- 3
- 6
- 3
- 3
- 12
- 8
- 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
- 11
- 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
- 17
- 5
- 4
- 3
- 3
- 3
- 3
- 6
- 8
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 20
- 7
- 5
- 3
- 3
- 3
- 11
- 7
- 6
- 4
- 12
- 5
- 3
- 4
- 13
- 9
- 4
- 4
- 6
- 3
- 3
- 7
- 4
- 3
- 3
- 3
- 18
- 4
- 4
- 3
- 4
- 3
- 4
- 3
- 3
- 6
- 3
- 6
- 4
- 3
- 6
- 3
- 33
- 4
- 3
- 9
- 3
- 5
- 3
- 4
- 3
- 7
- 7
- 4
- 5
- 3
- 3
- 4
- 7
- 4
- 3
- 3
- 6
- 3
- 5
- 5
- 7
- 3
- 6
- 4
- 8
- 6
- 5
- 12
- 3
- 9
- 4
- 4
- 12
- 3
- 4
- 7
- 5
- 4
- 4
- 3
- 4
- 4
- 4
- 9
- 6
- 3
- 3
- 8
- 9
- 3
- 4
- 12
- 4
- 6
- 3
- 4
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 5
- 3
- 5
- 3
- 3
- 4
- 3
- 5
- 3
- 4
- 6
- 3
- 5
- 3
- 3
- 10
- 4
- 4
- 4
- 6
- 4
- 7
- 4
- 3
- 6
- 6
- 3
- 4
- 3
- 7
- 7
- 3
- 3
- 3
- 5
- 9
- 4
- 3
- 3
- 5
- 5
- 3
- 4
- 4
- 4
- 3
- 3
- 4
- 8
- 6
- 4
- 6
- 3
- 3
- 4
- 4
- 4
- 4
- 5
- 3
- 5
- 15
- 5
- 3
- 3
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 4
- 13
- 3
- 5
- 7
- 3
- 10
- 6
- 3
- 3
- 3
- 8
- 10
- 7
- 3
- 7
- 3
- 3
- 4
- 9
- 3
- 3
- 5
- 7
- 11
- 4
- 3
- 16
- 3
- 3
- 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
- 5
- 3
- 3
- 3
- 5
- 28
- 23
- 3
- 4
- 4
- 4
- 8
- 3
- 4
- 4
- 3
- 6
- 10
- 3
- 5
- 3
- 9
- 4
- 13
- 5
- 3
- 5
- 4
- 3
- 3
- 18
- 3
- 3
- 4
- 6
- 5
- 5
- 4
- 18
- 3
- 3
- 6
- 5
- 4
- 4
- 3
- 19
- 6
- 11
- 3
- 7
- 3
- 6
- 4
- 4
- 3
- 4
- 4
- 4
- 5
- 3
- 7
- 13
- 4
- 6
- 6
- 4
- 6
- 26
- 6
- 6
- 10
- 4
- 3
- 3
- 3
- 4
- 3
- 6
- 4
- 3
- 7
- 4
- 3
- 9
- 6
- 8
- 9
- 4
- 3
- 39
- 4
- 10
- 3
- 3
- 7
- 3
- 12
- 3
- 5
- 3
- 4
- 5
- 10
- 4
- 5
- 13
- 4
- 5
- 5
- 4
- 3
- 4
- 5
- 7
- 14
- 5
- 3
- 6
- 5
- 18
- 4
- 4
- 3
- 4
- 8
- 4
- 3
- 3
- 10
- 6
- 6
- 8
- 8
- 4
- 3
- 3
- 6
- 5
- 6
- 8
- 8
- 7
- 4
- 6
- 4
- 5
- 4
- 10
- 9
- 5
- 4
- 8
- 7
- 10
- 10
- 4
- 8
- 9
- 5
- 9
- 9
- 9
- 5
- 5
- 4
- 7
- 5
- 4
- 4
- 19
- 5
- 4
- 4
- 4
- 11
- 5
- 4
- 5
- 5
- 5
- 6
- 6
- 4
- 4
- 9
- 4
- 7
- 4
- 4
- 7
- 4
- 4
- 4
- 8
- 8
- 7
- 8
- 15
- 5
- 5
- 10
- 8
- 6
- 10
- 4
- 8
- 6
- 7
- 4
- 10
- 7
- 11
- 5
- 4
- 11
- 9
- 4
- 7
- 61
- 4
- 14
- 4
- 4
- 7
- 5
- 9
- 18
- 5
- 6
- 6
- 12
- 12
- 17
- 6
- 16
- 4
- 6
- 11
- 4
- 24
- 6
- 5
- 7
- 5
- 10
- 12
- 32
- 4
- 4
- 4
- 4
- 4
- 7
- 9
- 7
- 10
- 15
- 7
- 4
- 6
- 6
- 4
- 6
- 5
- 4
- 21
- 27
- 5
- 4
- 4
- 4
- 5
- 20
- 11
- 4
- 6
- 4
- 8
- 5
- 5
- 7
- 7
- 4
- 14
- 7
- 12
- 11
- 28
- 9
- 6
- 4
- 7
- 5
- 4
- 4
- 4
- 5
- 4
- 6
- 7
- 4
- 17
- 4
- 6
- 8
- 5
- 5
- 13
- 6
- 4
- 7
- 4
- 6
- 7
- 6
- 4
- 9
- 4
- 4
- 6
- 7
- 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
- 7
- 4
- 11
- 10
- 6
- 6
- 9
- 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
- 16
- 9
- 5
- 4
- 4
- 7
- 16
- 5
- 4
- 4
- 4
- 22
- 5
- 8
- 4
- 7
- 4
- 5
- 4
- 7
- 6
- 4
- 10
- 9
- 4
- 5
- 5
- 5
- 4
- 8
- 10
- 5
- 7
- 5
- 4
- 4
- 16
- 6
- 6
- 35
- 44
- 12
- 14
- 9
- 12
- 27
- 6
- 8
- 4
- 9
- 9
- 17
- 6
- 4
- 4
- 5
- 8
- 12
- 7
- 42
- 5
- 4
- 5
- 5
- 7
- 4
- 4
- 5
- 9
- 20
- 7
- 5
- 7
- 6
- 34
- 4
- 7
- 5
- 8
- 9
- 4
- 9
- 10
- 10
- 6
- 12
- 4
- 8
- 5
- 4
- 6
- 11
- 6
- 8
- 6
- 10
- 4
- 4
- 7
- 4
- 9
- 9
- 14
- 11
- 5
- 10
- 13
- 4
- 7
- 9
- 8
- 6
- 12
- 7
- 4
- 5
- 6
- 11
- 4
- 4
- 4
- 4
- 5
- 5
- 15
- 14
- 5
- 9
- 4
- 8
- 19
- 4
- 4
- 12
- 18
- 5
- 9
- 6
- 4
- 7
- 4
- 9
- 7
- 8
- 18
- 6
- 12
- 4
- 4
- 12
- 5
- 5
- 5
- 9
- 4
- 6
- 21
- 4
- 7
- 4
- 4
- 10
- 7
- 4
- 4
- 6
- 7
- 9
- 5
- Verlag
-
- 2
- 3
- 8
- 4
- 1
- 3
- 1
- 51
- 6
- 439
- 2
- 10
- 18
- 3
- 2
- 6
- 4
- 280
- 2
- 1
- 11
- 4
- 1
- 3
- 3
- 3
- 41
- 1
- 84
- 214
- 4
- 477
- 752
- 15
- 1
- 4
- 1
- 50
- 93
- 1
- 3
- 2
- 4
- 52
- 34
- 1
- 5
- 25
- 1
- 4
- 3
- 39
- 5
- 39
- 4
- 1
- 1
- 1
- 1
- 2
- 25
- 1
- 4
- 1
- 1
- 33
- 1
- 1
- 1
- 1
- 8
- 12
- 2
- 3
- 3
- 24
- 2
- 6
- 1
- 15
- 2
- 1
- 13
- 1
- 5
- 1
- 2
- 2
- 2
- 1
- 3
- 2
- 3
- 3
- 10
- 1
- 3
- 13
- 1
- 2
- 1
- 2
- 8
- 1
- 1
- 1
- 1
- 3
- 2
- 15
- 1
- 5
- 27
- 22
- 36
- 1
- 1
- 1
- 2
- 2
- 15
- 1
- 5553
- 169
- 5
- 304
- 2
- 2
- 1
- 55
- 58
- 1
- 66
- 1
- 84
- 161
- 12
- 23
- 1
- 1
- 1
- 292
- 34
- 111
- 1
- 1
- 24
- 6
- 1
- 1
- 5
- 1
- 86
- 1
- 4
- 2
- 1
- 201
- 2
- 12
- 1
- 2
- 23
- 39
- 1
- 1
- 2
- 2
- Preis
-
- 270
- 1568
- 5243
- 3477
- Sprachen
-
- 9623
- 946
- 2
- Verfügbarkeit
-
- 10423
- 135
- Eigenschaften
-
- 9
- 4
- Katalog
-
- 10558
- 1719
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV1. Auflage 2021Verlag: SpringerISBN: 978-3-030-83722-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Logozzo / Peled / Zuck Verification, Model Checking, and Abstract Interpretation
9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78162-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Foster / Lutton / Miller Genetic Programming
5th European Conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002. ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43378-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ritchie Practical Microsoft Visual Studio 2015
1. Auflage 2016Verlag: ApressISBN: 978-1-4842-2312-3Medium: Buch40,65 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage40,65 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Hood / Pautz / Wiedemann Requirements Management
The Interface Between Requirements Development and All Other Systems Engineering ProcessesSoftcover Nachdruck of hardcover 1. Auflage 2008Verlag: SpringerISBN: 978-3-642-08002-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Fricker / Schneider Requirements Engineering: Foundation for Software Quality
21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings2015Verlag: SpringerISBN: 978-3-319-16100-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Dubrova Fault-Tolerant Design
2013Verlag: Springer USISBN: 978-1-4614-2112-2Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Nickles / Rovatsos / Weiß Agents and Computational Autonomy
Potential, Risks, and Solutions1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22477-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Cornélio / Roscoe Formal Methods: Foundations and Applications
18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-29472-8Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Sebastian / Joereßen Problemlösung mit Modellen und Algorithmen
1998Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-00211-6Medium: Buch49,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Lukowicz / Thiele / Tröster Architecture of Computing Systems - ARCS 2007
20th International Conference, Zurich, Switzerland, March 12-15, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71267-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Babaoglu / Jelasity / Montresor Self-star Properties in Complex Information Systems
Conceptual and Practical Foundations1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26009-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Langer Analysis and Design of Information Systems
Softcover Nachdruck of hardcover 3rd Auflage 2008Verlag: SpringerISBN: 978-1-84996-639-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Pan / Lin / Yang Advances in Intelligent Systems and Applications - Volume 2
Proceedings of the International Computer Symposium ICS 2012 Held at Hualien, Taiwan, December 12-14, 20122013Verlag: SpringerISBN: 978-3-642-35472-4Medium: Buch320,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage320,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Piskac / Rakamaric / Rakamaric Computer Aided Verification
37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IVErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-98684-0Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Marcus / Rosenzweig / Soares Design, User Experience, and Usability
13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part IV2024Verlag: SpringerISBN: 978-3-031-61358-6Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Sheen / R. / U. K. Computational Intelligence, Cyber Security and Computational Models. Emerging Trends in Computational Models, Intelligence and Security Systems
6th International Conference, ICC3 2023, Coimbatore, India, December 14-16, 2023, Revised Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-88296-8Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Brueckner / Hassas / Jelasity Engineering Self-Organising Systems
4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers1. Auflage 2007Verlag: SpringerISBN: 978-3-540-69867-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Gallina / Törngren / Bitsch Computer Safety, Reliability, and Security
44th International Conference, SAFECOMP 2025, Stockholm, Sweden, September 10-12, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-01240-1Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage70,61 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage
-
Boisvert / Tang The Architecture of Scientific Software
IFIP TC2/WG2.5 Working Conference on the Architecture of Scientific Software October 2-4, 2000, Ottawa, CanadaErscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4757-6719-3Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Craig Formal Models of Operating System Kernels
1. Auflage. Softcover version of original hardcover Auflage 2007Verlag: SpringerISBN: 978-1-84996-592-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Vince Geometric Algebra: An Algebraic System for Computer Games and Animation
Softcover Nachdruck of the original 1. Auflage 2009Verlag: SpringerISBN: 978-1-4471-6878-2Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Abdennahder / Kordon Reliable Software Technologies - Ada-Europe 2007
12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-73229-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Smolin From Program to Product
Turning Your Code into a Saleable Product1. Auflage 2008Verlag: ApressISBN: 978-1-59059-971-6Medium: Buch27,81 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage27,81 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Knudsen Fast Software Encryption
6th International Workshop, FSE'99 Rome, Italy, March 24-26, 1999 Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66226-6Medium: 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
