Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2098
- Erscheinungsjahr
-
- 49
- 151
- 133
- 111
- 39
- 17
- 26
- 32
- 28
- 27
- 51
- 41
- 30
- 52
- 41
- 38
- 70
- 58
- 64
- 77
- 71
- 61
- 120
- 105
- 95
- 78
- 59
- 51
- 40
- 29
- 36
- 34
- 27
- 31
- 19
- 31
- 17
- 15
- 8
- 10
- 4
- 7
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 2
- 6
- 2
- 2
- 4
- 3
- 3
- 7
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 10
- 3
- 2
- 2
- 5
- 2
- 3
- 4
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 3
- 10
- 3
- 4
- 3
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 10
- 5
- 2
- 2
- 2
- 2
- 9
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 4
- 2
- 2
- 2
- 7
- 6
- 2
- 2
- 2
- 2
- 2
- 5
- 6
- 4
- 3
- 2
- 4
- 2
- 3
- 3
- 3
- 2
- 3
- 12
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 8
- 2
- 6
- 2
- 2
- 4
- 3
- 2
- 3
- 3
- 5
- 4
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 3
- 5
- 2
- 3
- 3
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 6
- 3
- 4
- 3
- 2
- 4
- 12
- 5
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 15
- 25
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 13
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 3
- 2
- 4
- 6
- 3
- 2
- 3
- 3
- 2
- 7
- 4
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 20
- 2
- 3
- 3
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 3
- 5
- 2
- 3
- 5
- 3
- 2
- 6
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 3
- 8
- 2
- 3
- 4
- 3
- 2
- 6
- 4
- 4
- 5
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 6
- 5
- 2
- 4
- 4
- 5
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 7
- 2
- 12
- 2
- 2
- 2
- 4
- 6
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 2
- 2
- 6
- 4
- 2
- 2
- 3
- 4
- 6
- 2
- 3
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 6
- 7
- 5
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 4
- 2
- 2
- 5
- 2
- 12
- 24
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 9
- 2
- 3
- 4
- 5
- 2
- 2
- 5
- 5
- 6
- 2
- 2
- 3
- 6
- 2
- 2
- 6
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 5
- 3
- 15
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 5
- 4
- 2
- 3
- 5
- 2
- 2
- 4
- 2
- 2
- 3
- 4
- 2
- 6
- 2
- 2
- 4
- 7
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 3
- 8
- 2
- 2
- 2
- 3
- 6
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 8
- 22
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 4
- 6
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 8
- 3
- 3
- 4
- 2
- 5
- 2
- 2
- 2
- 4
- 3
- 2
- 5
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 11
- 9
- 2
- 3
- 2
- 2
- 2
- 4
- 11
- 5
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 4
- 4
- 2
- 2
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 4
- 2
- 13
- 14
- 2
- 3
- 3
- 9
- 3
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 34
- 2
- 3
- 5
- 5
- 6
- 2
- 2
- 4
- 3
- 3
- 6
- 2
- 4
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 4
- 2
- 9
- 2
- 2
- 2
- 16
- 3
- 2
- 2
- 2
- 2
- 3
- 6
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 7
- 2
- 4
- 2
- 2
- 4
- 4
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 5
- 6
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 3
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 6
- 3
- 7
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 4
- 11
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 6
- 3
- 3
- 4
- 8
- 3
- 5
- 5
- 6
- 5
- 6
- 4
- 5
- 3
- 4
- 6
- 4
- 17
- 4
- 10
- 6
- 3
- 4
- 5
- Verlag
-
- 2088
- 2
- 1
- 7
- Preis
-
- 4
- 90
- 1673
- 331
- Sprachen
-
- 2098
- Verfügbarkeit
-
- 2097
- 1
- Eigenschaften
-
- 3
- Katalog
-
- 2098
- 133
-
de Boer / Cerone Software Engineering and Formal Methods
18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-58767-3Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Attiogbé / Ben Yahia Model and Data Engineering
10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-78427-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Laarman / Sokolova Model Checking Software
27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-84628-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Campos / Minea Formal Methods: Foundations and Applications
24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-92136-1Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schewe / Singh Model and Data Engineering
9th International Conference, MEDI 2019, Toulouse, France, October 28-31, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-32064-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pahl / Vukovic / Yin Service-Oriented Computing
16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03595-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bhatele / Boehme / Levine Programming and Performance Visualization Tools
International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-17871-0Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ferreira / Musaev / Zhang Services Computing - SCC 2019
16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-23553-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Marcus / Wang Design, User Experience, and Usability. Application Domains
8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part III1. Auflage 2019Verlag: SpringerISBN: 978-3-030-23537-6Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Antonacopoulos / Hinze / Piwowarski Linking Theory and Practice of Digital Libraries
28th International Conference on Theory and Practice of Digital Libraries, TPDL 2024, Ljubljana, Slovenia, September 24-27, 2024, Proceedings, Part II2024Verlag: SpringerISBN: 978-3-031-72439-8Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zeng / Zhang Edge Computing - EDGE 2024
8th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-77068-5Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bourke / Chen / Goharshady Dependable Software Engineering. Theories, Tools, and Applications
10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, ProceedingsErscheinungsjahr 2024Verlag: SpringerISBN: 978-981-960601-6Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Arisaka / Sanchez-Anguix / Stein PRIMA 2024: Principles and Practice of Multi-Agent Systems
25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings2025Verlag: SpringerISBN: 978-3-031-77366-2Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Graf / Pettersson / Steffen Real Time and Such
Essays Dedicated to Wang Yi to Celebrate His Scientific Career2025Verlag: SpringerISBN: 978-3-031-73750-3Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Shankaranarayanan / Sankaranarayanan / Trivedi Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-82699-3Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (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 IIErscheinungsjahr 2025Verlag: SpringerMedium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage149,79 € (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 VIIErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-960779-2Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage149,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Menéndez / Bello-Orgaz / Barnard Testing Software and Systems
36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-80888-3Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dutle / Humphrey / Titolo NASA Formal Methods
17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-93705-7Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage149,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ferreira / Mezzina Formal Techniques for Distributed Objects, Components, and Systems
45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-95496-2Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Maass / Han / Yasar Conceptual Modeling
43rd International Conference, ER 2024, Pittsburgh, PA, USA, October 28-31, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-75871-3Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Malyshkin Parallel Computing Technologies
17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-41672-9Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hammer Compiler Compilers
Third International Workshop, CC `90. Schwerin, FRG, October 22-24, 1990. ProceedingsErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-53669-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
König / Heiner / Wolisz Formal Techniques for Networked and Distributed Systems - FORTE 2003
23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 20031. Auflage 2003Verlag: SpringerISBN: 978-3-540-20175-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Buyya / Baker Grid Computing - GRID 2000
First IEEE/ACM International Workshop Bangalore, India, December 17, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-41403-2Medium: 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