Ergebnisse filtern
- Fachgebiet
- Medium
-
- 3119
- 332
- 3
- 1
- Erscheinungsjahr
-
- 6
- 24
- 122
- 124
- 101
- 82
- 87
- 116
- 126
- 28
- 40
- 32
- 34
- 19
- 24
- 20
- 122
- 75
- 148
- 300
- 296
- 211
- 104
- 132
- 84
- 112
- 85
- 86
- 84
- 79
- 80
- 68
- 65
- 59
- 41
- 65
- 33
- 34
- 26
- 20
- 16
- 7
- 4
- 1
- 5
- 11
- 4
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- Autoren
-
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 6
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 35
- 14
- 2
- 2
- 2
- 2
- 13
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 11
- 2
- 2
- 3
- 2
- 6
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 17
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 3
- 2
- 2
- 2
- 7
- 3
- 2
- 3
- 10
- 20
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 7
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 5
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 3
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 24
- 4
- 2
- 2
- 3
- 3
- 3
- 2
- 3
- 5
- 2
- 5
- 2
- 2
- 2
- 6
- 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
- 3
- 3
- 3
- 3
- 2
- 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
- 4
- 3
- 3
- 2
- 4
- 2
- 13
- 4
- 2
- 3
- 2
- 2
- 4
- 2
- 3
- 5
- 2
- 2
- 3
- 6
- 2
- 2
- 3
- 3
- 4
- 3
- 4
- 2
- 3
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 4
- 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
- 2
- 2
- 2
- 2
- 5
- 6
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 4
- 3
- 4
- 5
- 2
- 2
- 2
- 4
- 3
- 7
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 3
- 5
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 4
- 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
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 3
- 2
- 7
- 2
- 7
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 4
- 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
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 2
- 3
- 2
- 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
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 4
- 2
- 3
- 5
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 5
- 6
- 2
- 3
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 4
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 6
- 3
- 2
- 3
- 2
- 3
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 4
- 4
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 3
- 6
- 3
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 5
- 3
- 3
- 7
- 2
- 3
- 4
- 3
- 2
- 2
- 4
- 2
- 2
- 5
- 5
- 3
- 4
- 4
- 5
- 5
- 4
- 3
- 3
- 6
- 4
- 3
- 4
- 4
- 3
- 4
- 3
- 9
- 3
- 3
- 3
- 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
- 5
- 3
- 8
- 4
- 6
- 6
- 3
- 4
- 29
- 11
- 3
- 4
- 9
- 3
- 4
- 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
- 3
- 4
- 4
- 3
- 13
- 4
- 5
- 3
- 3
- 7
- 3
- 4
- 4
- 15
- 5
- 4
- 3
- 3
- 4
- 10
- 3
- 3
- 5
- 8
- 3
- 3
- 6
- 3
- 5
- 3
- 5
- 6
- 4
- 6
- 4
- 6
- 6
- 3
- 3
- 5
- 3
- 4
- Verlag
-
- 2
- 1
- 1
- 268
- 3
- 1
- 1
- 4
- 1
- 5
- 11
- 17
- 21
- 1
- 50
- 355
- 1
- 6
- 5
- 1
- 1
- 3
- 2
- 10
- 2
- 4
- 4
- 1
- 5
- 2
- 5
- 1
- 13
- 1
- 11
- 3
- 1
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 1
- 2
- 1
- 7
- 3
- 3
- 2
- 612
- 1584
- 78
- 3
- 1
- 2
- 31
- 27
- 16
- 14
- 47
- 10
- 21
- 2
- 4
- 1
- 81
- 5
- 2
- 1
- 21
- 30
- 3
- 2
- 1
- 1
- Preis
-
- 105
- 511
- 2037
- 802
- Sprachen
-
- 3215
- 237
- 7
- 1
- Verfügbarkeit
-
- 3414
- 41
- Katalog
-
- 3455
- 170
-
Bjørner / Pottosin / Broy Formal Methods in Programming and Their Applications
International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57316-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Volkert Parallel Computation
Second International ACPC Conference, Gmunden, Austria, October 4-6, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57314-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lomet Foundations of Data Organization and Algorithms
4th International Conference, FODO '93, Chicago, Illinois, USA, October 13-15, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57301-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Maibaum / Abramsky 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)1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-53982-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Börger / Richter / Jäger Computer Science Logic
5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55789-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Aldemir / Siu / Göktepe Reliability and Safety Assessment of Dynamic Process Systems
1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57148-3Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage213,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Levi / Kirchner Algebraic and Logic Programming
Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55873-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Grahne The Problem of Incomplete Information in Relational Databases
1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54919-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nori / Biswas Foundations of Software Technology and Theoretical Computer Science
11th Conference, New Delhi, India, December 17-19, 1991. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54967-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zaks / Segall Distributed Algorithms
6th International Workshop, WDAG '92, Haifa, Israel, November 2-4, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56188-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Miola Design and Implementation of Symbolic Computation Systems
International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57235-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hankin / Ciancarini Coordination Languages and Models
First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings.1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61052-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 -
Hajek / Wiedermann Mathematical Foundations of Computer Science 1995
20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60246-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bode / Sunderam / Dongarra Parallel Virtual Machine - EuroPVM'96
Third European PVM Conference, Munich, Germany, October, 7 - 9, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61779-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 -
Shyamasundar Foundations of Software Technology and Theoretical Computer Science
13th Conference, Bombay, India, December 15-17, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57529-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Tison Trees in Algebra and Programming - CAAP '94
19th International Colloquium, Edinburgh, U.K., April 11 - 13, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57879-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Langmaack / Vytopil / Roever Formal Techniques in Real-Time and Fault-Tolerant Systems
Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58468-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
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 -
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 -
Reisig / Billington Application and Theory of Petri Nets 1996
17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61363-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Papazoglou OOER '95 Object-Oriented and Entity-Relationship Modeling
14th International Conference, Gold Coast, Australia, December 13 - 15, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60672-7Medium: 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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort