Ergebnisse filtern
- Fachgebiet
-
- Mathematik | Informatik
- EDV | Informatik
- Informatik
- 62 Berechenbarkeitstheorie, Komplexitätstheorie
- 1112 Bildsignalverarbeitung
- 4481 Künstliche Intelligenz
- 2185 Logik, formale Sprachen, Automaten
- 927 Mathematik für Informatiker
- 1147 Mensch-Maschine-Interaktion
- 148 Natürliche Sprachen & Maschinelle Übersetzung
- 329 Rechnerarchitektur
- 393 Theoretische Informatik
- 26 Tonsignalverarbeitung
- 61 Virtuelle Realität, Erweiterte Realität
- Medium
-
- 7673
- Erscheinungsjahr
-
- 124
- 680
- 722
- 433
- 286
- 141
- 189
- 216
- 209
- 202
- 219
- 199
- 186
- 176
- 191
- 192
- 185
- 175
- 165
- 215
- 215
- 168
- 274
- 231
- 210
- 196
- 140
- 128
- 109
- 112
- 106
- 94
- 86
- 75
- 55
- 70
- 48
- 48
- 30
- 32
- 27
- 18
- 8
- 3
- 5
- 13
- 7
- 11
- 5
- 12
- 9
- 10
- 10
- 3
- Autoren
-
- 3
- 5
- 4
- 6
- 3
- 5
- 5
- 8
- 3
- 3
- 10
- 3
- 6
- 9
- 7
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 5
- 3
- 6
- 3
- 3
- 6
- 16
- 5
- 16
- 3
- 7
- 4
- 3
- 3
- 3
- 4
- 4
- 6
- 8
- 3
- 4
- 4
- 3
- 4
- 4
- 3
- 9
- 4
- 14
- 27
- 36
- 8
- 3
- 3
- 28
- 4
- 5
- 5
- 4
- 3
- 4
- 3
- 4
- 8
- 3
- 3
- 3
- 15
- 3
- 4
- 11
- 3
- 3
- 3
- 3
- 3
- 38
- 3
- 4
- 4
- 3
- 4
- 4
- 7
- 4
- 6
- 4
- 4
- 3
- 7
- 4
- 3
- 3
- 15
- 4
- 4
- 4
- 6
- 3
- 6
- 3
- 6
- 6
- 7
- 5
- 6
- 9
- 6
- 5
- 4
- 4
- 18
- 4
- 6
- 4
- 6
- 4
- 5
- 4
- 9
- 7
- 7
- 7
- 9
- 6
- 5
- 4
- 6
- 40
- 4
- 4
- 24
- 9
- 5
- 8
- 4
- 5
- 9
- 4
- 4
- 6
- 7
- 4
- 10
- 4
- 4
- 4
- 8
- 4
- 10
- 4
- 4
- 16
- 14
- 7
- 4
- 4
- 5
- 9
- 4
- 4
- 4
- 38
- 21
- 6
- 5
- 7
- 5
- 7
- 5
- 4
- 4
- 16
- 5
- 9
- 10
- 4
- 10
- 7
- 5
- 4
- 11
- 5
- 4
- 5
- 24
- 4
- 9
- 4
- 5
- 7
- 5
- 14
- 5
- 5
- 7
- 5
- 7
- 8
- 4
- 6
- 5
- 4
- 34
- 5
- 11
- 4
- 41
- 4
- 14
- 9
- 7
- 17
- 4
- 20
- 4
- 36
- 4
- 4
- 5
- 10
- 15
- 8
- 4
- 5
- 7
- 5
- 12
- 4
- 4
- 4
- 9
- 5
- 4
- 5
- 5
- 4
- 4
- 4
- 38
- 4
- 7
- 4
- 10
- 4
- 4
- 4
- 4
- 9
- 4
- 6
- 4
- 6
- 4
- 7
- 4
- 8
- 6
- 12
- 5
- 5
- 12
- 4
- 6
- 4
- 14
- 4
- 4
- 4
- 5
- 5
- 5
- 7
- 5
- 4
- 4
- 6
- 8
- 15
- 22
- 5
- 7
- 9
- 6
- 5
- 5
- 14
- 9
- 7
- 24
- 6
- 5
- 4
- 5
- 4
- 4
- 4
- 4
- 4
- 5
- 5
- 6
- 4
- 5
- 4
- 5
- 9
- 4
- 6
- 4
- 4
- 4
- 5
- 6
- 7
- 5
- 6
- 16
- 11
- 4
- 5
- 8
- 4
- 37
- 40
- 4
- 7
- 22
- 7
- 8
- 10
- 4
- 4
- 26
- 12
- 8
- 6
- 14
- 5
- 4
- 4
- 4
- 5
- 6
- 8
- 4
- 4
- 7
- 6
- 5
- 6
- 27
- 4
- 12
- 47
- 4
- 8
- 5
- 4
- 4
- 17
- 7
- 8
- 7
- 8
- 4
- 5
- 10
- 13
- 5
- 6
- 7
- 4
- 6
- 8
- 4
- 5
- 4
- 4
- 16
- 19
- 4
- 4
- 8
- 5
- 4
- 11
- 10
- 4
- 8
- 15
- 4
- 33
- 4
- 4
- 4
- 4
- 20
- 8
- 17
- 19
- 66
- 11
- 5
- 4
- 16
- 4
- 4
- 5
- 4
- 20
- 10
- 6
- 14
- 7
- 4
- 4
- 7
- 25
- 4
- 6
- 6
- 4
- 15
- 7
- 6
- 19
- 38
- 9
- 17
- 9
- 7
- 4
- 4
- 4
- 5
- 4
- 5
- 10
- 15
- 6
- 4
- 4
- 4
- 71
- 4
- 5
- 9
- 5
- 4
- 5
- 4
- 15
- 5
- 13
- 5
- 5
- 4
- 22
- 4
- 10
- 6
- 4
- 14
- 9
- 4
- 13
- 4
- 4
- 13
- 6
- 6
- 7
- 5
- 4
- 15
- 6
- 4
- 6
- 6
- 7
- 5
- 4
- 4
- 4
- 20
- 6
- 4
- 5
- 5
- 8
- 6
- 4
- 4
- 12
- 21
- 4
- 7
- 15
- 7
- 5
- 30
- 4
- 6
- 7
- 8
- 4
- 4
- 11
- 6
- 5
- 15
- 4
- 14
- 17
- 4
- 6
- 12
- 6
- 13
- 6
- 14
- 4
- 4
- 4
- 27
- 10
- 23
- 4
- 37
- 4
- 5
- 6
- 5
- 5
- 12
- 4
- 4
- 6
- 9
- 7
- 5
- 13
- 88
- 14
- 17
- 4
- 4
- 8
- 6
- 5
- 7
- 15
- 10
- 4
- 4
- 6
- 8
- 5
- 18
- 20
- 20
- 4
- 5
- 4
- 61
- 6
- 14
- 7
- 5
- 13
- 21
- 5
- 4
- 5
- 7
- 4
- 4
- 4
- 9
- 6
- 23
- 6
- 4
- 4
- 7
- 13
- 13
- 14
- 10
- 15
- 8
- 17
- 5
- 5
- 11
- 8
- 6
- 5
- 18
- 4
- 4
- 31
- 19
- 7
- 4
- 6
- 9
- 5
- 11
- 4
- 10
- 4
- 4
- 4
- 4
- 6
- 11
- 6
- 7
- 4
- 7
- 5
- 5
- 8
- 8
- 8
- 4
- 11
- 4
- 4
- 4
- 8
- 22
- 12
- 6
- 4
- 4
- 4
- 4
- 17
- 9
- 7
- 7
- 4
- 4
- 6
- 5
- 58
- 4
- 4
- 4
- 5
- 5
- 10
- 5
- 9
- 38
- 7
- 5
- 8
- 8
- 5
- 5
- 11
- 4
- 11
- 4
- 8
- 4
- 4
- 4
- 5
- 4
- 8
- 8
- 6
- 5
- 4
- 4
- 5
- 5
- 4
- 9
- 42
- 7
- 7
- 4
- 17
- 7
- 4
- 19
- 5
- 4
- 13
- 6
- 13
- 15
- 4
- 15
- 5
- 4
- 24
- 9
- 4
- 7
- 5
- 6
- 4
- 4
- 17
- 13
- 7
- 12
- 11
- 4
- 7
- 4
- 8
- 24
- 5
- 10
- 9
- 6
- 7
- 7
- 6
- 9
- 4
- 6
- 4
- 7
- 4
- 6
- 24
- 13
- 5
- 15
- 4
- 7
- 91
- 5
- 6
- 4
- 5
- 7
- 8
- 8
- 8
- 4
- 5
- 6
- 5
- 16
- 5
- 92
- 5
- 4
- 36
- 11
- 10
- 7
- 4
- 89
- 17
- 4
- 14
- 6
- 4
- 9
- 9
- 14
- 9
- 4
- 7
- 89
- 5
- 12
- 16
- 5
- 11
- 10
- 4
- 12
- 4
- 14
- 12
- 12
- 4
- 5
- 4
- 9
- 4
- 7
- 11
- 15
- 15
- 4
- 4
- 5
- 7
- 4
- 8
- 4
- 11
- 6
- 17
- 5
- 4
- 4
- 5
- 4
- 4
- 14
- 4
- 6
- 8
- 13
- 6
- 43
- 4
- 4
- 6
- 5
- 4
- 5
- 15
- 7
- 4
- 9
- 5
- 8
- 8
- 5
- 4
- 4
- 8
- 30
- 4
- 38
- 4
- 4
- 6
- 7
- 6
- 22
- 4
- 4
- 4
- 4
- 9
- 4
- 16
- 18
- 21
- 9
- 10
- 17
- 44
- 10
- 19
- 9
- 9
- 18
- 14
- 10
- 9
- 28
- 24
- 12
- 6
- 7
- 10
- 9
- 7
- 12
- 13
- 15
- 4
- 7
- 6
- 4
- 4
- 15
- 4
- 6
- 5
- 89
- 10
- 19
- 15
- 5
- 6
- 4
- 4
- 12
- 5
- 4
- 25
- 5
- 11
- 9
- 4
- 4
- 13
- 4
- 23
- 6
- 4
- 4
- 6
- 5
- 16
- 8
- 6
- 4
- 5
- 9
- 6
- 5
- 4
- 5
- 20
- 8
- 4
- 10
- 4
- 6
- 6
- 6
- 5
- 4
- 4
- 6
- 5
- 9
- 5
- 4
- 18
- 5
- 7
- 4
- 4
- 4
- 9
- 4
- 6
- 25
- 7
- 14
- 4
- 5
- 4
- 14
- 4
- 9
- 7
- 4
- 5
- 18
- 7
- 6
- 5
- 18
- 4
- 10
- 4
- 4
- 6
- 5
- 24
- 5
- 42
- 4
- 4
- 14
- 24
- 4
- 18
- 4
- 4
- 5
- 5
- 4
- 33
- 7
- 5
- 5
- 23
- 20
- 7
- 4
- 4
- 4
- 4
- 6
- 7
- 18
- Verlag
-
- 2
- 7626
- 3
- 3
- 1
- 1
- 2
- 2
- 1
- 32
- Preis
-
- 27
- 222
- 5806
- 1618
- Sprachen
-
- 7668
- 16
- 12
- Verfügbarkeit
-
- 7662
- 11
- Eigenschaften
-
- 1
- Katalog
-
- 7673
- 346
-
Delgado Kloos Semantics of Digital Circuits
1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18540-6Medium: Buch24,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage24,60 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Benninghofen / Kemmerich / Richter Systems of Reductions
1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18598-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
The Munich Project CIP
Volume II: The Programme Transformation System CIP-S1. Auflage 1988Verlag: SpringerISBN: 978-3-540-18779-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Geuvers / Wiedijk Types for Proofs and Programs
Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected PapersErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-14031-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chaghaghi Time Series Package (TSPACK)
1. Auflage 1985Verlag: SpringerISBN: 978-3-540-15202-6Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,44 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Makedon / Mehlhorn / Papatheodorou VLSI Algorithms and Architectures
Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986. Proceedings1. Auflage 1986Verlag: SpringerISBN: 978-3-540-16766-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Poli Applied Algebra, Algorithmics and Error-Correcting Codes
2nd International Conference, AAECC-2, Toulouse, France, October 1-5, 1984. Proceedings1. Auflage 1986Verlag: SpringerISBN: 978-3-540-16767-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Melton Mathematical Foundation of Programming Semantics
International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings1. Auflage 1986Verlag: SpringerISBN: 978-3-540-16816-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Engeler Logic of Programs
Workshop, ETH Zürich, May-July 19791. Auflage 1981Verlag: SpringerISBN: 978-3-540-11160-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hailpern Verifying Concurrent Processes Using Temporal Logic
1. Auflage 1982Verlag: SpringerISBN: 978-3-540-11205-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ausiello / Böhm Automata, Languages and Programming
Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings1. Auflage 1978Verlag: SpringerISBN: 978-3-540-08860-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Schlender / Frielinghaus GI - 3. Fachtagung über Programmiersprachen
Gesellschaft für Informatik e.V., Kiel, 5.-7. März 19741. Auflage 1974Verlag: SpringerISBN: 978-3-540-06666-8Medium: Buch15,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage15,50 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Brookes / Roscoe / Winskel Seminar on Concurrency
Carnegie-Mellon University Pittsburgh, PA, July 9-11, 19841. Auflage 1985Verlag: SpringerISBN: 978-3-540-15670-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Nickel Interval Mathematics
Proceedings of the International Symposium Karlsruhe, West Germany, May 20-24, 19751. Auflage 1975Verlag: SpringerISBN: 978-3-540-07170-9Medium: Buch32,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage32,09 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Felber Structural Information and Communication Complexity
15th International Colloquium, SIROCCO 2008, Villars-sur-Ollon, Switzerland, June 17-20, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-69326-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hu / Wang Computing and Combinatorics
14th International Conference, COCOON 2008 Dalian, China, June 27-29, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-69732-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Voronkov Rewriting Techniques and Applications
19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-70588-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bin / Ziv / Ur Hardware and Software, Verification and Testing
Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-70888-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lee / Yi / Yung Information Security Applications
7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71092-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pujolle / Perros / Fdida NETWORKING 2000. Broadband Communications, High Performance Networking, and Performance of Communication Networks
IFIP-TC6/European Commission International Conference Paris, France, May 14-19, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67506-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Rus Algebraic Methodology and Software Technology
8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67530-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lopez de Mantaras / Plaza Machine Learning: ECML 2000
11th European Conference on Machine Learning Barcelona, Catalonia, Spain May, 31 - June 2, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67602-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
McAllester Automated Deduction - CADE-17
17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67664-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bachmair Rewriting Techniques and Applications
11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67778-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Du / Eades / Estivill-Castro Computing and Combinatorics
6th Annual International Conference, COCOON 2000, Sydney, Australia, July 26-28, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67787-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort