Ergebnisse filtern
-
- 119
-
- 118
- 1
-
- 7
- 103
- 9
-
- 119
-
- 110
- 9
-
- 119
- 2
Compiler
-
Moggi / Rosolini Category Theory and Computer Science
7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63455-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Nielsen / Rovan Mathematical Foundations of Computer Science 2000
25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings1. Auflage 2000Verlag: Springer-Verlag GmbHISBN: 978-3-540-67901-1Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Pluhár / Gaál Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning
17th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2024, Budapest, Hungary, October 28-30, 2024, Proceedings2025Verlag: SpringerISBN: 978-3-031-73473-1Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Staub / Singla Informatics in Schools. Fostering Problem-Solving, Creativity, and Critical Thinking Through Computer Science Education
18th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2025, Trier, Germany, September 8-10, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-01221-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage
-
Evans / Kent / Selic UML 2000 - The Unified Modeling Language: Advancing the Standard
Third International Conference York, UK, October 2-6, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-41133-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gogolla / Kobryn UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools
4th International Conference, Toronto, Canada, October 1-5, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42667-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Leroy / Ohori Types in Compilation
Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64925-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Luik / Laanpere Informatics in Schools. Challenges and Opportunities in Informatics Education in the Era of AI
19th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2026, Tallinn, Estonia, September 20–23, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-41152-5Medium: Buch62,05 € (inkl. MwSt.)
vorbestellbar
-
Dignum / Greaves Issues in Agent Communication
1. Auflage 2000Verlag: SpringerISBN: 978-3-540-41144-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Naish Negation and Control in Prolog
1. Auflage 1986Verlag: SpringerISBN: 978-3-540-16815-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Fiadeiro Recent Trends in Algebraic Development Techniques
13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected PapersErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66246-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bistarelli / Maratea / Santini AIxIA 2026 – Advances in Artificial Intelligence
XXIVth International Conference of the Italian Association for Artificial Intelligence, AIxIA 2026, Perugia, Italy, October 6–9, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-40773-3Medium: Buch70,61 € (inkl. MwSt.)
vorbestellbar
-
Bert / Choppy / Mosses Recent Trends in Algebraic Development Techniques
14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers1. Auflage 2000Verlag: SpringerISBN: 978-3-540-67898-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
-
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
-
Cotronis / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface
8th European PVM/MPI Users' Group Meeting, Santorini/Thera, Greece, September 23-26, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42609-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Dongarra / Kacsuk / Podhorszki Recent Advances in Parallel Virtual Machine and Message Passing Interface
7th European PVM/MPI Users' Group Meeting Balatonfüred, Hungary, September 10-13, 2000 ProceedingsErscheinungsjahr 2000Verlag: SpringerISBN: 978-3-540-41010-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Erwig / Paige / Van Wyk Software Language Engineering
6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-02653-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
-
Clarke / Voronkov Perspectives of Systems Informatics
8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-29708-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Böckle Exploitation of Fine-Grain Parallelism
Erscheinungsjahr 1995Verlag: SpringerISBN: 978-3-540-60054-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Callaghan / Luo / McKinna Types for Proofs and Programs
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected PapersErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-43287-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Mazurkiewicz / Winkowski CONCUR'97: Concurrency Theory
8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63141-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Oh / Sui Static Analysis
32nd International Symposium, SAS 2025, Singapore, Singapore, October 13-14, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-07105-7Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Morishima / Li / Ishikawa Database Systems for Advanced Applications. DASFAA 2024 International Workshops
BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-981-960913-0Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
