Ergebnisse filtern
- Fachgebiet
- Medium
-
- 9671
- 1629
- 29
- 12
- Erscheinungsjahr
-
- 8
- 286
- 1149
- 1228
- 570
- 419
- 352
- 389
- 369
- 425
- 321
- 433
- 296
- 442
- 408
- 514
- 250
- 517
- 238
- 253
- 261
- 223
- 256
- 222
- 222
- 181
- 161
- 119
- 107
- 98
- 84
- 81
- 71
- 63
- 68
- 38
- 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
- 4
- 3
- 9
- 4
- 4
- 3
- 3
- 4
- 4
- 3
- 10
- 3
- 5
- 3
- 3
- 6
- 4
- 4
- 4
- 3
- 8
- 4
- 5
- 7
- 4
- 3
- 3
- 4
- 4
- 5
- 3
- 6
- 4
- 3
- 5
- 4
- 3
- 3
- 7
- 4
- 4
- 3
- 3
- 7
- 9
- 5
- 10
- 3
- 7
- 3
- 4
- 3
- 4
- 4
- 5
- 3
- 9
- 23
- 3
- 18
- 5
- 6
- 7
- 4
- 3
- 4
- 3
- 4
- 6
- 9
- 4
- 4
- 7
- 4
- 3
- 4
- 7
- 3
- 3
- 3
- 8
- 4
- 4
- 3
- 3
- 5
- 3
- 6
- 3
- 3
- 4
- 4
- 4
- 6
- 4
- 3
- 4
- 23
- 3
- 5
- 4
- 4
- 3
- 3
- 7
- 3
- 7
- 4
- 3
- 6
- 3
- 3
- 4
- 12
- 8
- 4
- 4
- 4
- 4
- 3
- 5
- 3
- 5
- 3
- 3
- 4
- 4
- 6
- 3
- 4
- 11
- 3
- 3
- 4
- 9
- 3
- 3
- 5
- 21
- 3
- 4
- 4
- 13
- 3
- 3
- 3
- 4
- 6
- 3
- 16
- 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
- 4
- 4
- 3
- 3
- 3
- 3
- 6
- 7
- 8
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 12
- 7
- 5
- 3
- 3
- 3
- 11
- 7
- 3
- 6
- 3
- 5
- 12
- 5
- 3
- 4
- 13
- 9
- 4
- 4
- 9
- 3
- 3
- 8
- 4
- 3
- 3
- 3
- 3
- 20
- 4
- 4
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 6
- 6
- 4
- 3
- 6
- 3
- 33
- 4
- 3
- 8
- 3
- 5
- 3
- 4
- 3
- 7
- 7
- 4
- 3
- 5
- 3
- 6
- 8
- 4
- 3
- 3
- 6
- 3
- 5
- 5
- 7
- 3
- 6
- 4
- 8
- 6
- 5
- 14
- 3
- 8
- 4
- 4
- 12
- 3
- 4
- 7
- 5
- 4
- 4
- 3
- 4
- 3
- 4
- 9
- 6
- 3
- 3
- 8
- 3
- 9
- 3
- 4
- 12
- 4
- 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
- 4
- 4
- 7
- 4
- 3
- 6
- 6
- 3
- 4
- 4
- 7
- 7
- 3
- 3
- 3
- 5
- 3
- 9
- 3
- 5
- 3
- 3
- 5
- 5
- 3
- 4
- 4
- 4
- 3
- 3
- 5
- 8
- 6
- 3
- 6
- 3
- 3
- 3
- 4
- 4
- 4
- 3
- 5
- 15
- 5
- 3
- 3
- 4
- 4
- 4
- 3
- 4
- 4
- 3
- 3
- 4
- 13
- 5
- 7
- 3
- 10
- 4
- 3
- 8
- 10
- 7
- 3
- 7
- 3
- 3
- 4
- 9
- 3
- 3
- 3
- 5
- 7
- 17
- 4
- 3
- 17
- 3
- 5
- 3
- 4
- 5
- 6
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 11
- 3
- 4
- 4
- 3
- 5
- 4
- 4
- 3
- 3
- 3
- 5
- 3
- 5
- 6
- 3
- 3
- 5
- 9
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 5
- 29
- 23
- 4
- 3
- 4
- 4
- 8
- 4
- 4
- 4
- 6
- 10
- 5
- 9
- 13
- 4
- 5
- 18
- 6
- 5
- 4
- 17
- 5
- 4
- 16
- 5
- 11
- 7
- 6
- 4
- 4
- 7
- 10
- 6
- 6
- 4
- 4
- 5
- 25
- 7
- 5
- 9
- 4
- 8
- 4
- 7
- 4
- 9
- 7
- 8
- 8
- 4
- 38
- 4
- 7
- 10
- 7
- 12
- 4
- 5
- 5
- 9
- 4
- 5
- 13
- 4
- 5
- 5
- 8
- 4
- 4
- 5
- 7
- 9
- 5
- 6
- 5
- 18
- 4
- 4
- 4
- 8
- 4
- 10
- 6
- 6
- 8
- 8
- 5
- 6
- 4
- 5
- 6
- 8
- 8
- 8
- 4
- 6
- 4
- 5
- 10
- 9
- 5
- 4
- 8
- 7
- 10
- 10
- 4
- 8
- 10
- 5
- 9
- 9
- 4
- 9
- 5
- 5
- 4
- 7
- 4
- 6
- 19
- 5
- 4
- 4
- 5
- 11
- 5
- 4
- 7
- 5
- 6
- 6
- 5
- 4
- 9
- 4
- 6
- 4
- 4
- 7
- 4
- 4
- 4
- 4
- 8
- 8
- 7
- 8
- 15
- 5
- 5
- 10
- 8
- 6
- 9
- 4
- 7
- 6
- 7
- 4
- 10
- 6
- 11
- 5
- 8
- 12
- 9
- 7
- 63
- 4
- 14
- 4
- 4
- 7
- 5
- 9
- 9
- 5
- 6
- 6
- 4
- 12
- 12
- 18
- 6
- 16
- 6
- 11
- 6
- 4
- 24
- 6
- 7
- 7
- 5
- 10
- 12
- 32
- 4
- 5
- 5
- 4
- 4
- 6
- 6
- 9
- 4
- 7
- 10
- 15
- 7
- 4
- 6
- 6
- 4
- 6
- 4
- 21
- 27
- 5
- 4
- 4
- 4
- 20
- 11
- 4
- 6
- 4
- 8
- 5
- 4
- 5
- 7
- 7
- 4
- 13
- 7
- 12
- 11
- 28
- 10
- 6
- 4
- 7
- 5
- 4
- 4
- 4
- 4
- 5
- 4
- 6
- 7
- 4
- 5
- 9
- 4
- 4
- 6
- 8
- 7
- 5
- 13
- 6
- 7
- 4
- 7
- 4
- 6
- 7
- 6
- 9
- 4
- 4
- 7
- 7
- 4
- 5
- 4
- 21
- 17
- 4
- 4
- 8
- 5
- 7
- 5
- 8
- 6
- 6
- 9
- 5
- 8
- 8
- 7
- 10
- 4
- 10
- 5
- 4
- 8
- 5
- 5
- 14
- 4
- 8
- 7
- 4
- 4
- 11
- 10
- 6
- 6
- 9
- 4
- 18
- 13
- 5
- 4
- 10
- 5
- 4
- 5
- 8
- 7
- 4
- 5
- 6
- 10
- 4
- 7
- 4
- 8
- 5
- 4
- 7
- 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
- 5
- 5
- 4
- 4
- 10
- 12
- 5
- 7
- 5
- 4
- 4
- 4
- 7
- 16
- 6
- 4
- 4
- 4
- 40
- 49
- 12
- 4
- 9
- 12
- 22
- 10
- 8
- 5
- 9
- 9
- 13
- 6
- 4
- 4
- 5
- 5
- 12
- 7
- 42
- 5
- 5
- 5
- 8
- 4
- 4
- 5
- 9
- 20
- 7
- 5
- 5
- 8
- 32
- 4
- 6
- 5
- 8
- 10
- 4
- 9
- 10
- 10
- 6
- 10
- 4
- 8
- 4
- 7
- 4
- 6
- 11
- 6
- 8
- 6
- 13
- 10
- 4
- 4
- 7
- 4
- 9
- 9
- 14
- 11
- 6
- 11
- 13
- 4
- 7
- 9
- 8
- 7
- 12
- 4
- 7
- 4
- 4
- 5
- 6
- 4
- 11
- 4
- 4
- 4
- 4
- 4
- 5
- 5
- 16
- 14
- 5
- 12
- 4
- 8
- 19
- 4
- 4
- 12
- 18
- 5
- 9
- 6
- 4
- 7
- 4
- 9
- 7
- 7
- 18
- 6
- 12
- 4
- 4
- 12
- 5
- 5
- 6
- 9
- 4
- 6
- 21
- 4
- 7
- 4
- 4
- 10
- 7
- 4
- 4
- 6
- 7
- 8
- 7
- Verlag
-
- 2
- 3
- 5
- 3
- 1
- 3
- 1
- 51
- 7
- 463
- 3
- 2
- 18
- 3
- 8
- 3
- 285
- 2
- 22
- 2
- 1
- 3
- 3
- 3
- 73
- 1
- 91
- 219
- 4
- 505
- 1320
- 15
- 1
- 1
- 1
- 56
- 102
- 1
- 3
- 1
- 1
- 34
- 4
- 2
- 57
- 30
- 1
- 1
- 25
- 1
- 4
- 3
- 14
- 5
- 38
- 4
- 2
- 1
- 6
- 1
- 1
- 3
- 25
- 1
- 1
- 4
- 1
- 1
- 31
- 1
- 1
- 1
- 17
- 51
- 4
- 3
- 2
- 16
- 2
- 6
- 1
- 1
- 18
- 2
- 1
- 11
- 4
- 1
- 5
- 2
- 3
- 3
- 2
- 3
- 3
- 11
- 1
- 3
- 24
- 2
- 1
- 2
- 8
- 1
- 1
- 1
- 3
- 2
- 1
- 15
- 1
- 4
- 28
- 22
- 3
- 37
- 1
- 1
- 1
- 1
- 2
- 16
- 1
- 6157
- 45
- 27
- 1
- 1
- 1
- 7
- 9
- 4
- 2
- 41
- 1
- 126
- 104
- 5
- 22
- 1
- 293
- 37
- 142
- 2
- 1
- 24
- 6
- 1
- 4
- 1
- 86
- 1
- 5
- 2
- 165
- 3
- 10
- 1
- 24
- 22
- 1
- 1
- 2
- 2
- Preis
-
- 428
- 1974
- 5365
- 3574
- Sprachen
-
- 10403
- 949
- 2
- Verfügbarkeit
-
- 11191
- 150
- Eigenschaften
-
- 9
- 4
- Katalog
-
- 11341
- 1769
-
Nipkow / Paulson / Wenzel Isabelle/HOL
A Proof Assistant for Higher-Order Logic1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43376-7Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Liu / Zhang / Ma Service Science
18th International Conference, ICSS 2025, Nanjing, China, May 9-11, 2025, Revised Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-951580-6Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage96,29 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Machado / Maciel / Rubin Model-Based Methodologies for Pervasive and Embedded Software
8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38208-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Suzuki / Higashino / Yasumoto Formal Techniques for Networked and Distributed Systems - FORTE 2008
28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68854-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Mössenböck Compiler Construction
Fundamentals and ApplicationsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-84812-4Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
ter Beek / Nickovic / Nickovic Formal Methods for Industrial Critical Systems
25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-58297-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bergenti / Zambonelli / Gleizes Methodologies and Software Engineering for Agent Systems
The Agent-Oriented Software Engineering Handbook1. Auflage. Softcover version of original hardcover Auflage 2004Verlag: Springer USISBN: 978-1-4419-5465-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Malcolm / Goguen Software Engineering with OBJ
Algebraic Specification in Action1. Auflage. Softcover version of original hardcover Auflage 2000Verlag: Springer USISBN: 978-1-4419-4965-3Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kaufmann / Moore / Manolios Computer-Aided Reasoning
ACL2 Case Studies1. Auflage. Softcover version of original hardcover Auflage 2000Verlag: Springer USISBN: 978-1-4419-4981-3Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Anai / Horimoto / Kutsia Algebraic Biology
Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73432-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Drechsler Evolutionary Algorithms for Embedded System Design
2003Verlag: Springer USISBN: 978-1-4613-5362-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Jin / Lin Advances in Multimedia, Software Engineering and Computing Vol.2
Proceedings of the 2011 MESC International Conference on Multimedia, Software Engineering, November 26-27, Wuhan, China1. Auflage 2011Verlag: SpringerISBN: 978-3-642-25985-2Medium: Buch353,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage353,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Elleithy / Sobh Innovations and Advances in Computer, Information, Systems Sciences, and Engineering
1. Auflage 2012Verlag: SpringerISBN: 978-1-4614-3534-1Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Aagaard / Harrison Theorem Proving in Higher Order Logics
13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67863-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Graham / Palanque Interactive Systems. Design, Specification, and Verification
15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-70568-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ait Ameur / Bellatreche / Papadopoulos Model and Data Engineering
4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11586-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bowen / Liu / Zhang Engineering Trustworthy Software Systems
5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures1. Auflage 2020Verlag: SpringerISBN: 978-3-030-55088-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Broy Logische und Methodische Grundlagen der Entwicklung verteilter Systeme
Unter Mitarbeit von Alexander Malkis1. Auflage 2023Verlag: SpringerISBN: 978-3-662-67316-4Medium: Buch49,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kaiser / Meda AI Integration in Software Development and Operations
Transformation Through AI Infusion in DevOps, Testing, and SRE1. Auflage 2024Verlag: ApressISBN: 979-8-8688-1043-5Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Myers / Nakhimovsky Google, Amazon, and Beyond: Creating and Consuming Web Services
1. Auflage 2003Verlag: ApressISBN: 978-1-59059-131-4Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Lee Software Engineering Research, Management and Applications
Softcover Nachdruck of the original 1. Auflage 2016Verlag: SpringerISBN: 978-3-319-81628-9Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bergé / Levia / Rouillard Models in System Design
1. Auflage 2012Verlag: HumanaISBN: 978-1-4613-7890-7Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Smith The Object-Z Specification Language
2000Verlag: Springer USISBN: 978-1-4613-7401-5Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (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
-
Chatzigeorgiou / Dondi / Herodotou SOFSEM 2020: Theory and Practice of Computer Science
46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-38918-5Medium: 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
