Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2276
- 6
- Erscheinungsjahr
-
- 1
- 2
- 3
- 3
- 8
- 1
- 1
- 4
- 3
- 6
- 9
- 26
- 10
- 16
- 12
- 174
- 63
- 119
- 205
- 173
- 200
- 175
- 172
- 140
- 117
- 97
- 81
- 74
- 50
- 65
- 49
- 42
- 44
- 20
- 40
- 25
- 18
- 9
- 9
- 4
- 2
- 3
- 3
- 2
- 1
- Autoren
-
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 6
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 9
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 7
- 2
- 2
- 2
- 2
- 2
- 13
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 4
- 2
- 4
- 4
- 2
- 4
- 2
- 3
- 8
- 2
- 2
- 2
- 5
- 3
- 4
- 2
- 14
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 3
- 5
- 2
- 3
- 2
- 6
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 5
- 5
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 3
- 2
- 6
- 2
- 4
- 2
- 3
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 4
- 2
- 2
- 2
- 2
- 5
- 18
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 9
- 3
- 8
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 9
- 5
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 9
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 2
- 5
- 5
- 4
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 4
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 6
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 6
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 12
- 2
- 2
- 6
- 2
- 3
- 2
- 4
- 3
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 9
- 2
- 5
- 6
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 3
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 4
- 6
- 2
- 3
- 2
- 6
- 3
- 5
- 6
- 2
- 6
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 12
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 12
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 6
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 5
- 5
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 7
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 4
- 8
- 2
- 2
- 2
- 4
- 2
- 3
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 7
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 11
- 2
- 2
- 2
- 2
- 5
- 4
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 5
- 6
- 4
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 9
- 4
- 4
- 13
- 6
- 4
- 3
- 4
- 3
- 4
- Verlag
-
- 2
- 103
- 1
- 1
- 1
- 18
- 3
- 2
- 4
- 7
- 3
- 1
- 4
- 1
- 5
- 3
- 1
- 2
- 2
- 5
- 1
- 2
- 1
- 1
- 2
- 3
- 4
- 1
- 1
- 3
- 1
- 1
- 5
- 1732
- 79
- 1
- 1
- 2
- 32
- 86
- 69
- 4
- 19
- 4
- 1
- 18
- 31
- 2
- 2
- 1
- 1
- 2
- Preis
-
- 16
- 145
- 1381
- 740
- Sprachen
-
- 2152
- 130
- 1
- Verfügbarkeit
-
- 2272
- 10
- Katalog
-
- 2282
- 276
-
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 -
Parisi-Presicce Recent Trends in Algebraic Development Techniques
12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected PapersErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64299-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schryen Anti-Spam Measures
Analysis and Design2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71748-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Orejas / Spirakis / Leeuwen Automata, Languages and Programming
28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42287-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kagström / Dongarra / Elmroth Applied Parallel Computing. Large Scale Scientific and Industrial Problems
4th International Workshop, PARA'98, Umea, Sweden, June 14-17, 1998, Proceedings1. Auflage 1998Verlag: SpringerISBN: 978-3-540-65414-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
Malek / Reitenspieß / Kaiser Service Availability
First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-24420-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hinchey / Rash / Truszkowski Formal Approaches to Agent-Based Systems
Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-24422-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
Dori Object-Process Methodology
A Holistic Systems Paradigm1. Auflage 2002Verlag: SpringerISBN: 978-3-540-65471-1Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rasmussen / Zunde Empirical Foundations of Information and Software Science III
1987. Auflage 1987Verlag: Springer UsISBN: 978-0-306-42585-1Medium: Buch95,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen95,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Elleithy Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering
2008. Auflage 2008Verlag: SpringerISBN: 978-1-4020-8734-9Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen213,99 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Kitano RoboCup-97: Robot Soccer World Cup I
1. Auflage 1998Verlag: SpringerISBN: 978-3-540-64473-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hopkins / Antony Bluetooth For Java
1. Auflage 2003Verlag: ApressISBN: 978-1-59059-078-2Medium: Buch46,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage46,00 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leong / Lee / Li Mobile Data Access
First International Conference, MDA'99, Hong Kong, China, December 16-17, 1999 ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66878-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hierons / Bowen / Harman Formal Methods and Testing
An Outcome of the FORTEST Network. Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-78916-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fitzgerald / Hayes FM 2005: Formal Methods
International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-27882-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Berghammer / Möller / Struth Relational and Kleene-Algebraic Methods in Computer Science
7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22145-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
de Boer / Bonsangue / Graf Formal Methods for Components and Objects
5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures1. Auflage 2007Verlag: SpringerISBN: 978-3-540-74791-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Löwe / Südholt Software Composition
5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37657-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Saeed / Pejas Information Processing and Security Systems
2005Verlag: SpringerISBN: 978-1-4614-9810-0Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Stillman / Takayama / Verschelde Software for Algebraic Geometry
Erscheinungsjahr 2008Verlag: SpringerISBN: 978-0-387-78132-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
Ehrig / Reisig / Rozenberg Petri Net Technology for Communication-Based Systems
Advances in Petri Nets1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20538-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Staunstrup Program Specification
Proceedings of a Workshop Aarhus, Denmark, August 19811. Auflage 1982Verlag: SpringerISBN: 978-3-540-11490-1Medium: 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