Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2041
- Erscheinungsjahr
-
- 11
- 152
- 142
- 107
- 40
- 18
- 22
- 30
- 31
- 24
- 37
- 48
- 39
- 50
- 41
- 34
- 67
- 62
- 64
- 78
- 66
- 61
- 117
- 104
- 94
- 73
- 59
- 52
- 37
- 29
- 36
- 33
- 27
- 32
- 17
- 32
- 16
- 15
- 8
- 10
- 4
- 7
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 6
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 2
- 4
- 3
- 4
- 7
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 16
- 3
- 3
- 4
- 2
- 4
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 5
- 6
- 2
- 3
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 9
- 4
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 7
- 2
- 2
- 6
- 6
- 2
- 2
- 2
- 5
- 5
- 4
- 3
- 6
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 10
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 5
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 3
- 3
- 2
- 5
- 3
- 3
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 5
- 5
- 6
- 2
- 3
- 2
- 4
- 12
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 14
- 23
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 12
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 7
- 2
- 2
- 3
- 6
- 4
- 2
- 4
- 4
- 8
- 4
- 3
- 2
- 3
- 8
- 2
- 2
- 2
- 2
- 3
- 25
- 2
- 2
- 2
- 7
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 8
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 4
- 3
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 5
- 2
- 3
- 4
- 2
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 3
- 3
- 2
- 4
- 2
- 3
- 3
- 5
- 2
- 4
- 2
- 2
- 2
- 3
- 8
- 2
- 2
- 4
- 4
- 2
- 5
- 4
- 3
- 3
- 3
- 2
- 3
- 4
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 5
- 2
- 2
- 6
- 2
- 2
- 3
- 3
- 4
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 4
- 6
- 4
- 5
- 5
- 5
- 2
- 4
- 2
- 7
- 7
- 2
- 2
- 2
- 7
- 12
- 3
- 2
- 2
- 2
- 6
- 6
- 2
- 4
- 2
- 2
- 4
- 2
- 5
- 2
- 4
- 4
- 3
- 2
- 3
- 2
- 2
- 5
- 3
- 3
- 4
- 4
- 2
- 3
- 2
- 6
- 2
- 4
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 5
- 9
- 2
- 8
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 4
- 4
- 2
- 2
- 5
- 2
- 11
- 20
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 8
- 2
- 2
- 2
- 4
- 5
- 5
- 2
- 2
- 2
- 2
- 2
- 12
- 5
- 2
- 4
- 5
- 2
- 2
- 2
- 5
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 7
- 3
- 3
- 2
- 4
- 2
- 20
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 5
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 7
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 3
- 2
- 5
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 4
- 6
- 18
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 5
- 2
- 5
- 2
- 2
- 5
- 2
- 2
- 3
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 6
- 4
- 2
- 2
- 2
- 3
- 2
- 9
- 9
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 11
- 5
- 3
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 23
- 4
- 2
- 3
- 4
- 9
- 3
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 30
- 2
- 3
- 3
- 4
- 2
- 7
- 4
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 2
- 4
- 6
- 21
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 10
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 5
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 4
- 2
- 3
- 3
- 2
- 2
- 4
- 12
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 4
- 4
- 2
- 3
- 2
- 2
- 2
- 5
- 5
- 4
- 2
- 2
- 4
- 3
- 3
- 5
- 2
- 4
- 2
- 18
- 4
- 6
- 2
- 5
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 6
- 4
- Verlag
-
- 2034
- 1
- 6
- Preis
-
- 4
- 84
- 1643
- 310
- Sprachen
-
- 2041
- Verfügbarkeit
-
- 2040
- 1
- Katalog
-
- 2041
- 135
-
Shankaranarayanan / Sankaranarayanan / Trivedi Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-82702-0Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Castellani / Tiezzi Coordination Models and Languages
26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-62696-8Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Benzmüller / Heule / Schmidt Automated Reasoning
12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I2024Verlag: SpringerISBN: 978-3-031-63497-0Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Beyer / Hartmanns / Kordon TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competitions2024Verlag: SpringerISBN: 978-3-031-67694-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Haxthausen / Serwe Formal Methods for Industrial Critical Systems
29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-68149-3Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Oliva / Panzieri / Hämmerli Critical Information Infrastructures Security
19th International Conference, CRITIS 2024, Rome, Italy, September 18-20, 2024, Revised Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-84259-7Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III2024Verlag: SpringerISBN: 978-3-031-75379-4Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Steffen Bridging the Gap Between AI and Reality
Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings2025Verlag: SpringerISBN: 978-3-031-75433-3Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kosmatov / Kovács Integrated Formal Methods
19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings2025Verlag: SpringerISBN: 978-3-031-76553-7Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zhang Internet of Things - ICIOT 2024
9th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings2025Verlag: SpringerISBN: 978-3-031-77002-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Borba / Cavalcanti / Sampaio Testing Techniques in Software Engineering
Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14334-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bruel / Capozucca / Mazzara Frontiers in Software Engineering Education
First International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019, Invited Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-57662-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Daniel / Diaz Current Trends in Web Engineering
15th International Conference, ICWE 2015 Workshops, NLPIT, PEWET, SoWEMine, Rotterdam, The Netherlands, June 23-26, 2015. Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-24799-1Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage51,36 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Holzinger / Simonic Information Quality in e-Health
7th Conference of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2011, Graz, Austria, November 25-26, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-25363-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lan / Mei / Jiang Intelligent Robotics and Applications
17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-960776-1Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gaaloul / Sheng / Yu Service-Oriented Computing
22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3-6, 2024, Proceedings, Part IIErscheinungsjahr 2024Verlag: SpringerISBN: 978-981-960807-2Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liu Software Fault Prevention, Verification, and Validation
First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-961620-6Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lan / Mei / Jiang Intelligent Robotics and Applications
17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IIIErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-960794-5Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Huang / Si / Zhang Advanced Intelligent Computing Technology and Applications
20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part III2024Verlag: SpringerISBN: 978-981-97-5668-1Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Huang / Zhang / Pan Advanced Intelligent Computing Technology and Applications
20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part II2024Verlag: SpringerISBN: 978-981-97-5665-0Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Huang / Si / Chen Advanced Intelligent Computing Technology and Applications
20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part VI2024Verlag: SpringerISBN: 978-981-97-5677-3Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Formenti / Durand-Lose Machines, Computations, and Universality
10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-81201-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Beyer / Cavalcanti Fundamental Approaches to Software Engineering
27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-57258-6Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pahl / Janes / Cerny Service-Oriented and Cloud Computing
11th IFIP WG 6.12 European Conference, ESOCC 2025, Bolzano, Italy, February 20-21, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-84616-8Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Alam / Rospocher / van Erp Knowledge Engineering and Knowledge Management
24th International Conference, EKAW 2024, Amsterdam, The Netherlands, November 26-28, 2024, ProceedingsErscheinungsjahr 2024Verlag: SpringerISBN: 978-3-031-77791-2Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (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