Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1628
- Erscheinungsjahr
-
- 40
- 105
- 39
- 20
- 20
- 31
- 24
- 27
- 36
- 42
- 36
- 58
- 32
- 8
- 13
- 55
- 66
- 67
- 35
- 70
- 115
- 101
- 89
- 76
- 59
- 44
- 40
- 28
- 35
- 32
- 28
- 32
- 20
- 32
- 15
- 14
- 8
- 10
- 4
- 7
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 12
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 2
- 3
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 6
- 2
- 3
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 7
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 4
- 1
- 1
- 7
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 10
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 1
- 1
- 9
- 1
- 5
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 3
- 11
- 3
- 5
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 11
- 16
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 15
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 19
- 3
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 8
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 4
- 3
- 2
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 3
- 3
- 3
- 3
- 6
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 5
- 11
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 5
- 11
- 13
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 5
- 2
- 2
- 2
- 11
- 3
- 2
- 3
- 5
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 5
- 2
- 3
- 2
- 3
- 14
- 2
- 2
- 5
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 4
- 3
- 2
- 5
- 2
- 5
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 5
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 5
- 11
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 6
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 8
- 9
- 2
- 3
- 2
- 2
- 3
- 4
- 13
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 19
- 2
- 2
- 9
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 15
- 2
- 3
- 4
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 16
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 4
- 2
- 3
- 2
- 3
- 4
- 8
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- Verlag
-
- 192
- 1012
- 260
- 1
- 7
- 133
- 23
- Preis
-
- 4
- 63
- 1330
- 231
- Sprachen
-
- 1628
- Verfügbarkeit
-
- 1624
- 4
- Katalog
-
- 1628
- 123
-
Dolev Algorithmic Aspects of Wireless Sensor Networks
5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers2009Verlag: SpringerISBN: 978-3-642-05433-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Abrial / Langmaack / Börger Formal Methods for Industrial Applications
Specifying and Programming the Steam Boiler Control1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61929-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schilling / Caltais Model Checking Software
29th International Symposium, SPIN 2023, Paris, France, April 26¿27, 2023, Proceedings1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-32156-6Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cirne / Desai Job Scheduling Strategies for Parallel Processing
19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-61755-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zhang / Xia Services ¿ SERVICES 2019
15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25¿30, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-23380-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zhang / Vojnar Tools and Algorithms for the Construction and Analysis of Systems
25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6¿11, 2019, Proceedings, Part I1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-17461-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wang / Marcus Design, User Experience, and Usability. Practice and Case Studies
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 IV1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-23534-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Chamberlain / Taha / Törngren Cyber Physical Systems. Model-Based Design
8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-23702-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Massink / Hojjat Fundamentals of Software Engineering
8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-31516-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dobbie / Frank / Mayr Conceptual Modeling
39th International Conference, ER 2020, Vienna, Austria, November 3¿6, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-62521-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Willemse / Peters Formal Techniques for Distributed Objects, Components, and Systems
41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14¿18, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-78088-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Roscoe / Cornélio Formal Methods: Foundations and Applications
18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-29472-8Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,80 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cavalcanti / Beyer 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: Springer Nature SwitzerlandISBN: 978-3-031-57258-6Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lecomte / Ribeiro Formal Methods: Foundations and Applications
19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-49814-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bowen / Xu / Li Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-40435-1Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage74,89 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Arcaini / Fredericks / Yue Search-Based Software Engineering
15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings1. Auflage 2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-48795-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Benz / Shi / Gopinath NASA Formal Methods
16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4¿6, 2024, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-60697-7Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zohar / Barbosa Formal Methods: Foundations and Applications
26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4¿8, 2023, Proceedings1. Auflage 2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-49341-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sun / André Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24¿27, 2023, Proceedings, Part II1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-45331-1Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sun / André Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24¿27, 2023, Proceedings, Part I1. Auflage 2023Verlag: Springer Nature SwitzerlandISBN: 978-3-031-45328-1Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Fleischer / Meineche Schmidt / Moret Experimental Algorithmics
From Algorithm Design to Robust and Efficient Software2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00346-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bhattacharya / Das Distributed Computing
Mobile and Wireless Computing, 4th International Workshop, IWDC 2002, Calcutta, India, December 28-31, 2002, Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00355-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Strohmeier / Llamosi Reliable Software Technologies - Ada-Europe 2004
9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22011-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Garcia / Lucena / Castro Software Engineering for Large-Scale Multi-Agent Systems
Research Issues and Practical Applications2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-08772-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
König / Wolisz / Heiner Formal Techniques for Networked and Distributed Systems - FORTE 2003
23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 20032003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20175-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort