Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2803
- 135
- 3
- 1
- Erscheinungsjahr
-
- 3
- 2
- 62
- 90
- 84
- 77
- 67
- 79
- 60
- 27
- 33
- 25
- 33
- 19
- 18
- 16
- 120
- 68
- 141
- 247
- 201
- 176
- 99
- 128
- 82
- 111
- 82
- 79
- 85
- 80
- 80
- 67
- 65
- 61
- 41
- 64
- 31
- 33
- 26
- 19
- 16
- 8
- 4
- 1
- 5
- 11
- 4
- 2
- 1
- 2
- 2
- 1
- 1
- Autoren
-
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 18
- 5
- 2
- 2
- 2
- 12
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 10
- 2
- 2
- 3
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 17
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 6
- 3
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 19
- 4
- 2
- 2
- 3
- 2
- 3
- 4
- 2
- 5
- 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
- 3
- 3
- 3
- 3
- 2
- 3
- 3
- 8
- 3
- 3
- 3
- 3
- 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
- 4
- 2
- 3
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 4
- 3
- 3
- 2
- 2
- 4
- 3
- 2
- 5
- 2
- 2
- 2
- 4
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 7
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 3
- 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
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 3
- 3
- 3
- 2
- 4
- 2
- 2
- 5
- 5
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 3
- 2
- 3
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 5
- 4
- 4
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 6
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 4
- 3
- 7
- 2
- 3
- 4
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 6
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 4
- 2
- 2
- 4
- 8
- 2
- 2
- 2
- 8
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 3
- 6
- 3
- 2
- 5
- 2
- 5
- 2
- 2
- 3
- 2
- 4
- 27
- 2
- 11
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 4
- 2
- 3
- 6
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 5
- 6
- 4
- 5
- 5
- 3
- 3
- 5
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 8
- 3
- 3
- 3
- 4
- 3
- 3
- 7
- 14
- 3
- 4
- 3
- 3
- 13
- 3
- 5
- 3
- 7
- 3
- 5
- 12
- 5
- 4
- 3
- 3
- 4
- 10
- 3
- 5
- 8
- 3
- 4
- 3
- 3
- 3
- 6
- 4
- 5
- 4
- 5
- 5
- 3
- 5
- 4
- Verlag
-
- 1
- 1
- 1
- 261
- 3
- 4
- 1
- 2
- 5
- 3
- 9
- 15
- 8
- 154
- 1
- 4
- 1
- 1
- 3
- 2
- 8
- 1
- 1
- 4
- 5
- 1
- 2
- 5
- 1
- 12
- 3
- 4
- 11
- 1
- 1
- 1
- 5
- 1
- 8
- 2
- 3
- 1
- 2
- 1
- 6
- 3
- 3
- 287
- 1584
- 76
- 3
- 1
- 2
- 92
- 23
- 15
- 47
- 10
- 61
- 2
- 5
- 2
- 66
- 24
- 8
- 2
- 2
- 1
- 19
- 26
- 2
- 4
- 1
- 1
- Preis
-
- 34
- 379
- 1822
- 707
- Sprachen
-
- 2717
- 222
- 8
- Verfügbarkeit
-
- 2902
- 40
- Eigenschaften
-
- 3
- Katalog
-
- 2942
- 152
-
Leivant Logic and Computational Complexity
International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60178-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cohen / Mora / Giusti Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
11th International Symposium, AAECC-11, Paris, France, July 17-22, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60114-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kirchner Trees in Algebra and Programming - CAAP '96
21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61064-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Broy / Spies / Merz Formal Systems Specification
The RPC-Memory Specification Case Study1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61984-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kolaitis / Afrati Database Theory - ICDT '97
6th International Conference, Delphi, Greece, January 8-10, 1997. Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62222-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Chouinard / Gulliver / Fortier Information Theory and Applications II
4th Canadian Workshop, Lac Delage, Quebec, Canada, May 28 - 30, 1995, Selected Papers1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61748-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ben-David Computational Learning Theory
Third European Conference, EuroCOLT '97, Jerusalem, Israel, March 17 - 19, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62685-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hancock / Pelillo Energy Minimization Methods in Computer Vision and Pattern Recognition
International Workshop EMMCVPR'97, Venice, Italy, May 21-23, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62909-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Comon Rewriting Techniques and Applications
8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62950-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rus / Bertran Transformation-Based Reactive Systems Development
4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63010-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Altenkirch / Reus / Naraschewski Types for Proofs and Programs
International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66537-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lesperance / Jennings Intelligent Agents VI. Agent Theories, Architectures, and Languages
6th International Workshop, ATAL'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67200-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Maibaum Fundamental Approaches to Software Engineering
Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67261-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tiuryn Foundation of Software Science and Computation Structures
Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67257-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sventek / Coulson Middleware 2000
IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4-7, 2000 Proceedings2000Verlag: Springer-Verlag GmbHISBN: 978-3-540-67352-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pelillo / Hancock Energy Minimization Methods in Computer Vision and Pattern Recognition
Second International Workshop, EMMCVPR'99, York, UK, July 26-29, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66294-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
File / Cortesi Static Analysis
6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66459-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bertot / Dowek / Thery Theorem Proving in Higher Order Logics
12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66463-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Merz / Kröger Temporal Logic and State Systems
2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67401-6Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nagl / Münch / Schürr Applications of Graph Transformations with Industrial Relevance
International Workshop, AGTIVE'99 Kerkrade, The Netherlands, September 1-3, 1999 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67658-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zinterhof / Uhl / Vajtersic Parallel Computation
4th International ACPC Conference Including Special Tracks on Parallel Numerics (ParNum'99) and Parallel Computing in Image Processing, Video Processing, and Multimedia Salzburg, Austria, February 16-18, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65641-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Fiadeiro Recent Trends in Algebraic Development Techniques
13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66246-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schobbens / Meyer Formal Models of Agents
ESPRIT Project ModelAge Final Report Selected Papers1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67027-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bird / Woodcock / Morgan Mathematics of Program Construction
Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56625-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Best CONCUR'93
4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57208-4Medium: 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