Ergebnisse filtern
- Fachgebiet
- Medium
-
- 3130
- 316
- 3
- 1
- Erscheinungsjahr
-
- 1
- 14
- 46
- 114
- 105
- 79
- 81
- 92
- 112
- 127
- 31
- 41
- 31
- 33
- 20
- 24
- 21
- 122
- 76
- 148
- 301
- 297
- 211
- 104
- 133
- 84
- 112
- 85
- 86
- 85
- 79
- 80
- 68
- 67
- 60
- 41
- 65
- 33
- 34
- 26
- 20
- 16
- 7
- 4
- 1
- 5
- 11
- 4
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- Autoren
-
- 4
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 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
- 4
- 2
- 2
- 2
- 3
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 14
- 7
- 2
- 2
- 2
- 2
- 2
- 13
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 11
- 2
- 2
- 3
- 2
- 6
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 17
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 3
- 2
- 2
- 2
- 7
- 3
- 2
- 3
- 10
- 22
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 4
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 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
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 3
- 2
- 3
- 3
- 8
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 4
- 2
- 13
- 7
- 2
- 6
- 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
- 4
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 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
- 3
- 2
- 2
- 2
- 5
- 6
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 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
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 6
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 5
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 7
- 2
- 7
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 4
- 4
- 10
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 4
- 2
- 3
- 5
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 5
- 6
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 4
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 6
- 3
- 2
- 3
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 6
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 4
- 5
- 3
- 3
- 7
- 3
- 4
- 3
- 4
- 5
- 5
- 3
- 4
- 4
- 5
- 5
- 5
- 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
- 5
- 3
- 8
- 4
- 6
- 6
- 4
- 4
- 29
- 11
- 3
- 4
- 9
- 3
- 4
- 3
- 3
- 3
- 3
- 5
- 4
- 4
- 3
- 6
- 4
- 4
- 3
- 3
- 4
- 3
- 3
- 4
- 4
- 3
- 3
- 6
- 6
- 5
- 7
- 5
- 4
- 3
- 5
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 8
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 6
- 3
- 4
- 4
- 3
- 13
- 4
- 5
- 3
- 3
- 7
- 3
- 4
- 5
- 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
- 2
- 1
- 1
- 273
- 2
- 2
- 1
- 7
- 1
- 1
- 4
- 11
- 16
- 65
- 1
- 28
- 331
- 1
- 1
- 6
- 4
- 1
- 1
- 3
- 2
- 8
- 2
- 4
- 3
- 1
- 1
- 3
- 3
- 1
- 14
- 2
- 1
- 22
- 3
- 1
- 1
- 1
- 4
- 1
- 11
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 5
- 4
- 6
- 1
- 1
- 2221
- 97
- 15
- 1
- 2
- 19
- 10
- 13
- 14
- 34
- 6
- 20
- 2
- 19
- 1
- 31
- 2
- 1
- 20
- 32
- 1
- 3
- 3
- 1
- 1
- Preis
-
- 93
- 495
- 2027
- 835
- Sprachen
-
- 3212
- 235
- 7
- 1
- Verfügbarkeit
-
- 3411
- 39
- Eigenschaften
-
- 1
- Katalog
-
- 3450
- 181
-
Snyers / Thayse From Logic Design to Logic Programming
Theorem Proving Techniques and P-Functions1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18217-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Krieg-Brückner ESOP '92
4th European Symposium on Programming, Rennes, France, February 26-28, 1992. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55253-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Okuno / Ali New Trends in Applied Artificial Intelligence
20th International Conference on Industrial, Engineering, and Other Applications of Applied Intelligent Systems. IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73322-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pal / Kshemkalyani / Kumar Distributed Computing - IWDC 2005
7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30959-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Halstead / Ito Parallel Symbolic Computing: Languages, Systems, and Applications
US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57396-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hoffman / Dickinson / Ferracchiati Pro ADO.NET with VB .Net 1.1
1. Auflage 2004Verlag: ApressISBN: 978-1-59059-434-6Medium: Buch46,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage46,00 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ury / Gergely First-Order Programming Theories
1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54277-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Koskimies Compiler Construction
7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings1. Auflage 1998Verlag: SpringerISBN: 978-3-540-64304-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ferreira / Rolim / Saad Parallel Algorithms for Irregularly Structured Problems
Third International Workshop, IRREGULAR '96, Santa Barbara, CA, USA, August 19 - 21, 1996. Proceedings1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61549-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hartel Functional Programming Languages in Education
1st International Symposium FPLE '95 Nijmegen, The Netherlands, December 4-6, 1995. ProceedingsErscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60675-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rahwan / Moraitis Argumentation in Multi-Agent Systems
Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00206-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Soisalon-Soininen / Sippu Parsing Theory
Volume I Languages and Parsing1988Verlag: Springer Berlin HeidelbergISBN: 978-3-540-13720-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Paulson Isabelle
A Generic Theorem Prover1. Auflage 1994Verlag: SpringerISBN: 978-3-540-58244-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Preparata / Wu / Yin Frontiers in Algorithmics
Second International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-69310-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,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 -
Buhr Understanding Control Flow
Concurrent Programming Using ¿C++1. Auflage 2016Verlag: SpringerISBN: 978-3-319-25701-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Leuschel Logic Based Program Synthesis and Transformation
12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected PapersErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-40438-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sestoft Programming Language Concepts
2. Auflage 2017Verlag: SpringerISBN: 978-3-319-60788-7Medium: Buch56,70 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage56,70 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bernardo / Degano / Zavattaro Formal Methods for Computational Systems Biology
8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008Erscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68892-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wang / Zaki / Toivonen Data Mining in Bioinformatics
1. Auflage. Softcover version of original hardcover Auflage 2005Verlag: SpringerISBN: 978-1-84996-894-2Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Buchanan / Rangama / Bellavance Introducing Azure Kubernetes Service
A Practical Guide to Container Orchestration1. Auflage 2019Verlag: ApressISBN: 978-1-4842-5518-6Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage58,84 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jähne / Mester / Barth Complex Motion
First International Workshop, IWCM 2004, Günzburg, Germany, October 12-14, 2004, Revised PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-69864-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Thiagarajan Foundations of Software Technology and Theoretical Computer Science
15th Conference; Bangalore, India, December 1995. Proceedings1. Auflage 1995Verlag: SpringerISBN: 978-3-540-60692-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Royer A Connotational Theory of Program Structure
1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18253-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cotronis / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface
8th European PVM/MPI Users' Group Meeting, Santorini/Thera, Greece, September 23-26, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42609-7Medium: 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