Ergebnisse filtern
- Fachgebiet
- Medium
-
- 439
- Erscheinungsjahr
-
- 1
- 11
- 10
- 13
- 3
- 2
- 6
- 3
- 5
- 3
- 6
- 5
- 2
- 4
- 3
- 2
- 36
- 39
- 31
- 2
- 3
- 4
- 12
- 9
- 17
- 23
- 31
- 21
- 9
- 25
- 10
- 6
- 7
- 6
- 5
- 5
- 6
- 7
- 7
- 8
- 4
- 6
- 7
- 1
- 3
- 3
- 4
- 1
- 1
- 1
- Autoren
-
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- Verlag
-
- 438
- 1
- Preis
-
- 4
- 30
- 357
- 48
- Sprachen
-
- 439
- 2
- Verfügbarkeit
-
- 439
- Katalog
-
- 439
- 11
-
Bert / Bowen / Henson ZB 2002: Formal Specification and Development in Z and B
2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43166-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lastovetsky / Kechadi / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface
15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-87474-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dongarra / Kacsuk / Podhorszki Recent Advances in Parallel Virtual Machine and Message Passing Interface
7th European PVM/MPI Users' Group Meeting Balatonfüred, Hungary, September 10-13, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-41010-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bernardo / Padovani / Zavattaro Formal Methods for Web Services
9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01917-3Medium: Buch49,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage49,17 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Borgida / Chaudhri / Giorgini Conceptual Modeling: Foundations and Applications
Essays in Honor of John MylopoulosErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02462-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cavalcanti / Baxter The Practice of Formal Methods
Essays in Honour of Cliff Jones, Part II2024Verlag: SpringerISBN: 978-3-031-66672-8Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cavalcanti / Baxter The Practice of Formal Methods
Essays in Honour of Cliff Jones, Part I2024Verlag: SpringerISBN: 978-3-031-66675-9Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Deransart / Maluszynski Programming Language Implementation and Logic Programming
International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings1. Auflage 1990Verlag: SpringerISBN: 978-3-540-53010-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hutter / Stephan / Traverso Applied Formal Methods - FM-Trends 98
International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66462-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Grumberg / Veith 25 Years of Model Checking
History, Achievements, PerspectivesErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-69849-4Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,44 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Degano / Gorrieri / Marchetti-Spaccamela Automata, Languages and Programming
Erscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63165-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Parigot / Voronkov Logic for Programming and Automated Reasoning
7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-41285-4Medium: 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 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL)1. Auflage 1989Verlag: SpringerISBN: 978-3-540-50940-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
Brewka / Jantke / Schmitt Nonmonotonic and Inductive Logic
Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56433-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Koopman / Swierstra Advanced Functional Programming
6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised LecturesErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04651-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Glaser / Hartel / Kuchen Programming Languages: Implementations, Logics, and Programs
9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63398-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 -
Taha Domain-Specific Languages
IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03033-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Breitman / Cavalcanti Formal Methods and Software Engineering
11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-10372-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
Ohori Programming Languages and Systems
First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20536-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fülöp / Gecseg Automata, Languages and Programming
22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60084-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lohstroh / Derler / Sirjani Principles of Modeling
Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday1. Auflage 2018Verlag: SpringerISBN: 978-3-319-95245-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kucera / Potapov Reachability Problems
4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-15348-8Medium: 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