Ergebnisse filtern
-
- 324
-
- 48
- 180
- 25
- 18
- 53
-
- 3
- 11
- 273
- 37
-
- 324
- 1
- 1
-
- 324
-
- 324
- 5
-
Thayse / Snyers From Logic Design to Logic Programming
Theorem Proving Techniques and P-Functions1987Verlag: Springer Berlin HeidelbergISBN: 978-3-540-18217-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Keller / Brunner Self-Managing Distributed Systems
14th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2003, Heidelberg, Germany, October 20-22, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20314-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Woods / Brebner Field-Programmable Logic and Applications
11th International Conference, FPL 2001, Belfast, Northern Ireland, UK, August 27-29, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42499-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 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 Werktage -
Engeler Logic of Programs
Workshop, ETH Zürich, May-July 19791981Verlag: Springer Berlin HeidelbergISBN: 978-3-540-11160-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Flener Logic-Based Program Synthesis and Transformation
8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65765-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Djemame / Altmann / Naldi Economics of Grids, Clouds, Systems, and Services
16th International Conference, GECON 2019, Leeds, UK, September 17-19, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-36026-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bjørner / Zamulin / Broy Perspectives of System Informatics
4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43075-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Malyshkin Parallel Computing Technologies
18th International Conference, PaCT 2025, Almaty, Kazakhstan, October 6-10, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-06750-0Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kontogiannis / Foschini Algorithmic Aspects of Cloud Computing
7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-33436-8Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gutknecht Programming Languages and System Architectures
International Conference, Zurich, Switzerland, March 2 - 4, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57840-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
McIntosh-Smith / de Supinski / Klinkenberg OpenMP: Enabling Massive Node-Level Parallelism
17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14-16, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-85261-0Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Klusácek / Klusácek / Rodrigo Job Scheduling Strategies for Parallel Processing
27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-74429-7Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dowek / Möller / Heering Higher-Order Algebra, Logic, and Term Rewriting
Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61254-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lemos / Romanovsky / Gacek Architecting Dependable Systems
2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40727-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Przymusinski / Pereira Non-Monotonic Extensions of Logic Programming
ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59467-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Stefani / Hagimont / Demeure Distributed Applications and Interoperable Systems
4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20529-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kluge Implementation of Functional Languages
8th International Workshop, IFL'96 Bad Godesberg, Germany, September 16-18, 1996, Selected Papers1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63237-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Delgado Kloos Semantics of Digital Circuits
1987Verlag: Springer Berlin HeidelbergISBN: 978-3-540-18540-6Medium: Buch24,60 € (inkl. MwSt.)
Lieferzeit ca. 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 Werktage -
de Supinski / Valero-Lara / Labarta Evolving OpenMP for Evolving Architectures
14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-98520-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rothblum / Wee Theory of Cryptography
21st International Conference, TCC 2023, Taipei, Taiwan, November 29-December 2, 2023, Proceedings, Part III1. Auflage 2023Verlag: SpringerISBN: 978-3-031-48620-3Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hailpern Verifying Concurrent Processes Using Temporal Logic
1982Verlag: Springer Berlin HeidelbergISBN: 978-3-540-11205-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Glesner / Renovell / Zipf Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream
Reconfigurable Computing Is Going Mainstream2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-44108-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Antsaklis / Kohn / Sastry Hybrid Systems V
1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65643-2Medium: 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