Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1727
- 58
- 5
- 3
- Erscheinungsjahr
-
- 1
- 106
- 170
- 96
- 113
- 106
- 75
- 86
- 46
- 55
- 42
- 44
- 92
- 143
- 24
- 69
- 26
- 22
- 24
- 18
- 20
- 21
- 20
- 22
- 37
- 20
- 23
- 24
- 34
- 21
- 20
- 23
- 10
- 14
- 9
- 22
- 23
- 9
- 17
- 8
- 7
- 2
- 2
- 5
- 4
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 1
- 1
- Autoren
-
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 4
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 7
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 4
- 4
- 2
- 3
- 10
- 2
- 5
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 3
- 6
- 3
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 13
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 9
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 22
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 8
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 4
- 3
- 2
- 3
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 13
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 11
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 2
- 2
- 6
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 5
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 5
- 2
- 5
- 2
- 4
- 6
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 6
- 13
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 13
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 6
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 6
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 2
- 4
- 11
- 2
- 2
- 2
- 4
- 2
- 3
- 4
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 5
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 7
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 3
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 8
- 2
- 2
- 2
- 4
- 2
- 4
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 3
- 6
- 2
- 3
- 2
- 5
- 2
- 6
- 5
- 13
- 2
- 14
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 3
- 3
- 6
- 2
- 9
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 6
- 2
- 6
- 2
- 4
- 3
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 13
- 5
- 2
- 4
- 2
- 2
- 13
- 3
- 5
- 4
- 4
- 2
- 2
- 2
- 2
- 3
- 5
- 2
- 3
- 6
- Verlag
-
- 2
- 3
- 5
- 5
- 2
- 6
- 8
- 2
- 16
- 1
- 2
- 4
- 2
- 45
- 92
- 1
- 1
- 2
- 2
- 18
- 11
- 6
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 4
- 2
- 2
- 1
- 3
- 15
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 5
- 5
- 1
- 158
- 241
- 344
- 2
- 137
- 133
- 33
- 1
- 230
- 2
- 9
- 1
- 9
- 10
- 49
- 36
- 25
- 4
- 4
- 14
- 1
- 32
- 1
- 1
- 2
- 2
- Preis
-
- 12
- 128
- 791
- 862
- Sprachen
-
- 1678
- 118
- 1
- Verfügbarkeit
-
- 1766
- 27
- Eigenschaften
-
- 1
- Katalog
-
- 1793
- 94
-
Gurevich / Thiele / Kutter Abstract State Machines - Theory and Applications
International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-67959-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zaniolo / Pedreschi Logic in Databases
International Workshop LID '96, San Miniato, Italy, July 1 - 2, 1996. Proceedings1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61814-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Dowek / Möller / Heering Higher-Order Algebra, Logic, and Term Rewriting
Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61254-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Sekanina Evolvable Components
From Theory to Hardware Implementations2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40377-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hughes Functional Programming Languages and Computer Architecture
5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54396-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Lisper Synthesizing Synchronous Systems by Static Scheduling in Space-Time
1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51156-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Nerode / Furbach Logic Programming and Nonmonotonic Reasoning
Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63255-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kluge Implementation of Functional Languages
8th International Workshop, IFL'96 Bad Godesberg, Germany, September 16-18, 1996, Selected Papers1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63237-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Kropf Formal Hardware Verification
Methods and Systems in Comparison1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63475-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rosolini / Moggi Category Theory and Computer Science
7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63455-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Paul / Müller The Complexity of Simple Computer Architectures
1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60580-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Przymusinski / Pereira Non-Monotonic Extensions of Logic Programming
ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59467-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Drechsler / Reis Advanced Logic Synthesis
1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-67294-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Forte / Tehranipoor / Bhunia Hardware Protection through Obfuscation
Softcover Nachdruck of the original 1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-84068-0Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage117,69 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Mrozek Multi-run Memory Tests for Pattern Sensitive Faults
1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-319-91203-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Vidal-Naquet / Monien STACS 86
3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 19861986Verlag: Springer Berlin HeidelbergISBN: 978-3-540-16078-6Medium: Buch37,44 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage37,44 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wolf Smart Camera Design
Algorithms, Architectures, and ArtSoftcover Nachdruck of the original 1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-88793-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Zymbler / Sokolinsky Parallel Computational Technologies
12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2¿6, 2018, Revised Selected Papers1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-99672-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Engeler Logic of Programs
Workshop, ETH Zürich, May-July 19791981Verlag: Springer Berlin HeidelbergISBN: 978-3-540-11160-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hailpern Verifying Concurrent Processes Using Temporal Logic
1982Verlag: Springer Berlin HeidelbergISBN: 978-3-540-11205-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Choi / Chung / Singh Intelligent Human Computer Interaction
15th International Conference, IHCI 2023, Daegu, South Korea, November 8¿10, 2023, Revised Selected Papers, Part II2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-53829-2Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage70,61 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Hannig / Cardoso / Teich Architecture of Computing Systems -- ARCS 2016
29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-30694-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Rozenberg / Zandron / Salomaa Membrane Computing
16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-28474-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Wang / Li / Zomaya Algorithms and Architectures for Parallel Processing
ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-27160-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Tage -
Thayse / Snyers From Logic Design to Logic Programming
Theorem Proving Techniques and P-Functions1987Verlag: Springer Berlin HeidelbergISBN: 978-3-540-18217-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