Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2112
- Erscheinungsjahr
-
- 50
- 149
- 137
- 111
- 39
- 17
- 26
- 32
- 28
- 27
- 48
- 42
- 32
- 55
- 42
- 38
- 75
- 57
- 62
- 81
- 73
- 61
- 119
- 105
- 95
- 78
- 59
- 51
- 40
- 29
- 36
- 34
- 27
- 31
- 19
- 31
- 17
- 15
- 8
- 10
- 4
- 7
- 4
- 3
- 2
- 1
- 3
- 1
- 1
- Autoren
-
- 2
- 2
- 6
- 2
- 2
- 4
- 3
- 7
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 10
- 4
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 4
- 10
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 10
- 5
- 2
- 2
- 2
- 2
- 10
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 5
- 2
- 2
- 2
- 7
- 6
- 2
- 2
- 2
- 2
- 2
- 5
- 6
- 4
- 3
- 2
- 4
- 2
- 3
- 3
- 3
- 2
- 3
- 12
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 8
- 2
- 6
- 3
- 2
- 4
- 3
- 2
- 3
- 3
- 5
- 4
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 3
- 5
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 3
- 6
- 3
- 3
- 3
- 2
- 3
- 12
- 5
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 15
- 25
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 13
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 7
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 6
- 3
- 2
- 3
- 3
- 2
- 8
- 4
- 3
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 21
- 2
- 3
- 3
- 6
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 3
- 5
- 2
- 3
- 5
- 3
- 2
- 6
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 3
- 8
- 2
- 2
- 3
- 4
- 3
- 2
- 4
- 3
- 4
- 6
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 3
- 6
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 4
- 6
- 6
- 5
- 2
- 5
- 4
- 5
- 2
- 3
- 2
- 2
- 5
- 2
- 4
- 2
- 7
- 2
- 12
- 2
- 2
- 3
- 6
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 6
- 4
- 2
- 2
- 3
- 4
- 6
- 2
- 3
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 6
- 7
- 6
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 4
- 2
- 2
- 5
- 3
- 12
- 24
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 9
- 2
- 3
- 4
- 5
- 2
- 2
- 2
- 5
- 5
- 6
- 2
- 3
- 6
- 2
- 2
- 5
- 4
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 5
- 3
- 16
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 5
- 4
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 6
- 2
- 2
- 4
- 6
- 2
- 2
- 4
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 4
- 9
- 2
- 2
- 2
- 3
- 6
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 8
- 22
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 4
- 5
- 2
- 3
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 2
- 2
- 2
- 8
- 3
- 2
- 6
- 2
- 5
- 2
- 2
- 2
- 4
- 3
- 2
- 6
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 11
- 9
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 11
- 5
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 4
- 4
- 2
- 2
- 4
- 3
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 4
- 2
- 13
- 15
- 2
- 3
- 3
- 9
- 3
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 34
- 3
- 5
- 4
- 6
- 2
- 2
- 4
- 3
- 3
- 6
- 2
- 4
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 4
- 2
- 9
- 2
- 2
- 2
- 17
- 3
- 2
- 2
- 2
- 2
- 3
- 7
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 9
- 2
- 4
- 2
- 2
- 4
- 4
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 5
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 3
- 8
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 6
- 3
- 7
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 3
- 4
- 11
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 7
- 3
- 3
- 4
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 3
- 5
- 5
- 6
- 5
- 6
- 4
- 5
- 3
- 4
- 7
- 4
- 17
- 4
- 10
- 4
- 3
- 3
- 5
- Verlag
-
- 2104
- 1
- 7
- Preis
-
- 4
- 89
- 1686
- 333
- Sprachen
-
- 2112
- Verfügbarkeit
-
- 2111
- 1
- Eigenschaften
-
- 3
- Katalog
-
- 2112
- 134
-
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 -
Hlavac / Jeffery / Wiedermann SOFSEM 2000: Theory and Practice of Informatics
27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 - December 2, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-41348-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wing / Woodcook / Davies FM'99 - Formal Methods
World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66587-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Prehn / Toetenel VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
Volume 2: Tutorials1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54868-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wolff / Gaudel / Feliachi Unifying Theories of Programming
4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-35704-6Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,22 € (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 -
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 -
Takada / Marutschke / Alvarez Collaboration Technologies and Social Computing
29th International Conference, CollabTech 2023, Osaka, Japan, August 29-September 1, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-42140-2Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Velde / Perram Agents Breaking Away
7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96, Eindhoven, The Netherlands, January 22 - 25, 1996. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-60852-3Medium: 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 -
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 -
Bugliesi / Preneel / Sassone Automata, Languages and Programming
33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35904-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lopez-Garcia / Gallagher / Giacobazzi Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday1. Auflage 2023Verlag: SpringerISBN: 978-3-031-31475-9Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage139,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Aceto / Bacci / Ingólfsdóttir Models, Algorithms, Logics and Tools
Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday1. Auflage 2017Verlag: SpringerISBN: 978-3-319-63120-2Medium: 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 -
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 -
Corradini / Ehrig / Kreowski Graph Transformation
First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-44310-0Medium: 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 -
Fitch Design and Implementation of Symbolic Computation Systems
International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57272-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Das / Gulati Intelligent Information Technology
7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-24126-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
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 -
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 -
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 -
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort