Ergebnisse filtern
-
- 219
-
- 218
- 1
-
- 5
- 176
- 38
-
- 219
-
- 219
-
- 219
- 4
-
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 Werktage -
Cousot Verification, Model Checking, and Abstract Interpretation
6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-24297-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bourgeois / Zheng Algorithms and Architectures for Parallel Processing
8th International Conference, ICA3PP 2008, Agia Napa, Cyprus, June 9-11, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-69500-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 Werktage -
Cook / Podelski Verification, Model Checking, and Abstract Interpretation
8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-69735-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Börger / Butler / Bowen Abstract State Machines, B and Z
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-87602-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vaidya / Li Algorithms and Architectures for Parallel Processing
18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I1. Auflage 2018Verlag: SpringerISBN: 978-3-030-05050-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dorigo / Birattari / Blum Ant Colony Optimization and Swarm Intelligence
6th International Conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-87526-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Giacobazzi / Berdine / Mastroeni Verification, Model Checking, and Abstract Interpretation
14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-35872-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 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 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 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 Werktage -
Seznec / Emer / O'Boyle High Performance Embedded Architectures and Compilers
Fourth International Conference, HiPEAC 2009Erscheinungsjahr 2009Verlag: SpringerISBN: 978-3-540-92989-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Morazán / Scholz Implementation and Application of Functional Languages
21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-16477-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mira / Ferrández / Alvarez Sanchez Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy
Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part IErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02263-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cassez / Jard Formal Modeling and Analysis of Timed Systems
6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85777-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brodnik / Lopez-Ortiz / Raman Space-Efficient Data Structures, Streams, and Algorithms
Papers in Honor of J. Ian Munro, on the Occasion of His 66th BirthdayErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40272-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gleich / Komjáthy / Litvak Algorithms and Models for the Web Graph
12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-26783-8Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wyrzykowski / Dongarra / Karczewski Parallel Processing and Applied Mathematics, Part I
8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 20091. Auflage 2010Verlag: SpringerISBN: 978-3-642-14389-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gopal / Agrawal / Li Theory and Applications of Models of Computation
11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-06088-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bonato / Graham / Pralat Algorithms and Models for the Web Graph
13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14-15, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-49786-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mira / Ferrández / Alvarez Sanchez Bioinspired Applications in Artificial and Natural Computation
Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part IIErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02266-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bonato / Janssen Algorithms and Models for the Web Graph
9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-30540-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kulkarni / Schiper Stabilization, Safety, and Security of Distributed Systems
10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-89334-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Frappier / Glässer / Khurshid Abstract State Machines, Alloy, B and Z
Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11810-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort