Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2268
- 6
- Erscheinungsjahr
-
- 1
- 2
- 3
- 3
- 8
- 1
- 1
- 4
- 3
- 6
- 9
- 26
- 10
- 15
- 12
- 174
- 62
- 119
- 206
- 172
- 199
- 175
- 172
- 138
- 119
- 97
- 82
- 71
- 50
- 64
- 49
- 41
- 44
- 20
- 39
- 25
- 18
- 9
- 9
- 4
- 2
- 3
- 3
- 2
- 1
- Autoren
-
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 6
- 3
- 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
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 9
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 6
- 2
- 2
- 2
- 2
- 2
- 13
- 2
- 2
- 2
- 2
- 6
- 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
- 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
- 2
- 5
- 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
- 3
- 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
- 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
- 3
- 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
- 3
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 9
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 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
- 2
- 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
- 5
- 5
- 2
- 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
- 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
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 11
- 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
- 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
- 6
- 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
- 16
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 5
- 5
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 12
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 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
- 5
- 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
- 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
- 2
- 2
- 2
- 4
- 2
- 2
- 13
- 6
- 4
- 3
- 4
- 3
- 4
- Verlag
-
- 2
- 104
- 2
- 17
- 4
- 2
- 4
- 8
- 3
- 2
- 1
- 5
- 2
- 1
- 1
- 2
- 6
- 1
- 2
- 1
- 1
- 2
- 3
- 4
- 1
- 2
- 2
- 1
- 5
- 1811
- 24
- 1
- 1
- 1
- 24
- 83
- 56
- 1
- 18
- 4
- 1
- 18
- 29
- 2
- 5
- 1
- 1
- 2
- Preis
-
- 16
- 142
- 1374
- 742
- Sprachen
-
- 2144
- 130
- 1
- Verfügbarkeit
-
- 2259
- 15
- Katalog
-
- 2274
- 276
-
Etessami / Rajamani Computer Aided Verification
17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-27231-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Beigl / Lukowicz Systems Aspects in Organic and Pervasive Computing - ARCS 2005
18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25273-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Halbwachs / Zuck Tools and Algorithms for the Construction and Analysis of Systems
11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25333-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ganter / Godin Formal Concept Analysis
Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-24525-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hermenegildo / Cabeza Practical Aspects of Declarative Languages
7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-24362-5Medium: 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 -
Larsen / Niebert Formal Modeling and Analysis of Timed Systems
First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-21671-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hutter / Müller / Stephan Security in Pervasive Computing
First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-20887-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Stefani / Demeure / Hagimont Distributed Applications and Interoperable Systems
4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20529-6Medium: 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 -
Sagiv Programming Languages and Systems
14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25435-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Black ECOOP 2005 - Object-Oriented Programming
19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-27992-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nieuwenhuis Automated Deduction - CADE-20
20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28005-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Li / Wang / Dong Advanced Data Mining and Applications
First International Conference, ADMA 2005, Wuhan, China, July 22-24, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-27894-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gauthier Ada-Europe '93
12th Ada-Europe International Conference, "Ada Sans Frontieres", Paris, France, June 14-18, 1993. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56802-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Katwijk Ada: Moving Towards 2000
11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55585-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Uyar / Duale / Fecko Testing of Communicating Systems
18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34184-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bravetti / Núñez / Zavattaro Web Services and Formal Methods
Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-38862-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Penkler / Reitenspiess / Tam Service Availability
Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-68724-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Deimel Software Engineering Education
SEI Conference 1990, Pittsburgh, Pennsylvania, USA, April 2-3, 1990. Proceedings1. Auflage 1990Verlag: SpringerISBN: 978-0-387-97274-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bonsangue / Johnsen Formal Methods for Open Object-Based Distributed Systems
9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72919-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Comon-Lundh / Kirchner Rewriting, Computation and Proof
Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th BirthdayErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73146-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Stephanidis Universal Acess in Human Computer Interaction. Coping with Diversity
Coping with Diversity, 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCi International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73278-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hermann / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-48281-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chaudhuri / Das / Paul Distributed Computing and Networking
8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-68139-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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