Ergebnisse filtern
- Fachgebiet
- Medium
-
- 3090
- 318
- 3
- 1
- Erscheinungsjahr
-
- 5
- 11
- 106
- 127
- 107
- 83
- 83
- 108
- 124
- 26
- 38
- 29
- 34
- 19
- 23
- 19
- 122
- 75
- 146
- 301
- 297
- 211
- 104
- 133
- 84
- 112
- 85
- 85
- 84
- 79
- 80
- 68
- 65
- 59
- 41
- 65
- 33
- 34
- 26
- 20
- 16
- 7
- 4
- 1
- 5
- 11
- 4
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- Autoren
-
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 43
- 13
- 2
- 2
- 2
- 2
- 13
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 11
- 2
- 2
- 3
- 6
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 17
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 3
- 2
- 2
- 2
- 7
- 3
- 2
- 3
- 10
- 13
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 7
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 5
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 24
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 5
- 2
- 5
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 3
- 3
- 8
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 4
- 2
- 13
- 4
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 5
- 2
- 2
- 3
- 6
- 2
- 2
- 3
- 3
- 4
- 3
- 4
- 2
- 3
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 6
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 6
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 4
- 3
- 4
- 5
- 2
- 2
- 2
- 4
- 3
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 4
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 6
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 7
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 4
- 4
- 5
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 4
- 2
- 3
- 5
- 3
- 2
- 2
- 7
- 2
- 2
- 2
- 5
- 6
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 4
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 2
- 3
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 4
- 4
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 6
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 5
- 3
- 3
- 7
- 2
- 3
- 4
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 4
- 3
- 3
- 6
- 4
- 3
- 4
- 4
- 3
- 4
- 3
- 9
- 3
- 3
- 3
- 5
- 3
- 3
- 4
- 4
- 5
- 3
- 3
- 5
- 4
- 3
- 3
- 6
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 3
- 3
- 4
- 5
- 4
- 9
- 8
- 3
- 3
- 3
- 5
- 3
- 8
- 4
- 6
- 6
- 3
- 4
- 29
- 11
- 3
- 4
- 9
- 3
- 4
- 3
- 3
- 3
- 3
- 5
- 4
- 4
- 3
- 6
- 4
- 4
- 3
- 3
- 3
- 4
- 3
- 4
- 4
- 3
- 3
- 6
- 6
- 5
- 7
- 5
- 4
- 3
- 5
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 8
- 3
- 3
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 6
- 16
- 3
- 4
- 4
- 3
- 13
- 4
- 5
- 3
- 3
- 7
- 3
- 4
- 4
- 15
- 5
- 4
- 3
- 3
- 4
- 10
- 3
- 3
- 5
- 8
- 3
- 3
- 6
- 3
- 5
- 3
- 5
- 6
- 4
- 6
- 4
- 6
- 6
- 3
- 3
- 5
- 3
- 4
- Verlag
-
- 2
- 1
- 1
- 267
- 4
- 1
- 1
- 4
- 1
- 5
- 10
- 17
- 21
- 1
- 26
- 338
- 1
- 4
- 1
- 1
- 3
- 2
- 10
- 1
- 1
- 4
- 5
- 1
- 7
- 2
- 5
- 1
- 13
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 6
- 3
- 3
- 2
- 613
- 1584
- 79
- 3
- 1
- 2
- 30
- 25
- 15
- 14
- 47
- 10
- 22
- 2
- 4
- 1
- 82
- 26
- 2
- 1
- 21
- 29
- 4
- 2
- 1
- 1
- Preis
-
- 99
- 490
- 2024
- 799
- Sprachen
-
- 3176
- 233
- 8
- Verfügbarkeit
-
- 3370
- 42
- Eigenschaften
-
- 4
- Katalog
-
- 3412
- 167
-
Salomaa / Lepistö Automata, Languages and Programming
15th International Colloquium, Tampere, Finland, July 11-15, 1988. Proceedings1988Verlag: Springer Berlin HeidelbergISBN: 978-3-540-19488-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Morvan / Bouchitte Orders, Algorithms and Applications
International Workshop ORDAL '94, Lyon, France, July 4-8, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58274-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rossi / Montanari Principles and Practice of Constraint Programming - CP '95
First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60299-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Shamir / Abiteboul Automata, Languages, and Programming
21st International Colloquium, ICALP '94, Jerusalem, Israel, July 11-14, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58201-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hailpern Verifying Concurrent Processes Using Temporal Logic
1982Verlag: Springer Berlin HeidelbergISBN: 978-3-540-11205-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Voronkov / Vardi Logic for Programming, Artificial Intelligence, and Reasoning
10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20101-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wellings / Vardanega Reliable Software Technology ¿ Ada-Europe 2005
10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-26286-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Niemelä / Lifschitz Logic Programming and Nonmonotonic Reasoning
7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20721-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Preparata / Yin / Wu Frontiers in Algorithmics
Second International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-69310-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Voronkov / Hermann Logic for Programming, Artificial Intelligence, and Reasoning
13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-48281-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Reps / Bauer / Sagiv Program Analysis and Compilation, Theory and Practice
Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71315-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Black ECOOP 2005 - Object-Oriented Programming
19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-27992-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Eriksson / Schroeder-Heister / Hallnäs Extensions of Logic Programming
Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55498-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kranakis / Clote Boolean Functions and Computation Models
1. Auflage. Softcover version of original hardcover Auflage 2002Verlag: SpringerISBN: 978-3-642-08217-7Medium: Buch80,20 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,20 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pingali / Banerjee / Padua Languages and Compilers for Parallel Computing
7th International Workshop, Ithaca, NY, USA, August 8 - 10, 1994. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58868-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zhou / Gong / Zhao Analysis and Modeling of Faces and Gestures
Third International Workshop, AMFG 2007 Rio de Janeiro, Brazil, October 20, 2007 Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-75689-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dassow / Kelemen Machines, Languages, and Complexity
5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988. Selected Contributions1989Verlag: SpringerISBN: 978-3-540-51516-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Matsumoto / Zhang / Sproat Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead
21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-49667-0Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage128,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Havelund / Palsberg / Majumdar Model Checking Software
15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-85113-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Paulson Isabelle
A Generic Theorem Prover1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58244-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rosolini / Moggi Category Theory and Computer Science
7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63455-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zhou / Deng / Bao Information Security
8th International Conference, ISC 2005, Singapore, September 20-23, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-29001-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Campilho / Kamel Image Analysis and Recognition
4th International Conference, ICIAR 2007, Montreal, Canada, August 22-24, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-74258-6Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Yagi / Zha / Kang Computer Vision - ACCV 2007
8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part II2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-76389-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nielson / Kaklamanis Trustworthy Global Computing
4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers2009Verlag: SpringerISBN: 978-3-642-00944-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort