Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2067
- Erscheinungsjahr
-
- 11
- 156
- 129
- 105
- 39
- 16
- 24
- 33
- 38
- 28
- 33
- 47
- 31
- 51
- 51
- 31
- 68
- 63
- 60
- 92
- 74
- 62
- 120
- 108
- 96
- 77
- 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
- 2
- 3
- 5
- 2
- 2
- 4
- 3
- 5
- 3
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 12
- 2
- 2
- 4
- 3
- 4
- 2
- 4
- 4
- 2
- 3
- 3
- 3
- 4
- 6
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 4
- 7
- 5
- 2
- 2
- 2
- 2
- 6
- 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
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 3
- 11
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 9
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 2
- 2
- 3
- 5
- 2
- 4
- 3
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 12
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 13
- 23
- 2
- 3
- 2
- 2
- 7
- 2
- 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
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 7
- 2
- 3
- 2
- 3
- 5
- 3
- 2
- 5
- 3
- 2
- 7
- 3
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 20
- 2
- 2
- 7
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 8
- 2
- 2
- 3
- 3
- 3
- 2
- 4
- 3
- 3
- 5
- 2
- 4
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 2
- 3
- 5
- 2
- 6
- 2
- 2
- 3
- 3
- 3
- 5
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 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
- 3
- 2
- 2
- 6
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 6
- 6
- 3
- 3
- 2
- 3
- 2
- 4
- 5
- 2
- 6
- 2
- 4
- 3
- 5
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 12
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 3
- 7
- 4
- 4
- 3
- 2
- 2
- 2
- 4
- 7
- 3
- 2
- 2
- 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
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 10
- 19
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 2
- 2
- 4
- 5
- 5
- 2
- 2
- 2
- 4
- 8
- 5
- 2
- 3
- 4
- 2
- 2
- 2
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 4
- 2
- 2
- 4
- 2
- 16
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 4
- 2
- 2
- 6
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 9
- 18
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 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
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 7
- 2
- 3
- 7
- 2
- 5
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 6
- 5
- 2
- 2
- 3
- 2
- 12
- 2
- 9
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 12
- 5
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 6
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 23
- 4
- 2
- 3
- 5
- 9
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 32
- 2
- 3
- 5
- 4
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 6
- 4
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 4
- 6
- 5
- 17
- 3
- 4
- 2
- 2
- 3
- 2
- 9
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 7
- 3
- 9
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 4
- 7
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 5
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 7
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 4
- 11
- 2
- 2
- 2
- 2
- 2
- 8
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 4
- 5
- 3
- 7
- 3
- 5
- 2
- 2
- 2
- 17
- 2
- 2
- 2
- 6
- 2
- 7
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- Verlag
-
- 2058
- 1
- 8
- Preis
-
- 4
- 85
- 1673
- 305
- Sprachen
-
- 2067
- Verfügbarkeit
-
- 2066
- 1
- Katalog
-
- 2067
- 130
-
Clarke / Agha Coordination Models and Languages
12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13413-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Endrullis / Tichy Graph Transformation
18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-94705-6Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vogt Concurrency 88
International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings1. Auflage 1988Verlag: SpringerISBN: 978-3-540-50403-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-82702-0Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bouajjani / Chin Automated Technology for Verification and Analysis
8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15642-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lucena / Garcia / Romanovsky Software Engineering for Multi-Agent Systems II
Research Issues and Practical Applications1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21182-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Machado / Maciel / Rubin Model-Based Methodologies for Pervasive and Embedded Software
8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38208-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Staunstrup Program Specification
Proceedings of a Workshop Aarhus, Denmark, August 19811. Auflage 1982Verlag: SpringerISBN: 978-3-540-11490-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bolduc / Desharnais / Ktari Mathematics of Program Construction
10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13320-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fensel Problem-Solving Methods
Understanding, Description, Development, and ReuseErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67816-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
ter Beek / Nickovic / Nickovic Formal Methods for Industrial Critical Systems
25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-58297-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Al-Begain / Fiems / Knottenbelt Analytical and Stochastic Modeling Techniques and Applications
17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13567-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nipkow / Paulson / Wenzel Isabelle/HOL
A Proof Assistant for Higher-Order Logic1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43376-7Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage64,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Avgeriou / Zdun Software Architecture
8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-09969-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bonomi / Mandal / Robinson Stabilization, Safety, and Security of Distributed Systems
27th International Symposium, SSS 2025, Kathmandu, Nepal, October 9-11, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-11126-5Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gibbons / Nuno Oliveira Teaching Formal Methods
Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04911-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chiba / Südholt / Eugster Transactions on Modularity and Composition I
1. Auflage 2016Verlag: SpringerISBN: 978-3-319-46968-3Medium: Buch82,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage82,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Broy / Jähnichen KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Final ReportErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60589-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Broccia / Cerone From Data to Models and Back
11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-87216-7Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Garrigós / Murillo Rodríguez / Wimmer Web Engineering
23rd International Conference, ICWE 2023, Alicante, Spain, June 6-9, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-34443-5Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cousot / Falaschi / File Static Analysis
Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57264-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wrembel / Kotsis / Tjoa Database and Expert Systems Applications
36th International Conference, DEXA 2025, Bangkok, Thailand, August 25-27, 2025, Proceedings, Part IIErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-02087-1Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage69,54 € (inkl. MwSt.)
sofort versandfertig, Lieferfrist: 1-3 Werktage -
Franch / Port COTS-Based Software Systems
4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-24548-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Böszörményi / Schojer Modular Programming Languages
Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40796-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Das Distributed Computing - IWDC 2003
5th International Workshop, Kolkata, India, December 27-30, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20745-0Medium: 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