Aufgrund einer technischen Störung sind wir derzeit telefonisch nicht erreichbar. Wir arbeiten bereits an der Behebung. Vielen Dank für Ihr Verständnis.
Ergebnisse filtern
-
- 383
- 20
-
- 4
- 39
- 216
- 144
-
- 372
- 31
-
- 389
- 14
-
- 403
- 15
Compiler
-
Milano Constraint and Integer Programming
Toward a Unified Methodology1. Auflage 2012Verlag: SpringerISBN: 978-1-4613-4719-4Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kilov / Rumpe / Simmonds Behavioral Specifications of Businesses and Systems
1. Auflage 2012Verlag: SpringerISBN: 978-1-4613-7383-4Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Allen / Kennedy Optimizing Compilers for Modern Architectures
A Dependence-Based ApproachErscheinungsjahr 2001Verlag: Elsevier ScienceISBN: 978-1-55860-286-1Medium: Buch127,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Kilov / Harvey Object-Oriented Behavioral Specifications
Erscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4757-7040-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Donohoe Software Architecture
TC2 First Working IFIP Conference on Software Architecture (WICSA1) 22-24 February 1999, San Antonio, Texas, USAErscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4757-6536-6Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mende Software Development for SAP R/3®
Data Dictionary, ABAP/4®, InterfacesErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-62971-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bechtolsheim TEX in Practice
Volume III: Tokens, Macros1993Verlag: SpringerISBN: 978-1-4612-7642-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Versteegen Projektmanagement
mit dem Rational Unified ProcessErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-63092-7Medium: Buch69,95 € (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 -
Dybå / Dingsøyr / Moe Process Improvement in Practice
A Handbook for IT CompaniesErscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4757-8853-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Begain / Bolch / Herold Practical Performance Modeling
Application of the MOSEL Language1. Auflage 2012Verlag: SpringerISBN: 978-1-4613-5528-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 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 -
Wagner Software-Engineering mit APL2
Eine Anleitung zur Entwicklung kommerzieller SystemeErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-30455-6Medium: Buch49,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vegas / Juristo / Basili Identifying Relevant Information for Testing Technique Selection
An Instantiated Characterization SchemaSoftcover Nachdruck of the original 1. Auflage 2003Verlag: Springer USISBN: 978-1-4613-5067-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nazareth DLP and Extensions
An Optimization Model and Decision Support SystemErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-62502-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gibbons / Jeuring Generic Programming
IFIP TC2 / WG2.1 Working Conference Programming July 11-12, 2002, Dagstuhl, Germany2003Verlag: SpringerISBN: 978-1-4757-5320-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jacobs / Rensink Formal Methods for Open Object-Based Distributed Systems V
IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20-22, 2002, Enschede, The NetherlandsErscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4757-5268-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Quintao Pereira Programming Languages
18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11862-8Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Banerjee / Gelernter / Nicolau Languages and Compilers for Parallel Computing
5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-57502-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ranzato Static Analysis
24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-66705-8Medium: 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 -
Cousot Static Analysis
8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42314-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tick / Succi Implementations of Logic Programming Systems
1. Auflage 2012Verlag: SpringerISBN: 978-1-4613-6157-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sehr / Banerjee / Gelernter Languages and Compilers for Parallel Computing
9th International Workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996, ProceedingsErscheinungsjahr 1997Verlag: SpringerISBN: 978-3-540-63091-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hedin Compiler Construction
12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings1. Auflage 2003Verlag: SpringerISBN: 978-3-540-00904-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cohen Compiler Construction
23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54806-2Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Müller-Olm Modular Compiler Verification
A Refinement-Algebraic Approach Advocating Stepwise Abstraction1. Auflage 1997Verlag: SpringerISBN: 978-3-540-63406-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sangiorgi / Simone CONCUR '98 Concurrency Theory
9th International Conference, Nice, France, September 8-11, 1998, Proceedings1. Auflage 1998Verlag: SpringerISBN: 978-3-540-64896-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Caires Programming Languages and Systems
28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-17183-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Franke Compiler Construction
24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-662-46662-9Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Smaragdakis / Balatsouras Pointer Analysis
1. Auflage 2015Verlag: Now PublishersISBN: 978-1-68083-020-0Medium: Buch62,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Kurian John / Maynard Workload Characterization of Emerging Computer Applications
1. Auflage 2012Verlag: SpringerISBN: 978-1-4613-5641-7Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lilja / Bird The Interaction of Compilation Technology and Computer Architecture
1. Auflage 2012Verlag: SpringerISBN: 978-1-4613-6154-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hunt Guide to C# and Object Orientation
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-1108-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Yang C++ and Object-Oriented Numeric Computing for Scientists and Engineers
1. Auflage 2012Verlag: SpringerISBN: 978-1-4612-6566-5Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jalote A Concise Introduction to Software Engineering
With Open Source and GenAI2. Auflage 2025Verlag: SpringerISBN: 978-3-031-74317-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Furht / Grostick / Gluch Real-Time UNIX® Systems
Design and Application GuideErscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4613-6777-2Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Campbell / Iyer / Akbal-Delibas Introduction to Compiler Construction in a Java World
1. Auflage 2012Verlag: Taylor & FrancisISBN: 978-1-4665-8766-3Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)132,99 € (inkl. MwSt.)
sofort verfügbar -
Campbell / Iyer / Akbal-Delibas Introduction to Compiler Construction in a Java World
1. Auflage 2013Verlag: Taylor & FrancisISBN: 978-1-4822-1507-6Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)132,99 € (inkl. MwSt.)
sofort verfügbar -
Kaswan / Balusamy / Nair Introduction to GPU Programming
1. Auflage 2027Verlag: Taylor & Francis LtdISBN: 978-1-041-30679-5Medium: Buch69,00 € (inkl. MwSt.)
vorbestellbar -
Dos Reis Compiler Construction
1. Auflage 2011Verlag: John Wiley & SonsISBN: 978-0-470-94959-7Medium: Buch116,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Swidzinski / Kushnir Modern CMake for C++
Effortlessly build cutting-edge C++ code and deliver high-quality solutions2. Auflage 2024Verlag: De GruyterISBN: 978-1-80512-336-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark29,99 € (inkl. MwSt.)
sofort verfügbar -
Jeffery Build Your Own Programming Language
A programmer's guide to designing compilers, interpreters, and DSLs for modern computing problems2. Auflage 2024Verlag: De GruyterISBN: 978-1-80461-715-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark31,99 € (inkl. MwSt.)
sofort verfügbar -
Lemanski / Johansen / Manalo Diagrammatic Representation and Inference
14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-71290-6Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Campanoni Guide to ILDJIT
1. Auflage 2011Verlag: SpringerISBN: 978-1-4471-2193-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lencevicius Advanced Debugging Methods
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4613-4688-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Könighofer / Torfah Runtime Verification
25th International Conference, RV 2025, Graz, Austria, September 15-19, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-032-05434-0Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beidler Data Structures and Algorithms
An Object-Oriented Approach Using Ada 95Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4612-7312-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Stärk / Schmid / Börger Java and the Java Virtual Machine
Definition, Verification, ValidationErscheinungsjahr 2001Verlag: Springer-Verlag GmbHISBN: 978-3-540-42088-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Vlahavas / Tsarchopoulos / Sakellariou Parallel and Constraint Logic Programming
An Introduction to Logic, Parallelism and Constraints1998Verlag: SpringerISBN: 978-1-4613-7329-2Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dwyer Model Checking Software
8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42124-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wada Logic Programming '85
Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 19851. Auflage 1986Verlag: SpringerISBN: 978-3-540-16479-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cortesi / File Static Analysis
6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66459-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ishikawa / Cunha Rigorous State-Based Methods
12th International Conference, ABZ 2026, Tokyo, Japan, May 18-20, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-26751-1Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Krishnamurthi / Ramakrishnan Practical Aspects of Declarative Languages
4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings1. Auflage 2002Verlag: SpringerISBN: 978-3-540-43092-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Delgado Kloos / Breuer Formal Semantics for VHDL
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4613-5941-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rajkumar Synchronization in Real-Time Systems
A Priority Inheritance ApproachErscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4613-6788-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lewi / Paredaens Data Structures of Pascal, Algol 68, PL/1 and Ada
Erscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-70241-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wright / Hanselman Blazor WebAssembly by Example
Use practical projects to start building web apps with .NET 7, Blazor WebAssembly, and C#2. Auflage 2024Verlag: De GruyterISBN: 978-1-80324-753-3Medium: eBookFormat: EPUB
Kopierschutz: 0 - No protection25,19 € (inkl. MwSt.)
sofort verfügbar -
Swidzinski Modern CMake for C++
Discover a better approach to building, testing, and packaging your software1. Auflage 2024Verlag: De GruyterISBN: 978-1-80107-165-9Medium: eBookFormat: EPUB
Kopierschutz: 0 - No protection34,79 € (inkl. MwSt.)
sofort verfügbar -
Bast / Di Remigio CMake Cookbook
Building, testing, and packaging modular software with modern CMake1. Auflage 2024Verlag: De GruyterISBN: 978-1-78847-234-0Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)50,49 € (inkl. MwSt.)
sofort verfügbar -
Stenström Transactions on High-Performance Embedded Architectures and Compilers III
1. Auflage 2011Verlag: SpringerISBN: 978-3-642-19447-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abadi / Cardelli A Theory of Objects
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4612-6445-3Medium: Buch246,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
van Tilborg / Koob Foundations of Real-Time Computing: Scheduling and Resource Management
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4613-6766-6Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Su / Yan Principles of Compilers
A New Approach to Compilers Including the Algebraic Method1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20834-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Banerjee / Gelernter / Nicolau Languages and Compilers for Parallel Computing
Fourth International Workshop, Santa Clara, California, USA, August 7-9, 1991. ProceedingsErscheinungsjahr 1992Verlag: SpringerISBN: 978-3-540-55422-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Interaction Between Compilers and Computer Architectures
1. Auflage. Softcover version of original hardcover Auflage 2001Verlag: SpringerISBN: 978-1-4419-4896-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rosenblum The Design and Implementation of a Log-structured file system
Softcover Nachdruck of the original 1. Auflage 1995Verlag: SpringerISBN: 978-1-4613-5933-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Royuela / de Supinski / Pophale OpenMP: Adaptability for Heterogeneous Multi-Device Systems
22nd International Workshop on OpenMP, IWOMP 2026, Vienna, Austria, October 7–9, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-41028-3Medium: Buch62,05 € (inkl. MwSt.)
vorbestellbar -
Grune / van Reeuwijk / Bal Modern Compiler Design
2. Auflage 2012Verlag: SpringerISBN: 978-1-4614-4698-9Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Cardoso / Diniz Compilation Techniques for Reconfigurable Architectures
Softcover Nachdruck of hardcover 1. Auflage 2009Verlag: SpringerISBN: 978-1-4419-3510-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Narendran / Rusinowitch Rewriting Techniques and Applications
10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66201-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Stenström Transactions on High-Performance Embedded Architectures and Compilers IV
1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24567-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Appel Modern Compiler Implementation in Java
2. Auflage 2015Verlag: Cambridge University PressISBN: 978-0-521-82060-8Medium: Buch113,30 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Scott / Aldrich Programming Language Pragmatics
5. Auflage 2025Verlag: Elsevier LTDISBN: 978-0-323-99966-3Medium: Buch96,00 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Garrido Performance Modeling of Operating Systems Using Object-Oriented Simulations
A Practical IntroductionSoftcover Nachdruck of the original 1. Auflage 2000Verlag: SpringerISBN: 978-1-4757-7311-8Medium: 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 -
Hammond / Gross / Wesson Usability
Gaining a Competitive EdgeSoftcover Nachdruck of the Original 1. 2002 Auflage 2013Verlag: Springer UsISBN: 978-1-4757-6910-4Medium: Buch107,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Adamo Multi-Threaded Object-Oriented MPI-Based Message Passing Interface
The ARCH Library1. Auflage 2012Verlag: SpringerISBN: 978-1-4613-7640-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Li / Yew / Chatterjee Languages and Compilers for Parallel Computing
10th International Workshop, LCPC'97, Minneapolis, Minnesota, USA, August 7-9, 1997. ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64472-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Collard Reasoning About Program Transformations
Imperative Programming and Flow of Data2003Verlag: SpringerISBN: 978-0-387-95391-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gorm Larsen / Rozier Formal Methods for Industrial Critical Systems
31st International Conference, FMICS 2026, Liverpool, UK, September 3–4, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-36848-5Medium: Buch70,61 € (inkl. MwSt.)
vorbestellbar -
Schwartz Cooperating Heterogeneous Systems
Softcover Nachdruck of the Original 1. 1995 Auflage 2012Verlag: Springer UsISBN: 978-1-4613-5928-9Medium: Buch107,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Archibald / Semeráth Graph Transformation
19th International Conference, ICGT 2026, Held as Part of STAF 2026, Rennes, France, July 1-2, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-29729-7Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Levine Linkers and Loaders
Erscheinungsjahr 1999Verlag: Elsevier Science & TechnologyISBN: 978-1-55860-496-4Medium: Buch68,00 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Broy / Denert Software Pioneers
Contributions to Software EngineeringSoftcover Nachdruck of the original 1. Auflage 2002Verlag: SpringerISBN: 978-3-642-63970-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Klemm / Cownie High Performance Parallel Runtimes
Design and Implementation1. Auflage 2021Verlag: De GruyterISBN: 978-3-11-063289-7Medium: eBookFormat: EPUB
Kopierschutz: 6 - ePub Watermark94,95 € (inkl. MwSt.)
sofort verfügbar -
Wilhelm / Seidl / Hack Compiler Design
Syntactic and Semantic Analysis1. Auflage 2013Verlag: SpringerISBN: 978-3-642-17539-8Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kauffman / Pedrielli Runtime Verification
26th International Conference, RV 2026, Kingston, ON, Canada, October 6–9, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-41159-4Medium: Buch87,73 € (inkl. MwSt.)
vorbestellbar -
Wirth Grundlagen und Techniken des Compilerbaus
Erscheinungsjahr 1997Verlag: De GruyterISBN: 978-3-486-24374-1Medium: Buch94,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Taft / Duff / Brukardt Consolidated Ada 2022 Reference Manual. Volume 1 - Core Language
Derived from Sources for International Standard ISO/IEC 8652:2023 (E) with 2025 AmendmentsErscheinungsjahr 2027Verlag: SpringerISBN: 978-3-031-83730-2Medium: Buch79,17 € (inkl. MwSt.)
vorbestellbar -
Cardoso / Diniz / de Figueiredo Coutinho Compilation and Synthesis for Embedded Reconfigurable Systems
An Aspect-Oriented Approach1. Auflage 2013Verlag: SpringerISBN: 978-1-4614-4893-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Muneeswaran Compiler Design (with CD)
Erscheinungsjahr 2013Verlag: Oxford University PressISBN: 978-0-19-806664-4Medium: Buch31,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Flener Logic Program Synthesis from Incomplete Information
Erscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4613-5925-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ramakrishnan Applications of Logic Databases
Erscheinungsjahr 2013Verlag: SpringerISBN: 978-1-4613-5926-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beng Kee Kiong Compiler Technology
Tools, Translators and Language Implementation1. Auflage 2012Verlag: SpringerISBN: 978-1-4613-7784-9Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Montesinos Languages and Compilers for Parallel Computing
26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25--27, 2013. Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-09966-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Leuschel / Ishikawa Rigorous State-Based Methods
11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, ProceedingsErscheinungsjahr 2025Verlag: SpringerISBN: 978-3-031-94532-8Medium: Buch139,09 € (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 -
Wei C++ Template Metaprogramming in Practice
A Deep Learning Framework1. Auflage 2020Verlag: Auerbach PublicationsISBN: 978-0-367-60956-6Medium: Buch177,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort