Ergebnisse filtern
- Fachgebiet
- Medium
-
- 1146
- Erscheinungsjahr
-
- 5
- 56
- 71
- 70
- 73
- 60
- 65
- 65
- 66
- 75
- 78
- 71
- 67
- 66
- 62
- 68
- 59
- 69
- Autoren
-
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 5
- 1
- 2
- 1
- 1
- 6
- 1
- 3
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 34
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 8
- 1
- 1
- 3
- 1
- 1
- 1
- 8
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 3
- 1
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 4
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 6
- 1
- 3
- 4
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 3
- 1
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 4
- 1
- 2
- 2
- 2
- 1
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 5
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 2
- 4
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 6
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 5
- 1
- 1
- 6
- 3
- 2
- 2
- 2
- 1
- 1
- 3
- 1
- 1
- 2
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 4
- 4
- 1
- 1
- 1
- 1
- 2
- 3
- 2
- 1
- 1
- 3
- 14
- 11
- 1
- 1
- 3
- 1
- 2
- 1
- 2
- 6
- 4
- 1
- 1
- 1
- 1
- 5
- 2
- 2
- 7
- 3
- 2
- 2
- 3
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 4
- 4
- 2
- 2
- 4
- 4
- 3
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 8
- 2
- 2
- 2
- 2
- 3
- 2
- 5
- 9
- 6
- 2
- 40
- 4
- 2
- 5
- 2
- 2
- 3
- 2
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 2
- 3
- 2
- 4
- 3
- 3
- 3
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 6
- 3
- 2
- 3
- 5
- 3
- 5
- 2
- 4
- 2
- 2
- 3
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 3
- 7
- 2
- 6
- 2
- 2
- 4
- 3
- 2
- 2
- 6
- 2
- 2
- 4
- 2
- 3
- 6
- 2
- 5
- 2
- 2
- 2
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 6
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 5
- 2
- 13
- 3
- 2
- 4
- 2
- 3
- 3
- 2
- 2
- 3
- 3
- 2
- 3
- 5
- 2
- 3
- 4
- 3
- 2
- 2
- 10
- 7
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 3
- 4
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 11
- 2
- 8
- 4
- 2
- 3
- 2
- 3
- 3
- 6
- 2
- 3
- 2
- 6
- 6
- 2
- 3
- 3
- 3
- 6
- 2
- 3
- 2
- 2
- 2
- 11
- 2
- 2
- 2
- 2
- 2
- 11
- 6
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 3
- 28
- 2
- 2
- 4
- 3
- 2
- 2
- 3
- 3
- 4
- 2
- 5
- 35
- 2
- 4
- 3
- 3
- 2
- 4
- 2
- 3
- 3
- 5
- 2
- 2
- 2
- 4
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 7
- 3
- 3
- 3
- 2
- 3
- 2
- 2
- 5
- 3
- 3
- 2
- 2
- 2
- 4
- 2
- 2
- 6
- 3
- 2
- 2
- 2
- 3
- 2
- 7
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 9
- 6
- 2
- 2
- 2
- 3
- 5
- 2
- 2
- 2
- 4
- 3
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 6
- 10
- 9
- 2
- 3
- 6
- 2
- 3
- 3
- 3
- 2
- 3
- 4
- 14
- 2
- 2
- 3
- 2
- 2
- 2
- 3
- 7
- 3
- 2
- 2
- 2
- 4
- 2
- 3
- 2
- 2
- 6
- 2
- 3
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 7
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 8
- 11
- 4
- 2
- 6
- 8
- 11
- 2
- 2
- 2
- 5
- 4
- 3
- 3
- 2
- 2
- 3
- 6
- 2
- 39
- 2
- 11
- 2
- 4
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 3
- 2
- 2
- 2
- 6
- 8
- 10
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 4
- 2
- 2
- 2
- 3
- 3
- 3
- 3
- 2
- 3
- 8
- 8
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 7
- 2
- 3
- 2
- 2
- 4
- 2
- 2
- 2
- 5
- 2
- 2
- 2
- 3
- 2
- 2
- 7
- 4
- 2
- 3
- 3
- 8
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 4
- 5
- 5
- 3
- 2
- 2
- 2
- 3
- 3
- 2
- 2
- 4
- 2
- Verlag
-
- 1134
- 2
- 10
- Preis
-
- 49
- 903
- 194
- Sprachen
-
- 1146
- Verfügbarkeit
-
- 1146
- Katalog
-
- 1146
- 16
Der Inhalt wurde erfolgreich kopiert
-
Jhala / Schmidt Verification, Model Checking, and Abstract Interpretation
12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-18274-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
George / Liu / Woodcock Domain Modeling and the Duration Calculus
International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures1. Auflage 2007Verlag: SpringerISBN: 978-3-540-74963-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Patt / Foglia / Duesterwald High Performance Embedded Architectures and Compilers
5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11514-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Sakallah / Simon Theory and Application of Satisfiability Testing
14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-21580-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Scholz / Chitil Implementation and Application of Functional Languages
20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24451-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Martín-Vide / Pond / Vega-Rodríguez Theory and Practice of Natural Computing
8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9-11, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-34499-3Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage62,05 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Mesnard / Stuckey Logic-Based Program Synthesis and Transformation
28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-13837-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chaves / Martins Molecular Logic and Computational Synthetic Biology
First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-19431-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Martín-Vide / Vega-Rodríguez / Yang Theory and Practice of Natural Computing
9th International Conference, TPNC 2020, Taoyuan, Taiwan, December 7-9, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-62999-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Qiu Algorithms and Architectures for Parallel Processing
20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part I1. Auflage 2020Verlag: SpringerISBN: 978-3-030-60244-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Chatterjee / Henzinger Formal Modeling and Analysis of Timed Systems
8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15296-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Emerson / Namjoshi Verification, Model Checking, and Abstract Interpretation
7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-31139-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Hoos / Mitchell Theory and Applications of Satisfiability Testing
7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-27829-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Haddad / Pomello Application and Theory of Petri Nets
33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31130-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dondi / Fertin / Mauri Algorithmic Aspects in Information and Management
11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-41167-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Dennunzio / Formenti / Manzoni Cellular Automata and Discrete Complex Systems
23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-58630-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Adali / Jutten / Romano Independent Component Analysis and Signal Separation
8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00598-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage106,99 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Carretero / Garcia-Blas / Gergel Algorithms and Architectures for Parallel Processing
ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-49955-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Isokawa / Imai / Matsui Cellular Automata and Discrete Complex Systems
20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-18811-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wen / Zomaya / Yang Algorithms and Architectures for Parallel Processing
19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, Proceedings, Part I1. Auflage 2020Verlag: SpringerISBN: 978-3-030-38990-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
De Schreye Logic-Based Program Synthesis and Transformation
19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-12591-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Becker / Woods / Athanas Reconfigurable Computing: Architectures, Tools and Applications
5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00640-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Lerner / Wagner / Zweig Algorithmics of Large and Complex Networks
Design, Analysis, and Simulation1. Auflage 2009Verlag: SpringerISBN: 978-3-642-02093-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
Wang / Zomaya / Martinez Algorithms and Architectures for Parallel Processing
15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II1. Auflage 2015Verlag: SpringerISBN: 978-3-319-27121-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage53,49 € (inkl. MwSt.)
Lieferfrist: bis zu 10 Werktage -
De Bosschere / Kaeli / Stenström High Performance Embedded Architectures and Compilers
Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-69337-6Medium: 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