Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 61 Berechenbarkeitstheorie, Komplexitätstheorie
- 692 Bildsignalverarbeitung
- 3156 Künstliche Intelligenz
- 2016 Logik, formale Sprachen, Automaten
- 604 Mathematik für Informatiker
- 844 Mensch-Maschine-Interaktion
- 69 Natürliche Sprachen & Maschinelle Übersetzung
- 301 Rechnerarchitektur
- 354 Theoretische Informatik
- 23 Tonsignalverarbeitung
- 38 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 5884
- Erscheinungsjahr
-
- 256
- 434
- 294
- 172
- 186
- 213
- 200
- 187
- 227
- 199
- 190
- 184
- 144
- 27
- 52
- 156
- 160
- 183
- 130
- 178
- 256
- 220
- 193
- 191
- 130
- 122
- 104
- 114
- 100
- 95
- 92
- 71
- 60
- 70
- 45
- 46
- 31
- 31
- 27
- 18
- 8
- 3
- 5
- 13
- 7
- 10
- 5
- 12
- 9
- 11
- 10
- 3
- Autoren
-
- 3
- 3
- 4
- 3
- 6
- 4
- 6
- 4
- 4
- 3
- 3
- 5
- 6
- 3
- 3
- 3
- 5
- 3
- 3
- 5
- 12
- 3
- 3
- 4
- 5
- 3
- 5
- 4
- 14
- 19
- 3
- 27
- 3
- 7
- 3
- 6
- 4
- 5
- 4
- 4
- 3
- 4
- 4
- 4
- 6
- 3
- 3
- 3
- 39
- 6
- 4
- 3
- 3
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 5
- 3
- 3
- 10
- 4
- 4
- 5
- 7
- 3
- 4
- 4
- 3
- 6
- 5
- 3
- 4
- 6
- 5
- 5
- 9
- 3
- 3
- 3
- 3
- 3
- 4
- 4
- 4
- 12
- 3
- 4
- 3
- 7
- 3
- 5
- 3
- 3
- 3
- 5
- 7
- 4
- 6
- 4
- 10
- 3
- 3
- 6
- 4
- 3
- 4
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 4
- 15
- 3
- 4
- 6
- 3
- 3
- 4
- 5
- 3
- 10
- 3
- 4
- 3
- 5
- 6
- 3
- 10
- 3
- 3
- 8
- 4
- 8
- 4
- 7
- 3
- 4
- 4
- 4
- 3
- 5
- 3
- 8
- 4
- 3
- 39
- 14
- 7
- 3
- 3
- 8
- 4
- 3
- 3
- 3
- 8
- 5
- 3
- 10
- 3
- 3
- 8
- 3
- 5
- 6
- 4
- 6
- 5
- 3
- 4
- 6
- 3
- 4
- 6
- 5
- 4
- 3
- 3
- 8
- 3
- 4
- 8
- 3
- 3
- 4
- 4
- 5
- 3
- 3
- 3
- 3
- 4
- 7
- 3
- 5
- 6
- 11
- 3
- 4
- 4
- 19
- 3
- 4
- 11
- 8
- 3
- 3
- 7
- 3
- 3
- 3
- 4
- 4
- 8
- 3
- 3
- 4
- 3
- 39
- 3
- 3
- 7
- 3
- 6
- 4
- 5
- 7
- 4
- 5
- 3
- 3
- 3
- 6
- 8
- 3
- 6
- 8
- 4
- 3
- 4
- 6
- 5
- 4
- 3
- 3
- 3
- 8
- 3
- 5
- 3
- 7
- 15
- 10
- 3
- 4
- 8
- 4
- 8
- 3
- 7
- 9
- 5
- 4
- 5
- 4
- 4
- 4
- 6
- 3
- 3
- 3
- 3
- 4
- 3
- 8
- 3
- 4
- 3
- 3
- 5
- 7
- 6
- 4
- 6
- 5
- 4
- 3
- 3
- 3
- 5
- 31
- 33
- 7
- 9
- 3
- 4
- 8
- 11
- 3
- 24
- 11
- 4
- 3
- 3
- 3
- 4
- 5
- 4
- 17
- 6
- 3
- 4
- 3
- 3
- 3
- 3
- 3
- 5
- 4
- 8
- 3
- 4
- 4
- 3
- 4
- 5
- 3
- 3
- 10
- 3
- 4
- 3
- 3
- 3
- 4
- 9
- 3
- 3
- 3
- 43
- 3
- 8
- 3
- 3
- 3
- 4
- 4
- 6
- 6
- 3
- 6
- 3
- 12
- 6
- 3
- 9
- 3
- 4
- 5
- 10
- 3
- 3
- 4
- 6
- 6
- 3
- 3
- 3
- 8
- 3
- 9
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 3
- 4
- 12
- 13
- 4
- 7
- 4
- 4
- 5
- 3
- 4
- 8
- 6
- 3
- 6
- 4
- 6
- 3
- 9
- 3
- 3
- 3
- 3
- 4
- 3
- 9
- 4
- 3
- 3
- 12
- 15
- 3
- 3
- 3
- 3
- 3
- 17
- 3
- 17
- 6
- 3
- 49
- 3
- 4
- 3
- 5
- 5
- 3
- 3
- 5
- 3
- 6
- 6
- 3
- 3
- 4
- 3
- 5
- 3
- 4
- 3
- 4
- 3
- 5
- 8
- 9
- 7
- 14
- 4
- 6
- 3
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 5
- 3
- 8
- 3
- 5
- 5
- 4
- 20
- 4
- 3
- 4
- 3
- 4
- 7
- 4
- 3
- 5
- 3
- 6
- 6
- 13
- 5
- 4
- 6
- 10
- 39
- 3
- 4
- 3
- 3
- 3
- 6
- 14
- 4
- 3
- 3
- 3
- 5
- 3
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 5
- 3
- 3
- 14
- 4
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 4
- 3
- 3
- 22
- 5
- 3
- 3
- 4
- 4
- 6
- 3
- 12
- 3
- 4
- 6
- 3
- 6
- 3
- 3
- 4
- 14
- 5
- 3
- 6
- 3
- 4
- 16
- 5
- 4
- 3
- 3
- 5
- 3
- 6
- 4
- 3
- 6
- 7
- 14
- 3
- 3
- 10
- 3
- 3
- 3
- 14
- 3
- 4
- 3
- 3
- 3
- 13
- 4
- 4
- 3
- 5
- 9
- 3
- 4
- 3
- 12
- 5
- 7
- 3
- 6
- 4
- 5
- 5
- 6
- 5
- 3
- 3
- 3
- 3
- 7
- 3
- 4
- 4
- 4
- 5
- 5
- 3
- 5
- 3
- 8
- 4
- 8
- 8
- 3
- 4
- 5
- 3
- 4
- 4
- 4
- 6
- 3
- 5
- 6
- 3
- 12
- 4
- 5
- 3
- 5
- 7
- 7
- 3
- 5
- 5
- 3
- 6
- 4
- 14
- 5
- 4
- 9
- 4
- 25
- 4
- 14
- 36
- 6
- 6
- 6
- 3
- 3
- 4
- 3
- 7
- 4
- 7
- 8
- 4
- 4
- 4
- 3
- 7
- 3
- 13
- 7
- 3
- 5
- 4
- 4
- 3
- 4
- 9
- 6
- 3
- 3
- 4
- 6
- 11
- 9
- 21
- 4
- 3
- 4
- 4
- 6
- 5
- 3
- 4
- 8
- 9
- 13
- 9
- 5
- 13
- 3
- 3
- 4
- 5
- 8
- 4
- 34
- 9
- 4
- 3
- 5
- 5
- 11
- 9
- 4
- 5
- 3
- 4
- 6
- 4
- 4
- 4
- 11
- 3
- 5
- 4
- 3
- 3
- 10
- 6
- 8
- 13
- 4
- 4
- 4
- 4
- 4
- 27
- 4
- 4
- 4
- 6
- 4
- 14
- 9
- 3
- 3
- 5
- 6
- 41
- 3
- 7
- 4
- 6
- 3
- 9
- 33
- 5
- 7
- 5
- 6
- 5
- 11
- 4
- 5
- 6
- 5
- 4
- 5
- 6
- 4
- 3
- 5
- 5
- 11
- 4
- 3
- 4
- 13
- 5
- 7
- 6
- 6
- 4
- 3
- 19
- 11
- 6
- 5
- 4
- 4
- 4
- 14
- 12
- 8
- 4
- 3
- 6
- 4
- 5
- 4
- 3
- 4
- 8
- 4
- 4
- 4
- 8
- 9
- 4
- 4
- 4
- 4
- 6
- 20
- 9
- 3
- 5
- 12
- 8
- 6
- 5
- 7
- 5
- 7
- 7
- 3
- 6
- 8
- 3
- 3
- 5
- 18
- 5
- 3
- 4
- 40
- 4
- 10
- 7
- 3
- 8
- 4
- 3
- 6
- 3
- 9
- 11
- 14
- 3
- 4
- 4
- 5
- 11
- 3
- 7
- 5
- 8
- 4
- 13
- 8
- 8
- 4
- 7
- 12
- 4
- 4
- 5
- 4
- 4
- 4
- 4
- 5
- 15
- 5
- 4
- 6
- 4
- 9
- 4
- 39
- 4
- 4
- 10
- 16
- 6
- 3
- 3
- 8
- 5
- 11
- 10
- 10
- 32
- 4
- 5
- 4
- 4
- 3
- 4
- 4
- 4
- 5
- 7
- 14
- 9
- 12
- 4
- 9
- 15
- 43
- 7
- 15
- 9
- 13
- 3
- 3
- 4
- 23
- 9
- 9
- 4
- 10
- 13
- 5
- 7
- 7
- 6
- 4
- 5
- 11
- 4
- 6
- 3
- 4
- 8
- 4
- 3
- 3
- 18
- 3
- 3
- 13
- 6
- 5
- 17
- 6
- 3
- 4
- 5
- 3
- 15
- 5
- 4
- 10
- 6
- 7
- 5
- 4
- 3
- 4
- 18
- 6
- 8
- 4
- 3
- 3
- 6
- 7
- 4
- 3
- 7
- 4
- 4
- 16
- 4
- 4
- 4
- 4
- 4
- 6
- 6
- 5
- 4
- 5
- 5
- 10
- 8
- 5
- 18
- 17
- 13
- 6
- 6
- 14
- 4
- 7
- 4
- 19
- 4
- 4
- 7
- 8
- 5
- 4
- 10
- Verlag
-
- 678
- 2681
- 1702
- 1
- 77
- 663
- 82
- Preis
-
- 26
- 190
- 4539
- 1129
- Sprachen
-
- 5879
- 15
- 12
- Verfügbarkeit
-
- 5863
- 21
- Katalog
-
- 5884
- 294
-
Grieskamp / Stoddart / Santen Integrated Formal Methods
Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41196-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ajmone Marsan Application and Theory of Petri Nets 1993
14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56863-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Ceri / Tsur / Tanaka Deductive and Object-Oriented Databases
Third International Conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57530-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lee / Banatre Hardware and Software Architectures for Fault Tolerance
Experiences and Perspectives1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57767-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bonuccelli / Petreschi / Crescenzi Algorithms and Complexity
Second Italian Conference, CIAC '94, Rome, Italy, February 23 - 25, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57811-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wagner Vivid Logic
Knowledge-Based Reasoning with Two Kinds of Negation1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57604-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Raynal / Helary Distributed Algorithms
9th International Workshop, WDAG '95, Le Mont-Saint-Michel, France, September 13 - 15, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60274-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schubert / Alves-Foss / Windley Higher Order Logic Theorem Proving and Its Applications
8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60275-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hinchey / Bowen ZUM '95: The Z Formal Specification Notation
9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60271-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Spirakis Algorithms - ESA '95
Third Annual European Symposium, Corfu, Greece, September, 25 - 27, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60313-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Staples / Moffat / Eades Algorithms and Computations
6th International Symposium, ISAAC '95 Cairns, Australia, December 4 - 6, 1995. Proceedings Proceedings.1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60573-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Jantke / Zeugmann / Shinohara Algorithmic Learning Theory
6th International Workshop, ALT '95, Fukuoka, Japan, October 18 - 20, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60454-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kuhn / Frank Spatial Information Theory: A Theoretical Basis for GIS
A Thoretical Basis for GIS. International Conference, COSIT '95, Semmering, Austria, September 21-23, 1995, Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60392-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bergstra / Wirsing Algebraic Methods: Theory, Tools and Applications
1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51698-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hammer Compiler Compilers and High Speed Compilation
2nd CCHSC Workshop, Berlin, GDR, October 10-14, 1988. Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51364-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Houbak SIL - a Simulation Language
User's Guide1990Verlag: Springer Berlin HeidelbergISBN: 978-3-540-52497-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Bjørner / Pottosin / Broy Perspectives of System Informatics
Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62064-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Darte / Perrin The Data Parallel Programming Model
Foundations, HPF Realization, and Scientific Applications1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61736-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rodriguez-Artalejo / Hanus Algebraic and Logic Programming
5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61735-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Schmidt / Cousot Static Analysis
Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61739-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dongarra / Palma Vector and Parallel Processing - VECPAR'96
Second International Conference on Vector and Parallel Processing - Systems and Applications, Porto, Portugal, September 25 - 27, 1996, Selected Papers1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62828-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Huang / Kowalczyk / Maamar Service-Oriented Computing: Agents, Semantics, and Engineering
AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-72618-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Banerjee / Padua / Gelernter Languages and Compilers for Parallel Computing
Fourth International Workshop, Santa Clara, California, USA, August 7-9, 1991. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55422-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Knuth Axioms and Hulls
1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55611-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dolev / Rodeh / Galil Theory of Computing and Systems
ISTCS '92, Israel Symposium, Haifa, Israel, May 27-28, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55553-7Medium: 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