Ergebnisse filtern
- Fachgebiet
- Medium
-
- 9597
- 1473
- 29
- 12
- Erscheinungsjahr
-
- 8
- 217
- 997
- 1228
- 570
- 413
- 352
- 391
- 368
- 425
- 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
- 6
- 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
- 5
- 3
- 4
- 3
- 3
- 6
- 6
- 4
- 3
- 6
- 3
- 33
- 4
- 3
- 9
- 3
- 5
- 3
- 4
- 3
- 7
- 7
- 4
- 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
- 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
- 3
- 4
- 4
- 3
- 6
- 10
- 3
- 3
- 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
- 6
- 8
- 8
- 4
- 38
- 4
- 6
- 10
- 7
- 15
- 4
- 5
- 5
- 9
- 4
- 5
- 13
- 4
- 5
- 5
- 6
- 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
- 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
- 6
- 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
- 6
- 4
- 36
- 45
- 12
- 4
- 11
- 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
- 10
- 4
- 4
- 7
- 4
- 9
- 9
- 14
- 11
- 6
- 11
- 13
- 4
- 7
- 9
- 8
- 6
- 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
- 1
- 18
- 3
- 8
- 3
- 284
- 2
- 23
- 2
- 1
- 3
- 3
- 3
- 72
- 1
- 90
- 219
- 4
- 503
- 1156
- 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
- 12
- 35
- 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
- 6029
- 114
- 36
- 1
- 1
- 1
- 2
- 9
- 4
- 7
- 42
- 1
- 127
- 113
- 1
- 9
- 22
- 1
- 290
- 38
- 124
- 4
- 1
- 1
- 24
- 6
- 1
- 1
- 4
- 1
- 86
- 1
- 5
- 2
- 182
- 3
- 10
- 1
- 24
- 30
- 1
- 1
- 2
- 2
- Preis
-
- 354
- 1881
- 5313
- 3563
- Sprachen
-
- 10184
- 938
- 2
- Verfügbarkeit
-
- 10961
- 150
- Eigenschaften
-
- 5
- 4
- Katalog
-
- 11111
- 1761
-
Peled / Tsay Automated Technology for Verification and Analysis
Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29209-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Padget / Artikis / Vasconcelos Coordination, Organizations, Institutions, and Norms in Agent Systems V
COIN 2009 International Workshops: COIN@AAMAS 2009 Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009,Turin, Italy, September 2009, Revised Selected Papers1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-14961-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bennaceur / Hähnle / Meinke Machine Learning for Dynamic Software Analysis: Potentials and Limits
International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-96561-1Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Kobylinski / Kobylinski / Czarnacka-Chrobot Software Measurement
25th International Workshop on Software Measurement and 10th International Conference on Software Process and Product Measurement, IWSM-Mensura 2015, Kraków, Poland, October 5-7, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-24284-2Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Haller / Huang / Paik Web Information Systems Engineering
Combined WISE 2011 and 2012 Workshops, Sydney, Australia, October 13-14, 2011 and Paphos, Cyprus, November 28-30, 2012. Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38332-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Henninger / Maurer Advances in Learning Software Organizations
4th International Workshop, LSO 2002, Chicago, IL, USA, August 6, 2002, Revised PapersErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-20591-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Stanley / Laski Software Verification and Analysis
An Integrated, Hands-On ApproachSoftcover Nachdruck of hardcover 1. Auflage 2009Verlag: SpringerISBN: 978-1-84996-829-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Huang / Zhang / Pan Advanced Intelligent Computing Technology and Applications
21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part XIErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-950000-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Ahrendt / Beckert / Bubel Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY1. Auflage 2020Verlag: SpringerISBN: 978-3-030-64353-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Raskin / Thiagarajan Formal Modeling and Analysis of Timed Systems
5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75453-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Arceri / Cortesi / Ferrara Challenges of Software Verification
2023Verlag: SpringerISBN: 978-981-19-9600-9Medium: Buch171,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage171,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bry / Henze / Maluszynski Principles and Practice of Semantic Web Reasoning
International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20582-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Tekinerdogan / Tekinerdogan / Spalazzese Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium
Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers2024Verlag: SpringerISBN: 978-3-031-66325-3Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Steffen Transactions on Foundations for Mastering Change I
1. Auflage 2016Verlag: SpringerISBN: 978-3-319-46507-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Senivongse / Oliveira Distributed Applications and Interoperable Systems
9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-12, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02163-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Zamojski / Mazurkiewicz / Sugier Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30 - July 4, 2014, Brunów, Poland
Erscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-07012-4Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Bartocci / Falcone Lectures on Runtime Verification
Introductory and Advanced Topics1. Auflage 2018Verlag: SpringerISBN: 978-3-319-75631-8Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Song Innovation Together
Microsoft Research Asia Academic Research CollaborationErscheinungsjahr 2008Verlag: SpringerISBN: 978-0-387-87860-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Selvaraj / Zydek / Chmaj Progress in Systems Engineering
Proceedings of the Twenty-Third International Conference on Systems EngineeringErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08421-3Medium: Buch320,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage320,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Mejia / Muñoz / Rocha Trends and Applications in Software Engineering
Proceedings of the 6th International Conference on Software Process Improvement (CIMPS 2017)1. Auflage 2018Verlag: SpringerISBN: 978-3-319-69340-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Borrione Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's
Selected Contributions on Specification, Design, and Verification from FDL 20091. Auflage 2012Verlag: SpringerISBN: 978-94-007-3333-6Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Konagaya Grid Computing in Life Science
First International Workshop on Life Science Grid, LSGRID 2004 Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25208-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Long Software Engineering Environments
International Workshop on Environments, Chinon, France, September 18-20, 1989. ProceedingsErscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-53452-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Lee Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015
1. Auflage 2016Verlag: SpringerISBN: 978-3-319-23508-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Lozano / Larrañaga Estimation of Distribution Algorithms
A New Tool for Evolutionary Computation2002Verlag: Springer USISBN: 978-0-7923-7466-4Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,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
