Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1311
- 29
- Erscheinungsjahr
-
- 1
- 10
- 4
- 1
- 6
- 13
- 6
- 6
- 6
- 9
- 16
- 19
- 13
- 19
- 15
- 65
- 27
- 41
- 86
- 72
- 99
- 118
- 81
- 62
- 74
- 56
- 58
- 29
- 32
- 42
- 37
- 37
- 26
- 20
- 39
- 21
- 22
- 12
- 9
- 6
- 5
- 5
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- Autoren
-
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 3
- 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
- 1
- 2
- 1
- 2
- 7
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 3
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 9
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 3
- 4
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 3
- 2
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 6
- 1
- 2
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 3
- 2
- 4
- 2
- 1
- 1
- 1
- 1
- 5
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 5
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 10
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 3
- 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
- 3
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 2
- 6
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 3
- 1
- 2
- 2
- 2
- 3
- 2
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 2
- 2
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 2
- 3
- 2
- 1
- 2
- 2
- 4
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 3
- 4
- 3
- 2
- 5
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 4
- 3
- 6
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 10
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 6
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 6
- 3
- 5
- 2
- 3
- Verlag
-
- 136
- 1
- 13
- 1
- 1
- 4
- 47
- 4
- 2
- 2
- 8
- 7
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 1
- 6
- 1
- 1
- 1
- 872
- 32
- 7
- 2
- 21
- 34
- 44
- 5
- 1
- 6
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 4
- 34
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- Preis
-
- 12
- 199
- 800
- 329
- Sprachen
-
- 1181
- 157
- 2
- Verfügbarkeit
-
- 1335
- 5
- Eigenschaften
-
- 1
- Katalog
-
- 1340
- 51
-
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 -
Larsen / Nielsen CONCUR 2001 - Concurrency Theory
12th International Conference, Aalborg, Denmark, August 20-25, 2001 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42497-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
Papazoglou OOER '95 Object-Oriented and Entity-Relationship Modeling
14th International Conference, Gold Coast, Australia, December 13 - 15, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60672-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Futatsugi / Matsuoka Object-Technologies for Advanced Software
Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996. ProceedingsErscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-60954-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gaudel / Woodcock FME '96: Industrial Benefit and Advances in Formal Methods
Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings.Erscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-60973-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jeuring / Meijer Advanced Functional Programming
First International Spring School on Advanced Functional Programming Techniques, Bastad, Sweden, May 24 - 30, 1995. Tutorial TextErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-59451-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dörr Efficient Graph Rewriting and Its Implementation
1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60055-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wiedermann / Hajek Mathematical Foundations of Computer Science 1995
20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60246-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schäfer / Botella Software Engineering - ESEC '95
5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60406-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sokolsky / Tasiran Runtime Verification
7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77394-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yorav Hardware and Software: Verification and Testing
Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-77964-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Agrawal / Seth FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science
22nd Conference Kanpur, India, December 12-14, 2002, ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-00225-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wallis Ada Software Tools Interfaces
Workshop, Bath, July 13-15, 1983. Proceedings1. Auflage 1984Verlag: SpringerISBN: 978-3-540-13878-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sherman Paragon
A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types1. Auflage 1985Verlag: SpringerISBN: 978-3-540-15212-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Carter / Ferrante Languages and Compilers for Parallel Computing
12th International Workshop, LCPC'99 La Jolla, CA, USA, August 4-6, 1999 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67858-8Medium: 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 -
Palamidessi CONCUR 2000 - Concurrency Theory
11th International Conference, University Park, PA, USA, August 22-25, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67897-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cuellar / Maibaum FM 2008: Formal Methods
15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68235-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gotzhein / Reed System Analysis and Modeling: Language Profiles
5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-68371-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Barthe Formal Methods for Open Object-Based Distributed Systems
10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68862-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Alpuente / Vidal-Oriola Static Analysis
15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings1. Auflage 2008Verlag: SpringerISBN: 978-3-540-69163-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Endler / Schmidt Middleware 2003
ACM/IFIP/USENIX International Middleware Conference, Rio de Janeiro, Brazil, June 16-20, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40317-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cousot Static Analysis
10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40325-8Medium: 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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort