Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1862
- 6
- 3
- Erscheinungsjahr
-
- 7
- 9
- 19
- 13
- 18
- 18
- 25
- 36
- 18
- 38
- 25
- 44
- 31
- 40
- 31
- 104
- 44
- 79
- 159
- 129
- 146
- 115
- 113
- 84
- 76
- 58
- 50
- 47
- 38
- 38
- 36
- 29
- 31
- 18
- 33
- 14
- 19
- 9
- 9
- 7
- 4
- 1
- 4
- 2
- Autoren
-
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 2
- 1
- 8
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 4
- 1
- 1
- 3
- 2
- 1
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 3
- 2
- 3
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 4
- 2
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 11
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 3
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 8
- 3
- 2
- 3
- 2
- 2
- 2
- 7
- 5
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 8
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 5
- 2
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 5
- 4
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 3
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- 13
- 7
- 2
- 16
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 5
- 4
- 2
- 5
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 6
- 4
- 2
- 2
- 5
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 3
- 12
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 4
- 2
- 6
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 7
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 15
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 3
- 5
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 3
- 4
- 3
- 2
- 3
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 3
- 4
- 2
- 2
- 2
- 3
- 4
- 2
- 3
- 6
- 2
- 2
- 5
- 2
- 8
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 2
- 2
- 2
- 6
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 16
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 3
- 13
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 6
- 2
- 3
- 6
- 16
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 3
- 2
- 2
- 3
- 8
- 2
- 2
- 2
- 4
- 2
- 4
- 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
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 2
- 7
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 2
- 4
- 2
- 2
- 2
- 4
- 2
- 9
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 3
- 4
- 2
- 2
- 4
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 7
- 2
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- Verlag
-
- 1
- 2
- 2
- 3
- 3
- 9
- 1
- 22
- 1
- 2
- 6
- 1
- 3
- 3
- 2
- 2
- 1
- 4
- 2
- 1
- 1
- 3
- 2
- 3
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1614
- 10
- 6
- 1
- 51
- 17
- 31
- 17
- 7
- 1
- 1
- 1
- 1
- 3
- 2
- 14
- 1
- Preis
-
- 2
- 47
- 1125
- 697
- Sprachen
-
- 1860
- 10
- 2
- Verfügbarkeit
-
- 1868
- 3
- Katalog
-
- 1871
- 114
-
Hinchey / Bowen / Olderog Provably Correct Systems
1. Auflage 2017Verlag: SpringerISBN: 978-3-319-48627-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hinchey / Bowen / Olderog Provably Correct Systems
Softcover Nachdruck of the original 1. Auflage 2017Verlag: SpringerISBN: 978-3-319-83980-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (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 -
Talbi / Liardet / Collet Artificial Evolution
7th International Conference, Evolution Artificielle, EA 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33589-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Migdalas / Pardalos / Storøy Parallel Computing in Optimization
1. Auflage 1997Verlag: SpringerISBN: 978-0-7923-4583-1Medium: Buch320,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage320,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Echtle / Hammer / Powell Dependable Computing - EDCC-1
First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. ProceedingsErscheinungsjahr 1994Verlag: SpringerISBN: 978-3-540-58426-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Monmarché / Talbi / Collet Artificial Evolution
8th International Conference, Evolution Artificielle, EA 2007 Tours, France, October 29-31, 2007, Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-79304-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Degano / de Nicola / Meseguer Concurrency, Graphs and Models
Essays Dedicated to Ugo Montanari on the Occasion of His 65th BirthdayErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-68676-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Windeatt / Roli Multiple Classifier Systems
4th International Workshop, MCS 2003, Guilford, UK, June 11-13, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-40369-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Corliss / Faure / Griewank Automatic Differentiation of Algorithms
From Simulation to Optimization1. Auflage 2002Verlag: Springer Nature B.V.ISBN: 978-0-387-95305-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen53,49 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Lizier The Local Information Dynamics of Distributed Computation in Complex Systems
1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32951-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Etiemble / Syre PARLE '92. Parallel Architectures and Languages Europe
4th International PARLE Conference, Paris, France, June 15-18, 1992 ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55599-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dershowitz Rewriting Techniques and Applications
3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings1. Auflage 1989Verlag: SpringerISBN: 978-3-540-51081-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Melham Higher Order Logic and Hardware Verification
Erscheinungsjahr 2012Verlag: Cambridge University PressISBN: 978-0-521-41718-1Medium: Buch142,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage142,00 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bradley / Manna The Calculus of Computation
Decision Procedures with Applications to Verification1. Auflage 2007Verlag: Springer NetherlandsISBN: 978-3-540-74112-1Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage80,24 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ait-Ameur / Nakajima / Méry Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Communications of NII Shonan Meetings1. Auflage 2021Verlag: SpringerISBN: 978-981-15-5056-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dastani / Dix / EL Fallah-Seghrouchni Programming Multi-Agent Systems
First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers1. Auflage 2004Verlag: SpringerISBN: 978-3-540-22180-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Pande / Agrawal Compiler Optimizations for Scalable Parallel Systems
Languages, Compilation Techniques, and Run Time SystemsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-41945-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Gervasi / Kumar / Tan Computational Science and Its Applications - ICCSA 2006
International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34079-9Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage160,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Bradley / Manna The Calculus of Computation
Decision Procedures with Applications to VerificationSoftcover Nachdruck of hardcover 1. Auflage 2007Verlag: SpringerISBN: 978-3-642-09347-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ait-Ameur / Nakajima / Méry Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Communications of NII Shonan Meetings1. Auflage 2021Verlag: SpringerISBN: 978-981-15-5053-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Melham Higher Order Logic and Hardware Verification
Erscheinungsjahr 2009Verlag: Cambridge University PressISBN: 978-0-521-11532-2Medium: Buch54,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage54,00 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Ancona / Bono / Bravetti Behavioral Types in Programming Languages
1. Auflage 2016Verlag: Now PublishersISBN: 978-1-68083-134-4Medium: Buch86,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen86,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Kent / Sands High Performance Computing Systems and Applications
1. Auflage 2003Verlag: Springer Nature B.V.ISBN: 978-1-4020-7389-2Medium: Buch160,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen160,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Causal System Analysis
Erscheinungsjahr 2006Verlag: SpringerISBN: 978-1-85233-653-0Medium: BuchLieferzeit ca. 3 bis 4 WochenLieferzeit ca. 3 bis 4 Wochen
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort