Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1940
- 257
- 3
- 1
- Erscheinungsjahr
-
- 1
- 23
- 116
- 251
- 173
- 106
- 110
- 104
- 75
- 91
- 46
- 60
- 54
- 45
- 96
- 148
- 39
- 85
- 29
- 26
- 29
- 23
- 25
- 28
- 25
- 25
- 38
- 23
- 23
- 28
- 33
- 24
- 22
- 23
- 10
- 14
- 9
- 21
- 23
- 11
- 17
- 8
- 7
- 2
- 2
- 5
- 4
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 1
- 1
- Autoren
-
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 4
- 5
- 3
- 4
- 9
- 2
- 2
- 5
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 6
- 3
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 10
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 13
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 7
- 9
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 22
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 8
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 2
- 5
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 13
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 11
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 4
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 5
- 2
- 4
- 6
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 13
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 3
- 2
- 2
- 13
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 9
- 2
- 2
- 6
- 4
- 2
- 2
- 4
- 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
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 11
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 4
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 4
- 3
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 6
- 6
- 3
- 5
- 3
- 3
- 4
- 3
- 6
- 4
- 3
- 4
- 5
- 7
- 5
- 9
- 7
- 4
- 3
- 4
- 3
- 4
- 3
- 4
- 3
- 8
- 5
- 4
- 4
- 3
- 3
- 4
- 3
- 8
- 3
- 3
- 6
- 3
- 5
- 6
- 5
- 13
- 14
- 3
- 3
- 4
- 3
- 6
- 3
- 4
- 3
- 3
- 8
- 11
- 4
- 3
- 4
- 3
- 6
- 6
- 3
- 4
- 3
- 5
- 4
- 5
- 3
- 4
- 13
- 5
- 4
- 13
- 6
- 5
- 4
- 4
- 3
- 5
- 3
- 6
- Verlag
-
- 4
- 1
- 3
- 5
- 7
- 19
- 4
- 2
- 2
- 28
- 1
- 1
- 2
- 43
- 1
- 133
- 242
- 1
- 2
- 2
- 26
- 12
- 1
- 6
- 1
- 1
- 1
- 1
- 2
- 6
- 3
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 6
- 1
- 7
- 1
- 5
- 1
- 1
- 1
- 3
- 1
- 9
- 16
- 1
- 1067
- 16
- 159
- 1
- 22
- 6
- 14
- 45
- 77
- 1
- 1
- 56
- 7
- 21
- 1
- 2
- 14
- 1
- 43
- 2
- 15
- Preis
-
- 29
- 249
- 921
- 1002
- Sprachen
-
- 2068
- 136
- 1
- Verfügbarkeit
-
- 2174
- 27
- Katalog
-
- 2201
- 116
-
Majumdar / Tabuada Hybrid Systems: Computation and Control
12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00601-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Stenström / Whalley Transactions on High-Performance Embedded Architectures and Compilers II
1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00903-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bouajjani / Maler Computer Aided Verification
21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02657-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brauer / Ehrig / Karhumäki Formal and Natural Computing
Essays Dedicated to Grzegorz Rozenberg1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43190-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Callaghan / Luo / McKinna Types for Proofs and Programs
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected PapersErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43287-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lee Grid Computing - GRID 2001
Second International Workshop, Denver, CO, USA, November 12, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42949-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hornby / Sekanina / Haddow Evolvable Systems: From Biology to Hardware
8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85856-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Roller / Benkert / Galle High Performance Computing on Vector Systems 2008
2009Verlag: SpringerISBN: 978-3-540-85868-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sloman / Lobo / Lupu Policies for Distributed Systems and Networks
International Workshop, POLICY 2001 Bristol, UK, January 29-31, 2001 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-41610-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Herlihy Distributed Computing
14th International Conference, DISC 2000 Toledo, Spain, October 4-6, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-41143-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Anderson / Prencipe / Wattenhofer Principles of Distributed Systems
9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Paper1. Auflage 2006Verlag: SpringerISBN: 978-3-540-36321-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Shokin / Danaev / Orunkhanov Advances in High Performance Computing and Computational Sciences
The 1st Kazakh-German Advanced Research Workshop, Almaty, Kazakhstan, September 25 to October 1, 20051. Auflage 2006Verlag: SpringerISBN: 978-3-540-33864-2Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yu / Paun Implementation and Application of Automata
5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised PapersErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42491-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Montello Spatial Information Theory: Foundations of Geographic Information Science
International Conference, COSIT 2001 Morro Bay, CA, USA, September 19-23, 2001 Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42613-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Galmiche Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62920-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Raymond / Wood / Yu Automata Implementation
First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised PapersErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63174-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Broy Informatik Eine grundlegende Einführung
Band 1: Programmierung und Rechnerstrukturen2. Auflage 1998Verlag: SpringerISBN: 978-3-540-63234-4Medium: Buch37,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gunter / Felty Theorem Proving in Higher Order Logics
10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63379-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hentenryck Static Analysis
4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63468-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dix / Moniz Pereira / Przymusinski Non-Monotonic Extensions of Logic Programming
Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected PapersErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62843-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lecomte / Lamarche / Perrier Logical Aspects of Computational Linguistics
Second International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected PapersErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-65751-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lemos / Gacek / Romanovsky Architecting Dependable Systems III
1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28968-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Monien / Ottmann Data Structures and Efficient Algorithms
Final Report on the DFG Special Joint InitiativeErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55488-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Herzog / Rollinger Text Understanding in LILOG
Integrating Computational Linguistics and Artificial Intelligence. Final Report on the IBM Germany LILOG-Project1. Auflage 1991Verlag: SpringerISBN: 978-3-540-54594-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Alferes / Moniz Pereira Reasoning with Logic Programming
Erscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61488-3Medium: 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