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
-
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 -
Matsuno / Liu / Yin Intelligent Robotics and Applications
18th International Conference, ICIRA 2025, Okayama, Japan, August 6-9, 2025, Proceedings, Part IIIErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-952100-5Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage87,73 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
The Munich Project CIP
Volume I: The Wide Spectrum Language CIP-L1. Auflage 1985Verlag: SpringerISBN: 978-3-540-15187-6Medium: Buch32,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage32,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sembok / Zaman / Chen Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access
6th International Conference on Asian Digital Libraries, ICADL 2003, Kuala Lumpur, Malaysia, December 8-12, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20608-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baeten / Lenstra / Parrow Automata, Languages and Programming
30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. ProceedingsErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-40493-4Medium: 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: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ågotnes / Doder Logic and Argumentation
6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-967955-3Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leavens / Chiba / Tanter Transactions on Aspect-Oriented Software Development X
1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36963-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ernst / Rozier Model Checking Software
31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7-8, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-06846-0Medium: Buch48,14 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage48,14 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jazayeri / Schauer Software Engineering - ESEC-FSE '97
6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Zürich, Switzerland, September 22-25, 1997. ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63531-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Astesiano Fundamental Approaches to Software Engineering
First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64303-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jähnichen Compiler Construction
8th International Conference, CC'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-65717-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