Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1969
- 277
- 4
- Erscheinungsjahr
-
- 20
- 50
- 138
- 251
- 173
- 104
- 110
- 104
- 71
- 85
- 43
- 58
- 53
- 45
- 96
- 148
- 38
- 85
- 29
- 26
- 28
- 23
- 25
- 28
- 25
- 25
- 38
- 24
- 23
- 28
- 33
- 24
- 22
- 23
- 10
- 14
- 9
- 21
- 23
- 11
- 17
- 8
- 7
- 2
- 2
- 5
- 4
- 1
- 2
- 1
- 1
- 2
- 3
- 1
- 3
- 1
- 1
- 1
- Autoren
-
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 4
- 5
- 3
- 4
- 9
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 7
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 10
- 2
- 2
- 2
- 2
- 2
- 2
- 13
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 8
- 9
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 7
- 3
- 2
- 2
- 2
- 2
- 2
- 22
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 4
- 2
- 8
- 2
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 5
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 3
- 2
- 5
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 6
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 13
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 11
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 4
- 2
- 3
- 2
- 3
- 2
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 4
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 5
- 2
- 4
- 6
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 13
- 2
- 2
- 3
- 2
- 5
- 3
- 2
- 2
- 13
- 2
- 2
- 3
- 4
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 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
- 5
- 2
- 2
- 9
- 2
- 2
- 6
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 5
- 6
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 11
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 7
- 2
- 2
- 3
- 3
- 3
- 3
- 4
- 4
- 3
- 3
- 8
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 4
- 3
- 6
- 6
- 3
- 5
- 3
- 4
- 3
- 6
- 4
- 3
- 5
- 5
- 5
- 7
- 5
- 9
- 7
- 4
- 4
- 3
- 4
- 3
- 3
- 4
- 3
- 4
- 3
- 8
- 6
- 4
- 4
- 3
- 3
- 3
- 4
- 3
- 9
- 3
- 3
- 6
- 3
- 5
- 3
- 6
- 5
- 13
- 14
- 3
- 3
- 4
- 3
- 6
- 4
- 3
- 3
- 9
- 11
- 4
- 3
- 4
- 3
- 6
- 6
- 3
- 4
- 3
- 5
- 3
- 5
- 3
- 4
- 5
- 13
- 5
- 4
- 13
- 6
- 5
- 4
- 4
- 3
- 5
- 3
- 3
- 6
- Verlag
-
- 4
- 1
- 2
- 5
- 8
- 19
- 7
- 2
- 28
- 1
- 3
- 42
- 132
- 265
- 4
- 1
- 2
- 2
- 21
- 12
- 6
- 1
- 1
- 2
- 1
- 2
- 4
- 7
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 6
- 1
- 7
- 1
- 6
- 1
- 1
- 1
- 3
- 1
- 9
- 16
- 1
- 1321
- 3
- 7
- 1
- 7
- 9
- 44
- 36
- 1
- 57
- 6
- 19
- 11
- 1
- 14
- 1
- 40
- 2
- 17
- Preis
-
- 38
- 248
- 918
- 1046
- Sprachen
-
- 2114
- 139
- 1
- Verfügbarkeit
-
- 2208
- 42
- Katalog
-
- 2250
- 119
-
Kropf Formal Hardware Verification
Methods and Systems in Comparison1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63475-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Flener Logic-Based Program Synthesis and Transformation
8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected PapersErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-65765-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lemos / Gacek / Romanovsky Architecting Dependable Systems
1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40727-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lisper Synthesizing Synchronous Systems by Static Scheduling in Space-Time
1. Auflage 1989Verlag: SpringerISBN: 978-3-540-51156-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bertels / Cardoso / Vassiliadis Reconfigurable Computing: Architectures and Applications
Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006 Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-36708-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Carreno / Munoz / Tahar Theorem Proving in Higher Order Logics
15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44039-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Falsafi / Vijaykumar Power-Aware Computer Systems
4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29790-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Damm / Olderog Formal Techniques in Real-Time and Fault-Tolerant Systems
7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-44165-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Larsen / Skou Computer Aided Verification
3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55179-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Falsafi / Lauria Network-Based Parallel Computing - Communication, Architecture, and Applications
4th International Workshop, CANPC 2000 Toulouse, France, January 8, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67879-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hartenstein / Grünbacher Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing
10th International Conference, FPL 2000 Villach, Austria, August 27-30, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67899-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gurevich / Kutter / Odersky Abstract State Machines - Theory and Applications
International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-67959-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bakker / Nijman / Treleaven PARLE Parallel Architectures and Languages Europe
Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings1. Auflage 1987Verlag: SpringerISBN: 978-3-540-17945-0Medium: Buch50,28 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage50,28 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Snyers / Thayse From Logic Design to Logic Programming
Theorem Proving Techniques and P-Functions1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18217-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
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 -
Budach / Bukharajev / Lupanov Fundamentals of Computation Theory
International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18740-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Houstis / Papatheodorou / Polychronopoulos Supercomputing
1st International Conference, Athens, Greece, June 8-12, 1987; Proceedings1. Auflage 1988Verlag: SpringerISBN: 978-3-540-18991-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Stefani / Demeure / Hagimont Distributed Applications and Interoperable Systems
4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-20529-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Falsafi / Vijaykumar Power-Aware Computer Systems
Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003, Revised Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-24031-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Yew / Xue Advances in Computer Systems Architecture
9th Asia-Pacific Conference, ACSAC 2004, Beijing, China, September 7-9, 2004, Proceedings1. Auflage 2004Verlag: SpringerISBN: 978-3-540-23003-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Liu / Wang / Ma Pattern Recognition and Computer Vision
6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part IV1. Auflage 2024Verlag: SpringerISBN: 978-981-99-8461-9Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage85,59 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pang / Niehren Computational Methods in Systems Biology
21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-42696-4Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage69,54 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Jouannaud Functional Programming Languages and Computer Architecture
Proceedings, Nancy, France, September 16-19, 19851. Auflage 1985Verlag: SpringerISBN: 978-3-540-15975-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (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 -
Beech / Gram / Kugler Concepts in User Interfaces
A Reference Model for Command and Response Languages1. Auflage 1986Verlag: SpringerISBN: 978-3-540-16791-4Medium: 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