Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2206
- Erscheinungsjahr
-
- 26
- 124
- 149
- 138
- 107
- 40
- 21
- 22
- 30
- 36
- 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
- 9
- 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
- 11
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 9
- 2
- 5
- 4
- 2
- 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
- 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
- 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
- 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
- 2
- 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
- 3
- 7
- 2
- 5
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 4
- 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
- 3
- 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
- 8
- 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
- 23
- 2
- 2
- 2
- 3
- 2
- 7
- 3
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 5
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 10
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 7
- 6
- 2
- 2
- 3
- 5
- 5
- 3
- 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
- 4
- 3
- 4
- 3
- 2
- 3
- 2
- 2
- 6
- 3
- 2
- 2
- 5
- 2
- 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
- 4
- 5
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 4
- 3
- 3
- 4
- 2
- 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
- 5
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 4
- 4
- 2
- 3
- 2
- 3
- 4
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 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
- 34
- 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
- 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
- 3
- 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
- Eigenschaften
-
- 2
- Katalog
-
- 2206
- 133
-
Dean / Boute Teaching Formal Methods
CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23611-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Melnik Generic Model Management
Concepts and AlgorithmsSoftcover Nachdruck of the original 1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21980-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Missaoui / Schmid Formal Concept Analysis
4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-32203-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hussmann Fundamental Approaches to Software Engineering
4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-41863-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Batory / Consel / Taha Generative Programming and Component Engineering
ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. ProceedingsErscheinungsjahr 2002Verlag: SpringerMedium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nierstrasz / Whittle / Harel Model Driven Engineering Languages and Systems
9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45772-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Graf / Zhang Automated Technology for Verification and Analysis
4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-47237-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Richardson / Runeson / Messnarz Software Process Improvement
13th European Conference, EuroSpi 2006, Joensuu, Finland, October 11-13, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-47695-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
Zwiers Compositionality, Concurrency, and Partial Correctness
Proof Theories for Networks of Processes, and Their Relationship1. Auflage 1989Verlag: SpringerISBN: 978-3-540-50845-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rashid / Aksit Transactions on Aspect-Oriented Software Development II
Focus: AOP Systems, Software and Middleware1. Auflage 2006Verlag: SpringerISBN: 978-3-540-48890-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kreczmar / Salwicki / Warpechowski LOGLAN '88 - Report on the Programming Language
Erscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-52325-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kirchner / Wechler Algebraic and Logic Programming
Second International Conference, Nancy, France, October 1-3, 1990. ProceedingsErscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-53162-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sifakis Automatic Verification Methods for Finite State Systems
International Workshop, Grenoble, France. June 12-14, 1989. ProceedingsErscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-52148-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Plümer Termination Proofs for Logic Programs
Erscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-52837-1Medium: 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 -
Bowen / Fett / Hinchey ZUM '98: The Z Formal Specification Notation
11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings1. Auflage 1998Verlag: SpringerISBN: 978-3-540-65070-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Haeberer Algebraic Methodology and Software Technology
7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65462-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
America ECOOP '91 European Conference on Object-Oriented Programming
Geneva, Switzerland, July 15-19, 1991. ProceedingsErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54262-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Amestoy / Berger / Dayde Euro-Par' 99 Parallel Processing
5th International Euro-Par Conference Toulouse, France, August 31-September 3, 1999 ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66443-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nierstrasz / Lemoine Software Engineering - ESEC/FSE '99
7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66538-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Swierstra Programming Languages and Systems
8th European Symposium on Programming, ESOP'99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-65699-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gutknecht / Weck Modular Programming Languages
Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67958-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Madria / Claypool / Kannan Distributed Computing and Internet Technology
Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 20061. Auflage 2006Verlag: SpringerISBN: 978-3-540-68379-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Backhouse / Nuno Oliveira Mathematics of Program Construction
5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67727-7Medium: 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