Ergebnisse filtern
- Fachgebiet
- Medium
-
- 2007
- Erscheinungsjahr
-
- 9
- 27
- 21
- 7
- 21
- 28
- 23
- 32
- 44
- 38
- 34
- 34
- 29
- 4
- 29
- 47
- 117
- 71
- 115
- 155
- 147
- 130
- 117
- 86
- 67
- 68
- 63
- 62
- 64
- 60
- 40
- 40
- 48
- 24
- 34
- 18
- 12
- 14
- 9
- 3
- 1
- 3
- 8
- 4
- Autoren
-
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 6
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 7
- 1
- 2
- 1
- 2
- 2
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 6
- 10
- 2
- 2
- 2
- 7
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 3
- 4
- 4
- 2
- 3
- 7
- 3
- 6
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 4
- 5
- 2
- 9
- 2
- 4
- 6
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 3
- 2
- 7
- 3
- 20
- 9
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 14
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 6
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 5
- 4
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 9
- 5
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 4
- 2
- 7
- 2
- 3
- 2
- 5
- 4
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 5
- 4
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 4
- 5
- 4
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 4
- 2
- 5
- 7
- 3
- 2
- 2
- 2
- 3
- 8
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 5
- 5
- 5
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 9
- 2
- 7
- 7
- 2
- 2
- 5
- 2
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 3
- 4
- 4
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 2
- 5
- 3
- 6
- 5
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 3
- 2
- 11
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 5
- 6
- 2
- 4
- 2
- 2
- 3
- 8
- 2
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 6
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 7
- 4
- 2
- 2
- 5
- 2
- 2
- 5
- 4
- 34
- 10
- 2
- 3
- 3
- 3
- 2
- 6
- 2
- 2
- 2
- 10
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 10
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 10
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 4
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 9
- 2
- 3
- 4
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 8
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 11
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 4
- 4
- Verlag
-
- 155
- 1590
- 213
- 35
- 14
- Preis
-
- 33
- 1609
- 365
- Sprachen
-
- 2007
- 3
- 1
- Verfügbarkeit
-
- 2007
- Katalog
-
- 2007
- 75
-
Zwiers Compositionality, Concurrency, and Partial Correctness
Proof Theories for Networks of Processes, and Their Relationship1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-50845-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lee / Jiang Computing and Combinatorics
Third Annual International Conference, COCOON '97, Shanghai, China, August 20-22, 1997. Proceedings.1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63357-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gottlob / Mundici / Leitsch Computational Logic and Proof Theory
5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63385-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tsigas / Mavronicolas Distributed Algorithms
11th International Workshop, WDAG '97, Saarbrücken, Germany, September 24-26, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63575-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Astesiano Fundamental Approaches to Software Engineering
First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64303-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rolim / Jansen Approximation Algorithms for Combinatorial Optimization
International Workshop APPROX'98, Aalborg, Denmark, July 18-19, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64736-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Farach-Colton Combinatorial Pattern Matching
9th Annual Symposium, CPM'98, Piscataway, New Jersey, USA, July 20-22, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64739-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ivansson / Arnborg Algorithm Theory - SWAT'98
6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64682-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Reichel Fundamentals of Computation Theory
10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60249-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Preneel Fast Software Encryption
Second International Workshop, Leuven, Belgium, December 14-16, 1994. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60590-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jähnichen / Broy KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Final Report1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60589-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Baker Memory Management
International Workshop IWMM 95, Kinross, UK, September 27 - 29, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60368-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Golic / Dawson Cryptography: Policy and Algorithms
International Conference Brisbane, Queensland, Australia, July 3-5, 1995. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60759-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Echtle / Powell / Hammer Dependable Computing - EDCC-1
First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58426-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wasniewski / Dongarra Parallel Scientific Computing
First International Workshop, PARA '94, Lyngby, Denmark, June 20 - 23, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58712-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Plotkin / Dezani-Ciancaglini Typed Lambda Calculi and Applications
Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59048-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Fritzson Compiler Construction
5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57877-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nipkow / Barendregt Types for Proofs and Programs
International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58085-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lingas / Karlsson Algorithm Theory - SWAT '96
5th Scandinavian Workshop on Algorithm Theory, Reykjavik, Iceland, July 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61422-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ganzinger Rewriting Techniques and Applications
7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61464-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cohen Algorithmic Number Theory
Second International Symposium, ANTS-II, Talence, France, May 18 - 23, 1996, Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61581-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hein / Apostolico Combinatorial Pattern Matching
8th Annual Symposium, CPM 97, Aarhus, Denmark, June/July 1997. Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63220-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Andersson Analysis of Dynamical and Cognitive Systems
Advanced Course, Stockholm, Sweden, August 9 - 14, 1993. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58843-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Möller Mathematics of Program Construction
Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60117-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Diaz / DeMichelis Application and Theory of Petri Nets 1995
16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60029-9Medium: 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