Ergebnisse filtern
-
- 327
-
- 327
-
- 3
- 13
- 272
- 39
-
- 327
- 1
- 1
-
- 327
-
- 327
- 5
-
Jagatheesan / Levandoski / Neumann In Memory Data Management and Analysis
First and Second International Workshops, IMDM 2013, Riva del Garda, Italy, August 26, 2013, IMDM 2014, Hongzhou, China, September 1, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-13959-3Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nambiar / Poess Topics in Performance Evaluation, Measurement and Characterization
Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29- September 3, 2011. Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32626-4Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schumacher Objective Coordination in Multi-Agent System Engineering
Design and Implementation1. Auflage 2001Verlag: SpringerISBN: 978-3-540-41982-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Müller / de Supinski / Chapman Evolving OpenMP in an Age of Extreme Parallelism
5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3-5, 2009 ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02284-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schmeck / Ungerer / Wolf Trends in Network and Pervasive Computing - ARCS 2002
International Conference on Architecture of Computing Systems, Karlsruhe, Germany, April 8-12, 2002 ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43409-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Joseph Formal Techniques in Real-Time and Fault-Tolerant Systems
6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-41055-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 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 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 Werktage -
Ravn / Rischel Formal Techniques in Real-Time and Fault-Tolerant Systems
5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-65003-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lastovetsky / Kechadi / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface
15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-87474-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zhong / Ohsuga New Directions in Rough Sets, Data Mining, and Granular-Soft Computing
7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66645-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jones / Hagiya / Sato Logic, Language and Computation
Festschrift in Honor of Satoru Takasu1. Auflage 1994Verlag: SpringerISBN: 978-3-540-57935-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Klemm / de Supinski / Klinkenberg OpenMP in a Modern World: From Multi-device Support to Meta Programming
18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27-30, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-15921-3Medium: Buch48,14 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bakker / Roever / Rozenberg Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 19881. Auflage 1989Verlag: SpringerISBN: 978-3-540-51080-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kropf Formal Hardware Verification
Methods and Systems in Comparison1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63475-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ausiello / Protasi CAAP '83
Trees in Algebra and Programming. 8th Colloquium L'Aquila, March 9-11, 1983. Proceedings1. Auflage 1983Verlag: SpringerISBN: 978-3-540-12727-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Treleaven / Vanneschi Future Parallel Computers
An Advanced Course, Pisa, Italy, June 9-20, 1986, Proceedings1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18203-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ottmann Automata, Languages and Programming
14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proceedings1. Auflage 1987Verlag: SpringerISBN: 978-3-540-18088-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yu / Paun Implementation and Application of Automata
5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised PapersErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42491-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Diaz / Orejas TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989
Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL)1. Auflage 1989Verlag: SpringerISBN: 978-3-540-50940-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Diaz / Orejas TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989
Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89)1. Auflage 1989Verlag: SpringerISBN: 978-3-540-50939-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Silvano / Bertels / Schulte Transactions on High-Performance Embedded Architectures and Compilers V
1. Auflage 2019Verlag: SpringerISBN: 978-3-662-58833-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brauer / Ehrig / Karhumäki Formal and Natural Computing
Essays Dedicated to Grzegorz Rozenberg1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43190-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Monien / Ottmann Data Structures and Efficient Algorithms
Final Report on the DFG Special Joint InitiativeErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55488-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Glück / Kaarsgaard Reversible Computation
17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-97062-7Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort