Ergebnisse filtern
- Fachgebiet
- Medium
-
- 10040
- 1634
- 29
- 12
- Erscheinungsjahr
-
- 1
- 89
- 593
- 1205
- 1216
- 559
- 414
- 349
- 373
- 359
- 411
- 320
- 431
- 297
- 444
- 406
- 513
- 250
- 516
- 239
- 255
- 261
- 225
- 257
- 223
- 222
- 180
- 161
- 120
- 107
- 95
- 84
- 80
- 71
- 63
- 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
- 9
- 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
- 3
- 3
- 7
- 4
- 4
- 3
- 3
- 7
- 11
- 5
- 10
- 3
- 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
- 22
- 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
- 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
- 3
- 6
- 3
- 5
- 12
- 5
- 3
- 4
- 13
- 10
- 4
- 4
- 10
- 3
- 3
- 7
- 4
- 4
- 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
- 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
- 6
- 3
- 4
- 4
- 7
- 7
- 3
- 3
- 3
- 5
- 4
- 9
- 3
- 5
- 3
- 3
- 5
- 5
- 3
- 3
- 4
- 4
- 3
- 4
- 3
- 3
- 5
- 8
- 6
- 3
- 6
- 3
- 3
- 3
- 4
- 4
- 4
- 5
- 15
- 5
- 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
- 11
- 4
- 4
- 5
- 4
- 4
- 5
- 5
- 6
- 5
- 9
- 4
- 8
- 4
- 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
- 5
- 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
- 7
- 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
- 7
- 8
- 12
- 9
- 7
- 66
- 4
- 4
- 14
- 4
- 4
- 7
- 5
- 10
- 7
- 5
- 7
- 6
- 4
- 12
- 13
- 18
- 6
- 16
- 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
- 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
- 6
- 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
- 21
- 15
- 5
- 6
- 4
- 10
- 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
- 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
- 13
- 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
- 494
- 1
- 51
- 18
- 3
- 8
- 4
- 281
- 1
- 22
- 1
- 1
- 3
- 4
- 3
- 73
- 90
- 220
- 1
- 527
- 1328
- 15
- 1
- 2
- 55
- 102
- 3
- 1
- 3
- 1
- 60
- 2
- 1
- 53
- 28
- 1
- 25
- 1
- 4
- 3
- 12
- 5
- 32
- 4
- 2
- 1
- 6
- 1
- 1
- 3
- 1
- 25
- 1
- 1
- 4
- 1
- 1
- 33
- 1
- 1
- 1
- 105
- 52
- 4
- 3
- 6
- 17
- 2
- 6
- 1
- 1
- 18
- 2
- 1
- 11
- 2
- 1
- 5
- 2
- 2
- 3
- 2
- 3
- 3
- 11
- 1
- 3
- 22
- 2
- 1
- 2
- 8
- 1
- 1
- 2
- 2
- 2
- 1
- 15
- 1
- 6
- 30
- 22
- 3
- 37
- 1
- 1
- 1
- 1
- 2
- 16
- 1
- 6449
- 30
- 10
- 1
- 1
- 1
- 11
- 4
- 1
- 27
- 34
- 1
- 125
- 86
- 3
- 2
- 22
- 1
- 285
- 28
- 119
- 46
- 1
- 24
- 6
- 1
- 1
- 4
- 1
- 86
- 5
- 2
- 88
- 3
- 9
- 1
- 23
- 10
- 1
- 1
- 2
- 2
- Preis
-
- 425
- 2012
- 5566
- 3712
- Sprachen
-
- 10763
- 963
- 2
- Verfügbarkeit
-
- 11371
- 344
- Eigenschaften
-
- 5
- 4
- Katalog
-
- 11715
- 1824
-
Pasareanu Symbolic Execution and Quantitative Reasoning
Applications to Software Safety and SecurityErscheinungsjahr 2020Verlag: SpringerISBN: 978-3-031-01423-9Medium: Buch26,74 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage26,74 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Metzner Software Engineering - kompakt
1. Auflage 2020Verlag: Carl HanserISBN: 978-3-446-46365-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark22,99 € (inkl. MwSt.)
sofort verfügbar22,99 € (inkl. MwSt.)
sofort verfügbar -
Garrido Object-Oriented Discrete-Event Simulation with Java
A Practical IntroductionSoftcover Nachdruck of the original 1. Auflage 2001Verlag: Springer USISBN: 978-1-4613-5495-6Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kurian John / Maynard Workload Characterization for Computer System Design
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4613-6973-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dunsky / Szauer C++ Game Animation Programming
Learn modern animation techniques from theory to implementation using C++, OpenGL, and Vulkan2. Auflage 2025Verlag: De GruyterISBN: 978-1-80324-136-4Medium: eBookFormat: EPUB
Kopierschutz: 0 - No protection29,99 € (inkl. MwSt.)
sofort verfügbar29,99 € (inkl. MwSt.)
sofort verfügbar -
Petre / Sekerinski From Action Systems to Distributed Systems
The Refinement Approach1. Auflage 2020Verlag: Chapman and Hall/CRCISBN: 978-0-367-57485-7Medium: Buch72,90 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage72,90 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Weintrit / Neumann Marine Navigation and Safety of Sea Transportation
Maritime Transport & Shipping1. Auflage 2020Verlag: CRC PressISBN: 978-0-367-57641-7Medium: Buch82,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage82,60 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sharma / Garg Artificial Intelligence
Technologies, Applications, and Challenges1. Auflage 2024Verlag: Chapman and Hall/CRCISBN: 978-0-367-69082-3Medium: Buch83,40 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage83,40 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bensalem / Peled Runtime Verification
9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04693-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rocha / Correia / Adeli New Advances in Information Systems and Technologies
Volume 21. Auflage 2016Verlag: SpringerISBN: 978-3-319-31306-1Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sharma / Mantri / Dua Computing, Analytics and Networks
First International Conference, ICAN 2017, Chandigarh, India, October 27-28, 2017, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-981-13-0754-6Medium: Buch72,75 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage72,75 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bordini / Dastani / Dix Programming Multi-Agent-Systems
4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71955-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Corradini / Ehrig / Montanari Graph Transformations
Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-38870-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dal Lago / Peña Foundational and Practical Aspects of Resource Analysis
Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-12465-0Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Melham Correct Hardware Design and Verification Methods
11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42541-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Stojmenovic / Thulasiram / Yang Parallel and Distributed Processing and Applications
5th International Symposium, ISPA 2007, Niagara Falls, Canada, August 29-31, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74741-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Montanari / Sannella / Bruni Trustworthy Global Computing
Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75333-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Koskimies Compiler Construction
7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings1. Auflage 1998Verlag: SpringerISBN: 978-3-540-64304-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Erdem / Lin / Schaub Logic Programming and Nonmonotonic Reasoning
10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04237-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ghezzi / McDermid ESEC '89
2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989. ProceedingsErscheinungsjahr 1989Verlag: SpringerISBN: 978-3-540-51635-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kirby / Dearle / Sjoberg Persistent Object Systems: Design, Implementation, and Use
9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised PapersErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42735-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Beigl / Lukowicz Systems Aspects in Organic and Pervasive Computing - ARCS 2005
18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25273-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vos / Lakhotia / Bauersfeld Future Internet Testing
First International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-07784-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brauer Net Theory and Applications
Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 19791. Auflage 1980Verlag: SpringerISBN: 978-3-540-10001-0Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Etessami / Rajamani Computer Aided Verification
17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-27231-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,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