Ergebnisse filtern
-
- 327
-
- 327
-
- 3
- 13
- 272
- 39
-
- 327
- 1
- 1
-
- 327
-
- 327
- 5
-
Galmiche Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-62920-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hentenryck Static Analysis
4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63468-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Frachtenberg / Schwiegelshohn Job Scheduling Strategies for Parallel Processing
14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009, Revised Papers1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-04632-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Deransart / Lorho / Maluszynski Programming Languages Implementation and Logic Programming
International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings1. Auflage 1989Verlag: SpringerISBN: 978-3-540-50820-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Thayse P-Functions and Boolean Matrix Factorization
A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms1. Auflage 1984Verlag: SpringerISBN: 978-3-540-13358-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cámara / Jongmans Formal Aspects of Component Software
19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers1. Auflage 2024Verlag: SpringerISBN: 978-3-031-52182-9Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Muggleton Inductive Logic Programming
6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected PapersErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63494-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ghaffari / Nesterenko / Tixeuil Stabilization, Safety, and Security of Distributed Systems
21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-34991-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Harris / Li Engineering Psychology and Cognitive Ergonomics
20th International Conference, EPCE 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I1. Auflage 2023Verlag: SpringerISBN: 978-3-031-35391-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Koopman / Clack Implementation of Functional Languages
11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67864-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lecomte / Lamarche / Perrier Logical Aspects of Computational Linguistics
Second International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected PapersErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-65751-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Snepscheut Trace Theory and VLSI Design
1. Auflage 1985Verlag: SpringerISBN: 978-3-540-15988-9Medium: 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 I1. Auflage 2023Verlag: SpringerISBN: 978-3-031-48614-2Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chamberlain / Edin Grimheden / Taha Cyber Physical Systems. Model-Based Design
9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-41130-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hartenstein / Keevallik Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm
8th International Workshop, FPL'98 Tallinn, Estonia, August 31 - September 3, 1998 ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64948-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Caino-Lores / Diehl / Zeinalipour Euro-Par 2024: Parallel Processing Workshops
Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part IErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-90199-7Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Meng / Li / Xu Spatial Data and Intelligence
4th International Conference, SpatialDI 2023, Nanchang, China, April 13-15, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-32909-8Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yang / Suhartanto / Wang Advanced Data Mining and Applications
19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023, Proceedings, Part IV1. Auflage 2023Verlag: SpringerISBN: 978-3-031-46673-1Medium: Buch106,99 € (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 IV1. Auflage 2018Verlag: SpringerISBN: 978-3-030-05062-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pettorossi Logic Based Program Synthesis and Transformation
11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected PapersErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43915-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chatzigiannakis / Karydis Algorithmic Aspects of Cloud Computing
8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers1. Auflage 2024Verlag: SpringerISBN: 978-3-031-49360-7Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Alferes / Moniz Pereira Reasoning with Logic Programming
Erscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61488-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lee Grid Computing - GRID 2001
Second International Workshop, Denver, CO, USA, November 12, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42949-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mogensen / Mikulski Reversible Computation
16th International Conference, RC 2024, Toru¿, Poland, July 4-5, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-62075-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
McIntosh-Smith / Klemm / de Supinski OpenMP: Advanced Task-Based, Device and Compiler Programming
19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-40743-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