Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2206
- Erscheinungsjahr
-
- 26
- 123
- 149
- 138
- 107
- 40
- 21
- 22
- 29
- 38
- 24
- 31
- 47
- 41
- 48
- 41
- 28
- 74
- 58
- 73
- 82
- 72
- 73
- 116
- 105
- 95
- 77
- 56
- 51
- 38
- 29
- 34
- 33
- 27
- 32
- 19
- 33
- 17
- 15
- 8
- 10
- 4
- 7
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 3
- 2
- 2
- 4
- 2
- 2
- 8
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 11
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 10
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 3
- 10
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 11
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 8
- 6
- 2
- 2
- 3
- 4
- 6
- 4
- 3
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 10
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 9
- 2
- 5
- 4
- 2
- 3
- 4
- 3
- 5
- 3
- 3
- 5
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 5
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 4
- 3
- 5
- 3
- 3
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 4
- 4
- 2
- 5
- 12
- 2
- 5
- 2
- 3
- 3
- 2
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 7
- 2
- 17
- 25
- 2
- 2
- 2
- 5
- 2
- 2
- 6
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 13
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 4
- 7
- 2
- 2
- 2
- 3
- 2
- 4
- 6
- 2
- 4
- 2
- 2
- 4
- 9
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 23
- 2
- 2
- 2
- 6
- 3
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 2
- 3
- 2
- 4
- 3
- 8
- 2
- 3
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 5
- 3
- 3
- 4
- 5
- 3
- 3
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 4
- 4
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 4
- 7
- 2
- 5
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 7
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 4
- 4
- 4
- 8
- 3
- 2
- 3
- 4
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 9
- 2
- 12
- 2
- 2
- 4
- 8
- 2
- 2
- 6
- 2
- 4
- 2
- 3
- 3
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 5
- 3
- 2
- 4
- 6
- 2
- 4
- 6
- 2
- 3
- 5
- 4
- 3
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 5
- 5
- 2
- 10
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 4
- 4
- 8
- 2
- 3
- 2
- 10
- 25
- 2
- 2
- 2
- 3
- 2
- 7
- 3
- 3
- 2
- 4
- 2
- 2
- 4
- 2
- 5
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 10
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 7
- 6
- 2
- 2
- 3
- 5
- 5
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 3
- 2
- 6
- 4
- 18
- 2
- 2
- 5
- 4
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 2
- 3
- 2
- 2
- 3
- 6
- 3
- 2
- 2
- 5
- 3
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 4
- 2
- 5
- 3
- 2
- 4
- 2
- 5
- 2
- 2
- 4
- 22
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 4
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 10
- 2
- 3
- 3
- 5
- 3
- 5
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 4
- 6
- 2
- 2
- 2
- 10
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 11
- 6
- 2
- 2
- 4
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 4
- 4
- 2
- 3
- 2
- 3
- 4
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 10
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 13
- 16
- 3
- 9
- 3
- 3
- 6
- 6
- 3
- 36
- 3
- 3
- 6
- 4
- 4
- 6
- 4
- 4
- 4
- 3
- 4
- 5
- 6
- 11
- 21
- 3
- 3
- 5
- 3
- 4
- 5
- 3
- 3
- 3
- 11
- 3
- 5
- 3
- 4
- 4
- 4
- 3
- 3
- 3
- 5
- 4
- 5
- 3
- 6
- 3
- 8
- 3
- 3
- 5
- 3
- 6
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 11
- 8
- 6
- 3
- 3
- 4
- 7
- 3
- 3
- 5
- 4
- 4
- 7
- 3
- 3
- 7
- 5
- 4
- 6
- 4
- 5
- 6
- 4
- 4
- 16
- 10
- 3
- 3
- 4
- 4
- Verlag
-
- 1
- 2190
- 1
- 7
- 2
- 5
- Preis
-
- 4
- 106
- 1756
- 340
- Sprachen
-
- 2206
- Verfügbarkeit
-
- 2162
- 44
- Katalog
-
- 2206
- 133
-
Xiao / Yang / Muller-Schloer Autonomic and Trusted Computing
4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73546-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bertrand / Dubslaff / Klüppelholz Principles of Formal Quantitative Analysis
Essays Dedicated to Christel Baier on the Occasion of Her 60th BirthdayErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-97438-0Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage79,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pacholski / Ruzicka SOFSEM 2001: Theory and Practice of Informatics
28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42912-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Diaz / Orejas TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989
Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89)1. Auflage 1989Verlag: SpringerISBN: 978-3-540-50939-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aït-Ameur / Craciun Theoretical Aspects of Software Engineering
16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-10362-9Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Baldoni / Son / van Riemsdijk Declarative Agent Languages and Technologies V
5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-77563-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gonthier / Norrish Certified Programs and Proofs
Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-03544-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Corradini / Ehrig / Montanari Graph Transformations
Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-38870-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ehrig / Engels / Parisi-Presicce Graph Transformations
Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23207-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kuznetsov / Schmidt Formal Concept Analysis
5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-70828-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hertzberger / Hoekstra / Williams High-Performance Computing and Networking
9th International Conference, HPCN Europe 2001, Amsterdam, The Netherlands, June 25-27, 2001, Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42293-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wing / Woodcook / Davies FM'99 - Formal Methods
World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume IIErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66588-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Heisel Software Service and Application Engineering
Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday1. Auflage 2012Verlag: SpringerISBN: 978-3-642-30834-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Müller / Wooldridge / Jennings Intelligent Agents III. Agent Theories, Architectures, and Languages
ECAI'96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62507-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
ter Beek / Gnesi / Haxthausen Journeys Between Formal Methods and the Railway Industry
Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th BirthdayErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-12483-8Medium: Buch104,85 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage104,85 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Reps / Sagiv / Bauer Program Analysis and Compilation, Theory and Practice
Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th BirthdayErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71315-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Maneth Implementation and Application of Automata
14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02978-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ciancarini / Wolf Coordination Languages and Models
Third International Conference, COORDINATION'99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-65836-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Henzinger / Kirsch Embedded Software
First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42673-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Vene / Uustalu Advanced Functional Programming
5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28540-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aiswarya / Sen / Srivastava Logic and Its Applications
11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-89609-5Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sloot / Bubak / Hoekstra High-Performance Computing and Networking
7th International Conference, HPCN Europe 1999 Amsterdam, The Netherlands, April 12-14, 1999 ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-65821-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hartisch / Hsueh / Schaeffer Computers and Games
12th International Conference, CG 2024, Virtual Event, November 25-29, 2024, Revised Selected PapersErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-86584-8Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Abdallah / Ryan / Schneider Formal Aspects of Security
First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20693-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Diaz / Karhumäki / Lepistö Automata, Languages and Programming
Proceedings of the 31st International Colloquium, ICALP 20042004. 2004Verlag: Springer-Verlag GmbHISBN: 978-3-540-22849-3Medium: Buch181,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage181,89 € (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