Ergebnisse filtern
- Fachgebiet
- Medium
-
- 4447
- 26
- 9
- Erscheinungsjahr
-
- 1
- 1
- 25
- 67
- 54
- 50
- 70
- 117
- 134
- 99
- 135
- 91
- 142
- 104
- 120
- 53
- 243
- 80
- 167
- 282
- 199
- 272
- 230
- 235
- 211
- 188
- 139
- 112
- 109
- 101
- 86
- 91
- 81
- 58
- 58
- 63
- 38
- 47
- 27
- 17
- 18
- 10
- 4
- 2
- 8
- 8
- 4
- 3
- 2
- 1
- 2
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- Autoren
-
- 3
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 5
- 4
- 2
- 17
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 5
- 4
- 2
- 2
- 4
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 6
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 4
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 4
- 2
- 6
- 6
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 10
- 2
- 2
- 5
- 2
- 2
- 3
- 4
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 13
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 11
- 2
- 4
- 2
- 2
- 2
- 4
- 3
- 3
- 3
- 2
- 2
- 11
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 5
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 13
- 2
- 3
- 3
- 4
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 7
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 8
- 3
- 2
- 2
- 3
- 3
- 3
- 7
- 2
- 2
- 3
- 3
- 2
- 2
- 6
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 4
- 6
- 4
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 4
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 6
- 2
- 4
- 6
- 2
- 6
- 2
- 5
- 2
- 3
- 10
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 8
- 8
- 6
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 8
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 25
- 9
- 3
- 3
- 2
- 4
- 2
- 3
- 3
- 18
- 5
- 3
- 2
- 9
- 8
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 16
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 8
- 2
- 4
- 2
- 3
- 5
- 6
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 4
- 17
- 3
- 3
- 5
- 3
- 3
- 6
- 8
- 3
- 3
- 5
- 3
- 3
- 4
- 4
- 9
- 4
- 4
- 5
- 5
- 5
- 6
- 3
- 9
- 3
- 3
- 3
- 4
- 3
- 3
- 5
- 4
- 4
- 4
- 3
- 3
- 4
- 4
- 4
- 4
- 3
- 5
- 3
- 4
- 4
- 3
- 3
- 3
- 7
- 3
- 6
- 3
- 4
- 4
- 3
- 3
- 4
- 7
- 4
- 4
- 3
- 3
- 5
- 7
- 4
- 4
- 3
- 3
- 4
- 5
- 3
- 4
- 4
- 4
- 5
- 5
- 10
- 6
- 3
- 6
- 5
- 3
- 5
- 3
- 5
- 7
- 5
- 3
- 3
- 6
- 4
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 5
- 5
- 3
- 5
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 6
- 6
- 4
- 3
- 11
- 3
- 4
- 3
- 3
- 3
- 3
- 7
- 4
- 4
- 5
- 5
- 5
- 5
- 4
- 5
- 4
- 3
- 8
- 5
- 3
- 3
- 6
- 4
- 5
- 4
- 6
- 4
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 6
- 6
- 5
- 5
- 3
- 3
- 3
- 3
- 10
- 5
- 8
- 4
- 4
- 4
- 8
- 4
- 3
- 9
- 8
- 3
- 9
- 3
- 3
- 3
- 3
- 7
- 3
- 3
- 6
- 3
- 6
- 5
- 8
- 3
- 3
- 3
- 4
- 4
- 5
- 21
- 5
- 5
- 3
- 12
- 10
- 5
- 4
- 3
- 5
- 6
- 5
- 5
- 6
- 6
- 5
- 4
- 4
- 5
- 5
- 6
- 4
- 6
- 4
- 4
- 3
- 3
- 4
- 4
- 3
- 6
- 5
- 3
- 7
- 3
- 5
- 3
- 5
- 4
- 3
- 4
- 4
- 4
- 5
- 4
- 3
- 4
- 3
- 5
- 3
- 6
- 3
- 6
- 15
- 7
- 7
- 3
- 3
- 3
- 7
- 5
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 6
- 5
- 5
- 4
- 8
- 3
- 3
- 11
- 4
- 7
- 4
- 3
- 5
- 3
- 4
- 7
- 6
- 3
- 3
- 3
- 5
- 3
- 3
- 6
- 7
- 4
- 3
- 3
- 4
- 4
- 12
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 17
- 5
- 3
- 3
- 6
- 4
- 3
- 4
- 4
- 3
- 3
- 3
- 3
- 11
- 3
- 3
- 3
- 3
- 4
- 5
- 4
- 3
- 3
- 3
- 7
- 3
- 5
- 5
- 9
- 4
- 6
- 10
- 3
- 9
- 3
- 5
- 3
- 3
- 3
- 4
- 5
- 3
- 6
- 4
- 3
- 3
- 4
- 4
- 4
- 4
- 9
- 3
- 3
- 3
- 3
- 8
- 3
- 3
- 9
- 3
- 3
- 4
- 7
- 7
- 5
- 3
- 4
- 3
- 3
- 8
- 3
- 5
- 3
- 6
- 4
- 49
- 11
- 3
- 4
- 4
- 5
- 7
- 3
- 3
- 19
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 6
- 4
- 4
- 6
- 3
- 5
- 3
- 6
- 7
- 5
- 4
- 6
- 3
- 5
- 3
- 4
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 9
- 15
- 4
- 4
- 3
- 4
- 4
- 4
- 21
- 7
- 4
- 3
- 9
- 4
- 6
- 5
- 3
- 11
- 3
- 3
- 3
- 4
- 4
- 3
- 4
- 4
- 24
- 4
- 5
- 3
- 10
- 5
- 4
- 3
- 4
- 10
- 4
- 8
- 5
- 4
- 4
- 8
- 5
- 4
- 5
- 6
- 5
- 4
- 3
- 4
- 3
- 5
- Verlag
-
- 4
- 3
- 3
- 9
- 5
- 4
- 11
- 1
- 1
- 2
- 22
- 4
- 1
- 1
- 10
- 40
- 6
- 3
- 1
- 3
- 9
- 8
- 1
- 1
- 2
- 3
- 10
- 2
- 1
- 2
- 9
- 1
- 8
- 1
- 7
- 1
- 3
- 3
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 5
- 2
- 652
- 2167
- 1
- 658
- 1
- 6
- 3
- 223
- 54
- 127
- 223
- 8
- 40
- 3
- 2
- 1
- 2
- 7
- 4
- 5
- 1
- 35
- 2
- 27
- 1
- 1
- 2
- Preis
-
- 14
- 207
- 2744
- 1517
- Sprachen
-
- 4341
- 136
- 13
- Verfügbarkeit
-
- 4461
- 21
- Eigenschaften
-
- 1
- Katalog
-
- 4482
- 200
-
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 -
Higuchi / Weixin / Iwata Evolvable Systems: From Biology to Hardware
First International Conference, ICES '96, Tsukuba, Japan, October 7 - 8, 1996, Revised Papers1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63173-6Medium: 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 -
Szalas / Penczek Mathematical Foundations of Computer Science 1996
21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61550-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
Mosses / Schwartzbach / Nielsen TAPSOFT '95: Theory and Practice of Software Development
6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59293-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jouannaud / Comon Term Rewriting
French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59340-9Medium: 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 -
Wolper Computer Aided Verification
7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60045-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dörr Efficient Graph Rewriting and Its Implementation
1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60055-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nivat / Alagar Algebraic Methodology and Software Technology
4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60043-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zambonelli / Padgham Agent-Oriented Software Engineering VII
7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-70944-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sztipanovits / Kordon Reliable Systems on Unreliable Networked Platforms
12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71155-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Peters / Düntsch / Polkowski Transactions on Rough Sets VI
Commemorating Life and Work of Zdislaw Pawlak, Part I2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71198-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Romijn / van de Pol / Smith Integrated Formal Methods
5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-30492-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Turull-Torres / Seipel Foundations of Information and Knowledge Systems
Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20965-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Maher Advances in Computer Science - ASIAN 2004, Higher Level Decision Making
9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 20042005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-24087-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Comaniciu / Suter / Kanatani Statistical Methods in Video Processing
ECCV 2004 Workshop SMVP 2004, Prague, Czech Republic, May 16, 2004, Revised Selected Papers2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-23989-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Gulati / Das Intelligent Information Technology
7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-24126-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Leite Computational Logic in Multi-Agent Systems
4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-24010-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Prasanna / Bougé High Performance Computing - HiPC 2004
11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-24129-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rust Operational Semantics for Timed Systems
A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25576-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dershowitz Verification: Theory and Practice
Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21002-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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