Ergebnisse filtern
- Fachgebiet
- Medium
-
- 3174
- 351
- 3
- 1
- Erscheinungsjahr
-
- 1
- 27
- 45
- 244
- 101
- 71
- 77
- 90
- 102
- 67
- 25
- 41
- 33
- 34
- 21
- 25
- 21
- 124
- 77
- 148
- 302
- 303
- 206
- 107
- 141
- 105
- 112
- 82
- 86
- 82
- 77
- 78
- 68
- 65
- 60
- 40
- 65
- 33
- 34
- 26
- 22
- 16
- 7
- 4
- 1
- 5
- 11
- 4
- 2
- 1
- 2
- 2
- 1
- 1
- Autoren
-
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 15
- 2
- 2
- 2
- 2
- 2
- 12
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 3
- 11
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 17
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 3
- 2
- 2
- 2
- 7
- 3
- 2
- 3
- 24
- 2
- 4
- 3
- 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
- 4
- 3
- 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
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 4
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 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
- 2
- 3
- 3
- 2
- 2
- 2
- 24
- 4
- 2
- 2
- 3
- 2
- 3
- 2
- 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
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 4
- 2
- 13
- 2
- 7
- 2
- 6
- 2
- 2
- 4
- 2
- 3
- 5
- 2
- 2
- 2
- 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
- 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
- 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
- 4
- 3
- 2
- 4
- 5
- 2
- 2
- 2
- 4
- 3
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 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
- 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
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 7
- 2
- 7
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 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
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 6
- 2
- 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
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 5
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 5
- 6
- 2
- 3
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 4
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 2
- 6
- 3
- 2
- 2
- 3
- 2
- 2
- 5
- 3
- 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
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 6
- 3
- 3
- 2
- 4
- 2
- 3
- 6
- 4
- 5
- 3
- 3
- 7
- 4
- 3
- 4
- 5
- 5
- 3
- 4
- 4
- 5
- 5
- 4
- 3
- 3
- 6
- 4
- 3
- 4
- 4
- 3
- 4
- 3
- 9
- 3
- 3
- 4
- 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
- 4
- 5
- 3
- 8
- 4
- 6
- 6
- 3
- 4
- 28
- 11
- 3
- 4
- 9
- 4
- 3
- 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
- 3
- 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
- 3
- 6
- 6
- 3
- 3
- 6
- 3
- 4
- Verlag
-
- 3
- 2
- 1
- 1
- 306
- 3
- 1
- 1
- 7
- 4
- 2
- 34
- 16
- 68
- 1
- 27
- 367
- 1
- 6
- 5
- 1
- 1
- 6
- 1
- 2
- 3
- 2
- 4
- 3
- 2
- 4
- 11
- 1
- 3
- 2
- 1
- 1
- 21
- 1
- 2
- 1
- 1
- 4
- 4
- 1
- 12
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 7
- 2
- 6
- 2
- 1
- 2334
- 33
- 4
- 2
- 2
- 14
- 16
- 8
- 2
- 19
- 2
- 17
- 1
- 36
- 1
- 2
- 1
- 21
- 24
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- Preis
-
- 133
- 516
- 2037
- 843
- Sprachen
-
- 3295
- 231
- 7
- 1
- Verfügbarkeit
-
- 3461
- 68
- Katalog
-
- 3529
- 185
-
Rouveirol / Sebag Inductive Logic Programming
11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings1. Auflage 2001Verlag: SpringerISBN: 978-3-540-42538-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
D'Avila Garcez / Lamb / Gabbay Neural-Symbolic Cognitive Reasoning
1. Auflage 2008Verlag: SpringerISBN: 978-3-540-73245-7Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ehrig / Jantke / Orejas Recent Trends in Data Type Specification
7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. ProceedingsErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54496-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kim / Matsumoto Advances in Cryptology - ASIACRYPT '96
International Conference on the Theory and Applications of Crypotology and Information Security, Kyongju, Korea, November 3 - 7, 1996, Proceedings1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61872-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jacko Human-Computer Interaction. HCI Applications and Services
12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IVErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73109-2Medium: Buch171,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage171,19 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Arnborg / Ivansson Algorithm Theory - SWAT'98
6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998, Proceedings1. Auflage 1998Verlag: SpringerISBN: 978-3-540-64682-2Medium: 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 -
Tokuyama Algorithms and Computation
18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77118-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Flum / Rodriguez-Artalejo Computer Science Logic
13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66536-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Cuellar / Maibaum FM 2008: Formal Methods
15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68235-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 -
Williams Instantiation Theory
On the Foundations of Automated DeductionErscheinungsjahr 1991Verlag: SpringerISBN: 978-3-540-54333-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
MacNish / Pearce / Pereira Logics in Artificial Intelligence
European Workshop JELIA '94, York, UK, September 5-8, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58332-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ganzinger Rewriting Techniques and Applications
7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings1. Auflage 1996Verlag: SpringerISBN: 978-3-540-61464-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Kreczmar / Salwicki / Warpechowski LOGLAN '88 - Report on the Programming Language
Erscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-52325-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Abramsky / Maibaum TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91)1. Auflage 1991Verlag: SpringerISBN: 978-3-540-53982-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Main / Melton / Mislove Mathematical Foundations of Programming Language Semantics
3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 ProceedingsErscheinungsjahr 1988Verlag: SpringerISBN: 978-3-540-19020-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dietz Languages and Compilers for Parallel Computing
14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers1. Auflage 2003Verlag: SpringerISBN: 978-3-540-04029-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Zwiers Compositionality, Concurrency, and Partial Correctness
Proof Theories for Networks of Processes, and Their Relationship1. Auflage 1989Verlag: SpringerISBN: 978-3-540-50845-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Flum / Grohe Parameterized Complexity Theory
1. Auflage. Softcover version of original hardcover Auflage 2006Verlag: SpringerISBN: 978-3-642-06757-0Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage90,94 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Imai / Zheng Public Key Cryptography
First International Workshop on Practice and Theory in Public Key Cryptography, PKC'98, Pacifico Yokohama, Japan, February 5-6, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64693-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Fitzgerald / Haxthausen / Yenigun Theoretical Aspects of Computing - ICTAC 2008
5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85761-7Medium: 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 -
Dehne / Sack / Zeh Algorithms and Data Structures
10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73948-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort