Ergebnisse filtern
- Fachgebiet
- Medium
-
- 3219
- 1077
- 5
- 4
- Erscheinungsjahr
-
- 2
- 15
- 215
- 292
- 295
- 269
- 285
- 320
- 484
- 226
- 192
- 136
- 142
- 72
- 62
- 38
- 108
- 106
- 108
- 73
- 60
- 49
- 60
- 73
- 68
- 60
- 60
- 44
- 30
- 54
- 37
- 20
- 26
- 15
- 18
- 16
- 18
- 17
- 19
- 15
- 13
- 13
- 15
- 6
- 8
- 9
- 9
- 5
- 3
- 4
- 3
- 1
- 2
- 3
- 3
- 2
- 2
- 1
- Autoren
-
- 3
- 2
- 3
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 13
- 8
- 2
- 2
- 2
- 2
- 2
- 3
- 5
- 5
- 3
- 3
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 5
- 7
- 2
- 2
- 29
- 15
- 2
- 3
- 8
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 3
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 6
- 3
- 2
- 4
- 2
- 4
- 2
- 3
- 4
- 11
- 16
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 6
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 5
- 5
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 3
- 3
- 6
- 5
- 3
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 4
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 7
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 4
- 9
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 4
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 4
- 2
- 16
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 5
- 5
- 3
- 2
- 2
- 6
- 3
- 2
- 3
- 4
- 2
- 3
- 2
- 4
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 8
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 8
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 6
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 8
- 6
- 2
- 5
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 6
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 6
- 5
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 8
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 8
- 9
- 2
- 2
- 4
- 2
- 3
- 2
- 5
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 12
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 4
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 4
- 2
- 3
- 2
- 2
- 8
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 3
- 3
- 2
- 2
- 3
- 8
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 9
- 3
- 2
- 3
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 5
- 3
- 5
- 5
- 3
- 3
- 11
- 3
- 3
- 3
- 5
- 4
- 3
- 4
- 3
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 5
- 9
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 4
- 6
- 4
- 3
- 3
- 5
- 3
- 3
- 6
- 5
- 6
- 4
- 6
- 3
- 3
- 4
- 7
- 6
- 3
- 3
- 5
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 4
- 5
- 7
- 3
- 7
- 3
- 4
- 3
- 4
- 4
- 5
- 3
- 3
- 3
- 9
- 3
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 6
- 4
- 5
- 4
- 3
- 3
- 5
- 4
- 3
- 3
- 3
- 5
- 3
- 16
- 3
- 3
- 4
- 4
- 3
- 3
- 3
- 5
- 11
- 3
- 4
- 9
- 4
- 3
- 4
- 3
- 5
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 6
- 3
- 3
- 3
- 3
- 4
- 5
- 7
- 3
- 4
- 8
- 3
- 4
- 3
- 3
- 5
- 3
- 3
- 4
- 3
- 6
- 3
- 4
- 3
- 4
- Verlag
-
- 2
- 1
- 847
- 11
- 1
- 12
- 1
- 2
- 1
- 1
- 10
- 2
- 1
- 2
- 58
- 74
- 2
- 2
- 3
- 146
- 1007
- 1
- 1
- 3
- 1
- 14
- 53
- 1
- 15
- 14
- 2
- 3
- 1
- 3
- 2
- 2
- 46
- 2
- 14
- 14
- 2
- 2
- 1
- 6
- 5
- 7
- 1
- 2
- 8
- 1
- 8
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 5
- 4
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 5
- 12
- 98
- 2
- 3
- 1
- 2
- 1
- 2
- 2
- 301
- 1
- 376
- 203
- 3
- 85
- 22
- 14
- 1
- 62
- 5
- 3
- 16
- 1
- 1
- 1
- 66
- 23
- 219
- 29
- 7
- 1
- 8
- 1
- 9
- 2
- 1
- 5
- 1
- 2
- 2
- 115
- 1
- 1
- 1
- 2
- 84
- 4
- 12
- 2
- 1
- 23
- 5
- 1
- 1
- 2
- Preis
-
- 197
- 1768
- 1692
- 648
- Sprachen
-
- 3651
- 652
- 6
- Verfügbarkeit
-
- 4206
- 99
- Eigenschaften
-
- 6
- Katalog
-
- 4305
- 139
-
Biham Advances in Cryptology ¿ EUROCRYPT 2003
International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4-8, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-14039-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Springer The Munich Project CIP
Volume I: The Wide Spectrum Language CIP-L1985Verlag: Springer Berlin HeidelbergISBN: 978-3-540-15187-6Medium: Buch32,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage32,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mosses CASL Reference Manual
The Complete Documentation of the Common Algebraic Specification Language2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-21301-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Loreti / Di Marzo Serugendo Coordination Models and Languages
20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-92407-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Merino / Gallardo Model Checking Software
25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-94110-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bal / Cardelli / Belkhouche Internet Programming Languages
ICCL'98 Workshop,Chicago, IL, USA, May 13, 1998, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66673-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cointe Meta-Level Architectures and Reflection
Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66280-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Palsberg Static Analysis
7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67668-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Cyre / Tepfenhart Conceptual Structures: Standards and Practices
7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66223-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Plümer Termination Proofs for Logic Programs
1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52837-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ferrante / Carter Languages and Compilers for Parallel Computing
12th International Workshop, LCPC'99 La Jolla, CA, USA, August 4-6, 1999 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67858-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Harrison / Aagaard Theorem Proving in Higher Order Logics
13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67863-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Palamidessi CONCUR 2000 - Concurrency Theory
11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67897-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Weck / Gutknecht Modular Programming Languages
Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67958-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Maibaum / Cuellar FM 2008: Formal Methods
15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68235-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Salomaa / Paun New Trends in Formal Languages
Control, Cooperation, and Combinatorics1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62844-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dam Analysis and Verification of Multiple-Agent Languages
5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62503-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ohori / Leroy Types in Compilation
Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64925-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
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 -
Mycielski / Salomaa / Rozenberg Structures in Logic and Computer Science
A Selection of Essays in Honor of A. Ehrenfeucht1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63246-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Pfenning Logic Programming and Automated Reasoning
5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58216-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Veith / Grumberg 25 Years of Model Checking
History, Achievements, Perspectives2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-69849-4Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,44 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Vitek ECOOP 2008 - Object-Oriented Programming
22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-70591-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Chiba / Südholt / Leavens Transactions on Modularity and Composition I
1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-46968-3Medium: Buch82,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage82,39 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Yevtushenko / Yenigün / Cavalli Testing Software and Systems
29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-67548-0Medium: 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