Ergebnisse filtern
- Fachgebiet
- Medium
-
- 9607
- 1473
- 29
- 12
- Erscheinungsjahr
-
- 8
- 226
- 997
- 1228
- 570
- 413
- 352
- 391
- 370
- 424
- 321
- 435
- 297
- 441
- 407
- 514
- 250
- 517
- 238
- 254
- 261
- 223
- 256
- 222
- 222
- 181
- 160
- 119
- 107
- 98
- 79
- 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
- 7
- 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
- 3
- 5
- 7
- 4
- 3
- 3
- 3
- 4
- 5
- 3
- 6
- 4
- 3
- 5
- 4
- 3
- 3
- 7
- 4
- 4
- 3
- 3
- 7
- 8
- 5
- 10
- 3
- 7
- 3
- 4
- 3
- 4
- 4
- 5
- 3
- 9
- 23
- 3
- 15
- 5
- 6
- 7
- 4
- 4
- 3
- 4
- 6
- 9
- 4
- 4
- 7
- 4
- 4
- 7
- 3
- 3
- 8
- 4
- 4
- 3
- 3
- 5
- 3
- 6
- 3
- 3
- 4
- 4
- 4
- 6
- 4
- 3
- 4
- 21
- 3
- 5
- 3
- 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
- 5
- 3
- 4
- 11
- 3
- 3
- 4
- 9
- 3
- 3
- 5
- 20
- 3
- 4
- 4
- 13
- 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
- 3
- 10
- 18
- 4
- 7
- 16
- 4
- 4
- 5
- 4
- 3
- 3
- 3
- 3
- 6
- 6
- 8
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 12
- 7
- 5
- 3
- 3
- 3
- 11
- 7
- 3
- 6
- 5
- 12
- 5
- 3
- 4
- 13
- 9
- 4
- 4
- 9
- 3
- 3
- 7
- 4
- 3
- 3
- 3
- 3
- 18
- 4
- 4
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 6
- 6
- 4
- 3
- 6
- 3
- 33
- 4
- 3
- 9
- 3
- 5
- 3
- 4
- 3
- 7
- 7
- 4
- 3
- 5
- 3
- 6
- 8
- 4
- 3
- 3
- 6
- 3
- 5
- 3
- 5
- 7
- 3
- 6
- 4
- 8
- 6
- 5
- 13
- 3
- 9
- 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
- 6
- 4
- 7
- 4
- 3
- 6
- 6
- 3
- 4
- 3
- 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
- 4
- 4
- 4
- 4
- 5
- 3
- 5
- 15
- 5
- 3
- 3
- 3
- 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
- 14
- 4
- 3
- 16
- 3
- 5
- 3
- 4
- 5
- 6
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 10
- 3
- 4
- 4
- 3
- 5
- 4
- 4
- 3
- 3
- 3
- 5
- 3
- 5
- 6
- 3
- 3
- 5
- 9
- 3
- 3
- 5
- 3
- 3
- 3
- 5
- 28
- 23
- 3
- 4
- 3
- 4
- 4
- 8
- 3
- 4
- 4
- 6
- 10
- 5
- 9
- 4
- 13
- 5
- 5
- 18
- 6
- 5
- 4
- 17
- 5
- 4
- 16
- 5
- 11
- 7
- 6
- 4
- 4
- 7
- 12
- 6
- 6
- 4
- 4
- 5
- 25
- 7
- 5
- 9
- 4
- 8
- 4
- 7
- 4
- 9
- 7
- 8
- 8
- 4
- 38
- 4
- 6
- 10
- 7
- 15
- 4
- 5
- 5
- 9
- 4
- 5
- 13
- 4
- 5
- 5
- 8
- 4
- 4
- 5
- 7
- 14
- 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
- 9
- 5
- 5
- 4
- 7
- 4
- 6
- 19
- 5
- 4
- 4
- 4
- 4
- 11
- 5
- 4
- 7
- 6
- 6
- 6
- 4
- 4
- 9
- 4
- 6
- 4
- 4
- 7
- 4
- 4
- 4
- 8
- 8
- 7
- 8
- 15
- 5
- 5
- 10
- 8
- 6
- 9
- 4
- 7
- 6
- 7
- 4
- 10
- 7
- 11
- 5
- 8
- 11
- 9
- 7
- 63
- 4
- 14
- 4
- 4
- 7
- 5
- 9
- 9
- 5
- 6
- 6
- 4
- 12
- 12
- 18
- 6
- 16
- 4
- 6
- 11
- 6
- 4
- 24
- 6
- 7
- 7
- 5
- 10
- 12
- 32
- 4
- 5
- 4
- 4
- 4
- 4
- 6
- 9
- 4
- 7
- 10
- 15
- 7
- 4
- 6
- 6
- 4
- 6
- 4
- 21
- 27
- 5
- 4
- 4
- 4
- 5
- 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
- 12
- 4
- 4
- 6
- 8
- 5
- 5
- 13
- 6
- 7
- 4
- 7
- 4
- 6
- 7
- 6
- 9
- 4
- 4
- 6
- 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
- 7
- 8
- 7
- 4
- 4
- 11
- 10
- 6
- 6
- 9
- 4
- 19
- 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
- 10
- 12
- 5
- 7
- 5
- 4
- 4
- 4
- 6
- 16
- 6
- 4
- 4
- 4
- 35
- 44
- 12
- 4
- 7
- 9
- 12
- 27
- 6
- 8
- 5
- 9
- 9
- 13
- 6
- 4
- 4
- 5
- 5
- 12
- 7
- 42
- 5
- 5
- 5
- 8
- 4
- 4
- 5
- 9
- 20
- 7
- 5
- 7
- 6
- 33
- 4
- 6
- 5
- 8
- 10
- 4
- 9
- 10
- 10
- 6
- 12
- 4
- 8
- 4
- 7
- 4
- 6
- 11
- 6
- 8
- 6
- 4
- 10
- 4
- 4
- 7
- 4
- 9
- 9
- 14
- 11
- 6
- 11
- 13
- 4
- 7
- 9
- 8
- 7
- 12
- 4
- 7
- 4
- 5
- 6
- 4
- 11
- 4
- 4
- 4
- 4
- 4
- 5
- 5
- 15
- 14
- 5
- 12
- 4
- 8
- 19
- 4
- 6
- 12
- 18
- 5
- 9
- 6
- 4
- 7
- 4
- 9
- 7
- 7
- 18
- 6
- 12
- 4
- 4
- 12
- 5
- 5
- 5
- 9
- 4
- 6
- 21
- 4
- 7
- 4
- 4
- 10
- 7
- 4
- 4
- 6
- 7
- 8
- 7
- Verlag
-
- 2
- 3
- 8
- 4
- 1
- 3
- 1
- 51
- 7
- 461
- 3
- 2
- 18
- 3
- 6
- 2
- 3
- 284
- 2
- 23
- 2
- 1
- 3
- 3
- 3
- 72
- 1
- 91
- 219
- 4
- 501
- 1157
- 15
- 1
- 1
- 55
- 102
- 1
- 3
- 1
- 3
- 17
- 1
- 4
- 54
- 34
- 1
- 5
- 25
- 1
- 4
- 3
- 14
- 5
- 39
- 4
- 1
- 1
- 1
- 1
- 1
- 25
- 1
- 1
- 4
- 1
- 1
- 31
- 1
- 1
- 1
- 1
- 16
- 39
- 5
- 3
- 2
- 16
- 2
- 6
- 1
- 1
- 18
- 1
- 2
- 1
- 11
- 4
- 1
- 5
- 2
- 3
- 3
- 2
- 3
- 3
- 11
- 1
- 3
- 26
- 2
- 1
- 2
- 8
- 1
- 1
- 1
- 3
- 2
- 1
- 15
- 1
- 4
- 27
- 22
- 3
- 37
- 1
- 1
- 1
- 1
- 2
- 16
- 1
- 6043
- 114
- 30
- 1
- 1
- 1
- 2
- 10
- 4
- 2
- 42
- 1
- 127
- 113
- 9
- 22
- 1
- 294
- 38
- 123
- 6
- 1
- 1
- 24
- 6
- 1
- 1
- 4
- 1
- 86
- 1
- 5
- 2
- 175
- 3
- 10
- 1
- 24
- 30
- 1
- 1
- 2
- 2
- Preis
-
- 351
- 1884
- 5317
- 3569
- Sprachen
-
- 10193
- 939
- 2
- Verfügbarkeit
-
- 10969
- 152
- Eigenschaften
-
- 8
- 4
- Katalog
-
- 11121
- 1763
-
Abrahamsson / Marchesi / Maurer Agile Processes in Software Engineering and Extreme Programming
10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-01852-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bernardo / Hillston Formal Methods for Performance Evaluation
7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced LecturesErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72482-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pierre / Kropf Correct Hardware Design and Verification Methods
10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66559-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Martin / Müller UML for SOC Design
Softcover Nachdruck of hardcover 1. Auflage 2005Verlag: SpringerISBN: 978-1-4419-3829-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation
10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-89158-9Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gastin / Laroussinie CONCUR 2010 - Concurrency Theory
21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-15374-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schmidt / Berns Programmierung mit LEGO Mindstorms NXT
Robotersysteme, Entwurfsmethodik, Algorithmen1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-05469-3Medium: Buch27,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage27,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Felleisen / Gardner Programming Languages and Systems
22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-37035-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wolf Hardware-Software Co-Synthesis of Distributed Embedded Systems
1996Verlag: Springer USISBN: 978-1-4419-5167-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Demchenko / Cuadrado-Gallego / Chertov Big Data Infrastructure Technologies for Data Analytics
Scaling Data Science Applications for Continuous GrowthErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-69368-7Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Shen / Lin / Barthès Computer Supported Cooperative Work in Design I
8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29400-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Piskac / Rümmer Verified Software. Theories, Tools, and Experiments
10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03591-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ein denotationales Modell für parallele objektbasierte Systeme
1997Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-02197-1Medium: Buch44,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage44,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hankin Programming Languages and Systems
7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64302-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Falcone / Sánchez Runtime Verification
16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-46981-2Medium: 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 II1. Auflage 2018Verlag: SpringerISBN: 978-3-319-93817-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Knauss / Goedicke Requirements Engineering: Foundation for Software Quality
25th International Working Conference, REFSQ 2019, Essen, Germany, March 18-21, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-15537-7Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hussain / Zulfiqar Beginning Go Programming
Build Reliable and Efficient Applications with Go1. Auflage 2022Verlag: ApressISBN: 978-1-4842-8857-3Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,44 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wolter Formal Methods and Stochastic Models for Performance Evaluation
Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75210-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lämmel / Saraiva / Visser Generative and Transformational Techniques in Software Engineering IV
International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-35991-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ricci / Bontcheva / Conlan User Modeling, Adaptation and Personalization
23rd International Conference, UMAP 2015, Dublin, Ireland, June 29 -- July 3, 2015. Proceedings2015Verlag: SpringerISBN: 978-3-319-20266-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
De Nicola / Kühn Software Engineering and Formal Methods
14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-41590-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ehrig / Juhas / Padberg Unifying Petri Nets
Advances in Petri Nets1. Auflage 2001Verlag: SpringerISBN: 978-3-540-43067-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sere / Sekerinski Program Development by Refinement
Case Studies Using the B Method1999Verlag: SpringerISBN: 978-1-85233-053-8Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pinkston / Prasanna High Performance Computing -- HiPC 2003
10th International Conference, Hyderabad, India, December 17-20, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20626-2Medium: 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