Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2056
- Erscheinungsjahr
-
- 11
- 156
- 129
- 105
- 39
- 16
- 24
- 33
- 38
- 28
- 33
- 47
- 32
- 51
- 47
- 31
- 68
- 67
- 60
- 90
- 66
- 61
- 120
- 108
- 96
- 76
- 59
- 51
- 36
- 27
- 34
- 33
- 27
- 31
- 19
- 32
- 16
- 15
- 8
- 10
- 4
- 7
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 6
- 2
- 4
- 3
- 5
- 2
- 7
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 12
- 2
- 3
- 4
- 3
- 4
- 2
- 4
- 4
- 2
- 3
- 3
- 3
- 4
- 6
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 6
- 6
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 7
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 4
- 5
- 3
- 2
- 6
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 3
- 11
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 9
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 2
- 3
- 3
- 5
- 2
- 3
- 3
- 2
- 3
- 4
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 12
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 11
- 23
- 2
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 13
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 7
- 2
- 3
- 2
- 3
- 5
- 3
- 2
- 5
- 3
- 2
- 7
- 3
- 2
- 2
- 9
- 2
- 2
- 2
- 21
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 9
- 2
- 2
- 3
- 3
- 3
- 2
- 3
- 3
- 3
- 5
- 4
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 2
- 3
- 5
- 2
- 7
- 3
- 2
- 3
- 3
- 3
- 5
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 4
- 2
- 3
- 3
- 3
- 5
- 2
- 4
- 2
- 3
- 6
- 2
- 4
- 2
- 4
- 2
- 7
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 6
- 6
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 5
- 2
- 6
- 2
- 4
- 3
- 5
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 12
- 2
- 2
- 7
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 3
- 7
- 4
- 4
- 3
- 2
- 2
- 2
- 4
- 7
- 3
- 3
- 4
- 4
- 3
- 3
- 6
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 5
- 5
- 10
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 10
- 20
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 4
- 5
- 5
- 2
- 2
- 2
- 4
- 8
- 5
- 2
- 3
- 4
- 2
- 2
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 4
- 3
- 2
- 5
- 2
- 16
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 9
- 18
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 4
- 7
- 2
- 3
- 7
- 2
- 5
- 2
- 5
- 3
- 2
- 2
- 4
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 6
- 5
- 2
- 2
- 3
- 2
- 12
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 12
- 5
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 6
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 8
- 2
- 2
- 23
- 4
- 2
- 3
- 5
- 9
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 32
- 2
- 3
- 5
- 4
- 7
- 2
- 2
- 4
- 3
- 2
- 6
- 4
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 4
- 6
- 6
- 18
- 3
- 3
- 2
- 2
- 3
- 2
- 9
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 7
- 3
- 9
- 2
- 3
- 2
- 2
- 3
- 5
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 4
- 6
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 5
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 7
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 4
- 11
- 2
- 2
- 2
- 3
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 4
- 5
- 3
- 7
- 2
- 5
- 2
- 17
- 2
- 2
- 2
- 6
- 2
- 7
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- Verlag
-
- 2047
- 1
- 8
- Preis
-
- 4
- 84
- 1660
- 308
- Sprachen
-
- 2056
- Verfügbarkeit
-
- 2055
- 1
- Katalog
-
- 2056
- 128
-
Hsu / Malyshkin Methods and Tools of Parallel Programming Multicomputers
Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14821-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chakraborty / Navas Verified Software. Theories, Tools, and Experiments
11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-41599-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Burkhard / Lindemann / Verbrugge Multi-Agent Systems and Applications V
5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75253-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Beckert Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28931-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Følstad / Papadopoulos / Araujo Chatbots and Human-Centered AI
8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4-5, 2024, Revised Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-88044-5Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bergel / Fabry Software Composition
8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02654-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ribeiro / Lecomte Formal Methods: Foundations and Applications
19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-49814-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lemos / Gacek / Romanovsky Architecting Dependable Systems IV
Erscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74033-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Johnsen / Wimmer Fundamental Approaches to Software Engineering
25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-030-99428-0Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage42,79 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ganzinger / Jones Programs as Data Objects
Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 19851. Auflage 1986Verlag: SpringerISBN: 978-3-540-16446-3Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,44 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Broy / Krüger / Meisinger Model-Driven Development of Reliable Automotive Services
Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-70929-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jansen / Stoelinga / van den Bos A Journey from Process Algebra via Timed Automata to Model Learning
Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday1. Auflage 2022Verlag: SpringerISBN: 978-3-031-15628-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Herber / Wijs Integrated Formal Methods
18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings2024Verlag: SpringerISBN: 978-3-031-47704-1Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Guerraoui Middleware 2001
IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12-16, 2001, Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42800-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Müller Modular Specification and Verification of Object-Oriented Programs
Erscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43167-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kolehmainen / Toivanen / Beliczynski Adaptive and Natural Computing Algorithms
9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04920-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Klusácek / Klusácek / Cirne Job Scheduling Strategies for Parallel Processing
21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-77397-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fernández / Poskitt Graph Transformation
16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-36708-3Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Khendek / Toeroe / Gherbi SDL 2013: Model Driven Dependability Engineering
16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38910-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Caltais / Schilling Model Checking Software
29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-32156-6Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
André / Sun Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II1. Auflage 2023Verlag: SpringerISBN: 978-3-031-45331-1Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Eleftherakis / Hinchey / Holcombe Software Engineering and Formal Methods
10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33825-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ábrahám / Huisman Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-33692-3Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bechhofer / Hauswirth / Hoffmann The Semantic Web: Research and Applications
5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, SpainErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68233-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Heineman / Kofron / Plasil Research into Practice - Reality and Gaps
6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13820-1Medium: 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