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
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Practice
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV1. Auflage 2022Verlag: SpringerISBN: 978-3-031-19761-1Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Tekinerdogan / Zdun / Babar Software Architecture
10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-48991-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Janhunen / Niemelä Logics in Artificial Intelligence
12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15674-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Fukuda / van der Hoeven / Joswig Mathematical Software - ICMS 2010
Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15581-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Jacko Human-Computer Interaction. HCI Applications and Services
12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IVErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73109-2Medium: Buch171,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage171,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Stone / Balch / Kraetzschmar RoboCup 2000: Robot Soccer World Cup IV
1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42185-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Smith / Talcott Formal Methods for Open Object-Based Distributed Systems IV
IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USAErscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4757-1018-2Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Woods / Quilici / Qiang Yang Constraint-Based Design Recovery for Software Reengineering
Theory and Experiments1998Verlag: Springer USISBN: 978-0-7923-8067-2Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Sifakis Automatic Verification Methods for Finite State Systems
International Workshop, Grenoble, France. June 12-14, 1989. ProceedingsErscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-52148-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Adamatzky / Komosinski Artificial Life Models in Software
2. Auflage 2009Verlag: SpringerISBN: 978-1-4471-5692-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Latifi ITNG 2024: 21st International Conference on Information Technology-New Generations
Erscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-56601-1Medium: Buch267,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage267,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Maher Advances in Computer Science - ASIAN 2004, Higher Level Decision Making
9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 20041. Auflage 2004Verlag: SpringerISBN: 978-3-540-24087-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Hirmer Model-Based Approaches to the Internet of Things
1. Auflage 2023Verlag: SpringerISBN: 978-3-031-18886-2Medium: Buch181,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage181,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Corradini / Ehrig / Kreowski Graph Transformation
First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-44310-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Hastenteufel / Renaud Software als Medizinprodukt
Entwicklung und Zulassung von Software in der Medizintechnik1. Auflage 2019Verlag: SpringerISBN: 978-3-658-26487-1Medium: Buch44,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage44,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
de Alfaro Foundations of Software Science and Computational Structures
12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00595-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Fonseca / Fleming / Zitzler Evolutionary Multi-Criterion Optimization
Second International Conference, EMO 2003, Faro, Portugal, April 8-11, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-01869-8Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Veanes / Tretmans / Grieskamp Testing of Software and Communicating Systems
19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73065-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Gervasi / Murgante / Rocha Computational Science and Its Applications - ICCSA 2023 Workshops
Athens, Greece, July 3-6, 2023, Proceedings, Part VIII1. Auflage 2023Verlag: SpringerISBN: 978-3-031-37125-7Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Colombo / Leucker Runtime Verification
18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03768-0Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Horváth / Telek Formal Methods and Stochastic Models for Performance Evaluation
Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35362-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Gibbons Trends in Functional Programming
26th International Symposium, TFP 2025, Oxford, UK, January 14-16, 2025, Revised Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-99750-1Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Lee Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
2013Verlag: SpringerISBN: 978-3-319-03272-6Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Anderson / Bologna / Felici Computer Safety, Reliability and Security
21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44157-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
-
Nambiar / Poess Performance Evaluation and Benchmarking
Transaction Processing Performance Council Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-10423-7Medium: 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
