Ergebnisse filtern
- Fachgebiet
- Medium
-
- 10048
- 1629
- 29
- 12
- Erscheinungsjahr
-
- 1
- 122
- 564
- 1205
- 1212
- 560
- 415
- 349
- 374
- 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
- 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
- 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
- 53
- 18
- 3
- 8
- 4
- 281
- 1
- 22
- 1
- 1
- 3
- 4
- 3
- 73
- 91
- 220
- 1
- 527
- 1323
- 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
- 18
- 2
- 1
- 2
- 8
- 1
- 1
- 2
- 2
- 2
- 1
- 15
- 1
- 6
- 30
- 22
- 3
- 37
- 1
- 1
- 1
- 1
- 2
- 16
- 1
- 6454
- 30
- 10
- 1
- 1
- 1
- 11
- 4
- 1
- 27
- 34
- 1
- 125
- 87
- 3
- 2
- 22
- 1
- 285
- 28
- 120
- 46
- 1
- 24
- 6
- 1
- 1
- 4
- 1
- 86
- 5
- 2
- 89
- 3
- 9
- 1
- 24
- 10
- 1
- 1
- 2
- 2
- Preis
-
- 419
- 2017
- 5570
- 3712
- Sprachen
-
- 10764
- 965
- 2
- Verfügbarkeit
-
- 11372
- 346
- Eigenschaften
-
- 5
- 4
- Katalog
-
- 11718
- 1825
-
Bouajjani / Chin Automated Technology for Verification and Analysis
8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15642-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pajankar Python Unit Test Automation
Automate, Organize, and Execute Unit Tests in Python2. Auflage 2021Verlag: ApressISBN: 978-1-4842-7853-6Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baresi / Heckel Fundamental Approaches to Software Engineering
9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33093-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barthe Formal Methods for Open Object-Based Distributed Systems
10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68862-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gorton / Heinemann / Crnkovic Component-Based Software Engineering
9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35628-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kolesnikov Load Modelling and Generation in IP-based Networks
A Unified Approach and Tool Support1. Auflage 2017Verlag: SpringerISBN: 978-3-658-19101-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chiba / Tanter / Ernst Transactions on Aspect-Oriented Software Development XII
2015Verlag: SpringerISBN: 978-3-662-46733-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fernández Rivera / Bubak / Gómez Tato Grid Computing
First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2003, Revised Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21048-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hendtlass / Ali Developments in Applied Artificial Intelligence
15th International Conference on Industrial and Engineering. Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2002, Cairns, Australia, June 17-20, 2002. ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43781-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Stoelinga / Pinger Formal Methods for Industrial Critical Systems
17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32468-0Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lamprecht Leveraging Applications of Formal Methods, Verification, and Validation
6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-51640-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zhou / Jähnichen / Xu Advanced Parallel Processing Technologies
5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20054-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ehrig / Herrlich / Kreowski Categorical Methods in Computer Science
With Aspects from Topology1. Auflage 1989Verlag: SpringerISBN: 978-3-540-51722-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bieliková / Charon-Bost / Sýkora SOFSEM 2005: Theory and Practice of Computer Science
31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-24302-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Krall Software and Compilers for Embedded Systems
7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20145-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jeuring / Meijer Advanced Functional Programming
First International Spring School on Advanced Functional Programming Techniques, Bastad, Sweden, May 24 - 30, 1995. Tutorial TextErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-59451-2Medium: 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 -
Ciancarini / Litvinov / Messina Proceedings of 5th International Conference in Software Engineering for Defence Applications
SEDA 20161. Auflage 2018Verlag: SpringerISBN: 978-3-319-70577-4Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Penczek / Szalas Mathematical Foundations of Computer Science 1996
21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61550-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Parsons / Chiu Advances in Conceptual Modeling
ER 2013 Workshops, LSAWM, MoBiD, RIGiM, SeCoGIS, WISM, DaSeM, SCME, and PhD Symposium, Hong Kong, China, November 11-13, 2013, Revised Selected Papers2014Verlag: SpringerISBN: 978-3-319-14138-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Batory / Consel / Taha Generative Programming and Component Engineering
ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44284-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barner / Harris / Kroening Hardware and Software: Verification and Testing
6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19582-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gotzhein / Reed System Analysis and Modeling: Language Profiles
5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-68371-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Duddy / Kappel Theory and Practice of Model Transformations
6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38882-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
England / Palanque / Vanderdonckt Task Models and Diagrams for User Interface Design
8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11796-1Medium: 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