Ergebnisse filtern
Fachgebiet
Medium
  • 359
  • 20
Erscheinungsjahr
  • 22
  • 21
  • 2
  • 2
  • 6
  • 1
  • 7
  • 6
  • 6
  • 7
  • 10
  • 21
  • 48
  • 98
  • 11
  • 9
  • 3
  • 3
  • 4
  • 3
  • 3
  • 1
  • 4
  • 20
  • 18
  • 14
  • 7
  • 7
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 6
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 1
  • 10
  • 2
  • 2
  • 1
  • 21
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 260
  • 1
  • 6
  • 8
  • 43
  • 2
  • 2
  • 1
  • 3
  • 4
  • 1
Preis
  • 4
  • 38
  • 200
  • 137
Sprachen
  • 349
  • 30
Verfügbarkeit
  • 377
  • 2
Katalog
  • 379
  • 15

Compiler

379  Titel
    Milano | Constraint and Integer Programming | Buch | Sack Fachmedien

    Milano Constraint and Integer Programming

    Toward a Unified Methodology
    Softcover Nachdruck of the original 1. Auflage 2004
    Verlag: Springer US
    ISBN: 978-1-4613-4719-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kilov / Rumpe / Simmonds | Behavioral Specifications of Businesses and Systems | Buch | Sack Fachmedien

    Kilov / Rumpe / Simmonds Behavioral Specifications of Businesses and Systems

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-7383-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Harvey / Kilov | Object-Oriented Behavioral Specifications | Buch | Sack Fachmedien

    Harvey / Kilov Object-Oriented Behavioral Specifications

    Softcover Nachdruck of the original 1. Auflage 1996
    Verlag: Springer US
    ISBN: 978-1-4757-7040-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mende | Software Development for SAP R/3® | Buch | Sack Fachmedien

    Mende Software Development for SAP R/3®

    Data Dictionary, ABAP/4®, Interfaces
    Softcover Nachdruck of the original 1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-642-62971-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Allen / Kennedy | Optimizing Compilers for Modern Architectures | Buch | Sack Fachmedien

    Allen / Kennedy Optimizing Compilers for Modern Architectures

    A Dependence-Based Approach
    Erscheinungsjahr 2001
    Verlag: Elsevier Science
    ISBN: 978-1-55860-286-1
    Medium: Buch
    126,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Donohoe | Software Architecture | Buch | Sack Fachmedien

    Donohoe Software Architecture

    TC2 First Working IFIP Conference on Software Architecture (WICSA1) 22-24 February 1999, San Antonio, Texas, USA
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4757-6536-6
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nazareth | DLP and Extensions | Buch | Sack Fachmedien

    Nazareth DLP and Extensions

    An Optimization Model and Decision Support System
    Softcover Nachdruck of the original 1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-642-62502-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Begain / Herold / Bolch | Practical Performance Modeling | Buch | Sack Fachmedien

    Begain / Herold / Bolch Practical Performance Modeling

    Application of the MOSEL Language
    Softcover Nachdruck of the original 1. Auflage 2001
    Verlag: Springer US
    ISBN: 978-1-4613-5528-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wagner | Software-Engineering mit APL2 | Buch | Sack Fachmedien

    Wagner Software-Engineering mit APL2

    Eine Anleitung zur Entwicklung kommerzieller Systeme
    Softcover Nachdruck of the original 1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-662-30455-6
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Evans / Kent / Selic | UML 2000 - The Unified Modeling Language: Advancing the Standard | Buch | Sack Fachmedien

    Evans / Kent / Selic UML 2000 - The Unified Modeling Language: Advancing the Standard

    Third International Conference York, UK, October 2-6, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41133-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vegas / Basili / Juristo | Identifying Relevant Information for Testing Technique Selection | Buch | Sack Fachmedien

    Vegas / Basili / Juristo Identifying Relevant Information for Testing Technique Selection

    An Instantiated Characterization Schema
    Softcover Nachdruck of the original 1. Auflage 2003
    Verlag: Springer US
    ISBN: 978-1-4613-5067-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gogolla / Kobryn | UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools | Buch | Sack Fachmedien

    Gogolla / Kobryn UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools

    4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42667-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Versteegen | Projektmanagement | Buch | Sack Fachmedien

    Versteegen Projektmanagement

    mit dem Rational Unified Process
    Softcover Nachdruck of the original 1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-642-63092-7
    Medium: Buch
    69,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dybå / Moe / Dingsøyr | Process Improvement in Practice | Buch | Sack Fachmedien

    Dybå / Moe / Dingsøyr Process Improvement in Practice

    A Handbook for IT Companies
    Softcover Nachdruck of the original 1. Auflage 2004
    Verlag: Springer US
    ISBN: 978-1-4757-8853-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bechtolsheim | TEX in Practice | Buch | Sack Fachmedien

    Bechtolsheim TEX in Practice

    Volume III: Tokens, Macros
    1993
    Verlag: Springer
    ISBN: 978-1-4612-7642-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Campbell / Iyer / Akbal-Delibas | Introduction to Compiler Construction in a Java World | eBook | Sack Fachmedien
    E-Book

    Campbell / Iyer / Akbal-Delibas Introduction to Compiler Construction in a Java World

    1. Auflage 2013
    Verlag: Taylor & Francis
    ISBN: 978-1-4822-1507-6
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    117,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Levine | Linkers and Loaders | Buch | Sack Fachmedien

    Levine Linkers and Loaders

    Erscheinungsjahr 1999
    Verlag: Elsevier Science & Technology
    ISBN: 978-1-55860-496-4
    Medium: Buch
    66,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dos Reis | Compiler Construction Using Java, Javacc, and Yacc | Buch | Sack Fachmedien

    Dos Reis Compiler Construction Using Java, Javacc, and Yacc

    1. Auflage 2011
    Verlag: Wiley
    ISBN: 978-0-470-94959-7
    Medium: Buch
    115,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wirth | Grundlagen und Techniken des Compilerbaus | Buch | Sack Fachmedien

    Wirth Grundlagen und Techniken des Compilerbaus

    Erscheinungsjahr 1997
    Verlag: De Gruyter
    ISBN: 978-3-486-24374-1
    Medium: Buch
    94,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jeffery | Build Your Own Programming Language | eBook | Sack Fachmedien
    E-Book

    Jeffery Build Your Own Programming Language

    A programmer's guide to designing compilers, interpreters, and DSLs for modern computing problems
    2. Auflage 2024
    Verlag: De Gruyter
    ISBN: 978-1-80461-715-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    29,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Swidzinski / Świdziński | Modern CMake for C++ | eBook | Sack Fachmedien
    E-Book

    Swidzinski / Świdziński Modern CMake for C++

    Effortlessly build cutting-edge C++ code and deliver high-quality solutions
    2. Auflage 2024
    Verlag: De Gruyter
    ISBN: 978-1-80512-336-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    29,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Mogensen | Introduction to Compiler Design | Buch | Sack Fachmedien

    Mogensen Introduction to Compiler Design

    2. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-66965-6
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klemm / Cownie | High Performance Parallel Runtimes | eBook | Sack Fachmedien
    E-Book

    Klemm / Cownie High Performance Parallel Runtimes

    Design and Implementation
    1. Auflage 2021
    Verlag: De Gruyter
    ISBN: 978-3-11-063289-7
    Medium: eBook
    Format: EPUB
     Kopierschutz: 6 - ePub Watermark
    89,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Campbell / Iyer / Akbal-Delibas | Introduction to Compiler Construction in a Java World | eBook | Sack Fachmedien
    E-Book

    Campbell / Iyer / Akbal-Delibas Introduction to Compiler Construction in a Java World

    1. Auflage 2012
    Verlag: Taylor & Francis
    ISBN: 978-1-4665-8766-3
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    117,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Swidzinski / Swidzinski | Modern CMake for C++ | eBook | Sack Fachmedien
    E-Book

    Swidzinski / Swidzinski Modern CMake for C++

    Discover a better approach to building, testing, and packaging your software
    1. Auflage 2022
    Verlag: De Gruyter
    ISBN: 978-1-80107-165-9
    Medium: eBook
    Format: EPUB
     Kopierschutz: 0 - No protection
    34,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Wright | Blazor WebAssembly by Example, 2e | eBook | Sack Fachmedien
    E-Book

    Wright Blazor WebAssembly by Example, 2e

    Use practical projects to start building web apps with .NET 7, Blazor WebAssembly, and C#
    2. Auflage 2023
    Verlag: De Gruyter
    ISBN: 978-1-80324-753-3
    Medium: eBook
    Format: EPUB
     Kopierschutz: 0 - No protection
    25,19 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bast / Di Remigio | CMake Cookbook | eBook | Sack Fachmedien
    E-Book

    Bast / Di Remigio CMake Cookbook

    Building, testing, and packaging modular software with modern CMake
    1. Auflage 2018
    Verlag: De Gruyter
    ISBN: 978-1-78847-234-0
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    49,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Scott / Aldrich | Programming Language Pragmatics | Buch | Sack Fachmedien

    Scott / Aldrich Programming Language Pragmatics

    5. Auflage 2025
    Verlag: Elsevier LTD
    ISBN: 978-0-323-99966-3
    Medium: Buch
    94,50 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Cortesi / File | Static Analysis | Buch | Sack Fachmedien

    Cortesi / File Static Analysis

    6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66459-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stärk / Schmid / Börger | Java and the Java Virtual Machine | Buch | Sack Fachmedien

    Stärk / Schmid / Börger Java and the Java Virtual Machine

    Definition, Verification, Validation
    2001
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-42088-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Hammond / Gross / Wesson | Usability | Buch | Sack Fachmedien

    Hammond / Gross / Wesson Usability

    Gaining a Competitive Edge
    Softcover Nachdruck of the original 1. Auflage 2002
    Verlag: Springer
    ISBN: 978-1-4757-6910-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hunt | Guide to C# and Object Orientation | Buch | Sack Fachmedien

    Hunt Guide to C# and Object Orientation

    Softcover Nachdruck of the original 1. Auflage 2002
    Verlag: Springer
    ISBN: 978-1-4471-1108-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cardoso / Petrov / Diniz | Compilation and Synthesis for Embedded Reconfigurable Systems | Buch | Sack Fachmedien

    Cardoso / Petrov / Diniz Compilation and Synthesis for Embedded Reconfigurable Systems

    An Aspect-Oriented Approach
    2013
    Verlag: Springer
    ISBN: 978-1-4614-4893-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garrido | Performance Modeling of Operating Systems Using Object-Oriented Simulations | Buch | Sack Fachmedien

    Garrido Performance Modeling of Operating Systems Using Object-Oriented Simulations

    A Practical Introduction
    Softcover Nachdruck of the original 1. Auflage 2000
    Verlag: Springer US
    ISBN: 978-1-4757-7311-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cohen | Compiler Construction | Buch | Sack Fachmedien

    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, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54806-2
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Könighofer / Torfah | Runtime Verification | Buch | Sack Fachmedien

    Könighofer / Torfah Runtime Verification

    25th International Conference, RV 2025, Graz, Austria, September 15-19, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-05434-0
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schwartz | Cooperating Heterogeneous Systems | Buch | Sack Fachmedien

    Schwartz Cooperating Heterogeneous Systems

    Softcover Nachdruck of the original 1. Auflage 1995
    Verlag: Springer US
    ISBN: 978-1-4613-5928-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rosenblum | The Design and Implementation of a Log-structured file system | Buch | Sack Fachmedien

    Rosenblum The Design and Implementation of a Log-structured file system

    Softcover Nachdruck of the original 1. Auflage 1995
    Verlag: Springer US
    ISBN: 978-1-4613-5933-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banerjee / Gelernter / Nicolau | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Banerjee / Gelernter / Nicolau Languages and Compilers for Parallel Computing

    Fourth International Workshop, Santa Clara, California, USA, August 7-9, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55422-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tick / Succi | Implementations of Logic Programming Systems | Buch | Sack Fachmedien

    Tick / Succi Implementations of Logic Programming Systems

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-6157-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Su / Yan | Principles of Compilers | Buch | Sack Fachmedien

    Su / Yan Principles of Compilers

    A New Approach to Compilers Including the Algebraic Method
    2011
    Verlag: Springer
    ISBN: 978-3-642-20834-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dwyer | Model Checking Software | Buch | Sack Fachmedien

    Dwyer Model Checking Software

    8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42124-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lilja / Bird | The Interaction of Compilation Technology and Computer Architecture | Buch | Sack Fachmedien

    Lilja / Bird The Interaction of Compilation Technology and Computer Architecture

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-6154-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Interaction Between Compilers and Computer Architectures | Buch | Sack Fachmedien

    Interaction Between Compilers and Computer Architectures

    1. Auflage. Softcover version of original hardcover Auflage 2001
    Verlag: Springer US
    ISBN: 978-1-4419-4896-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wilhelm / Seidl / Hack | Compiler Design | Buch | Sack Fachmedien

    Wilhelm / Seidl / Hack Compiler Design

    Syntactic and Semantic Analysis
    2013
    Verlag: Springer
    ISBN: 978-3-642-17539-8
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rajkumar | Synchronization in Real-Time Systems | Buch | Sack Fachmedien

    Rajkumar Synchronization in Real-Time Systems

    A Priority Inheritance Approach
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-6788-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banerjee / Gelernter / Nicolau | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Banerjee / Gelernter / Nicolau Languages and Compilers for Parallel Computing

    5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57502-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Caires | Programming Languages and Systems | Buch | Sack Fachmedien

    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, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-17183-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Narendran / Rusinowitch | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Narendran / Rusinowitch Rewriting Techniques and Applications

    10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66201-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gibbons / Jeuring | Generic Programming | Buch | Sack Fachmedien

    Gibbons / Jeuring Generic Programming

    IFIP TC2 / WG2.1 Working Conference Programming July 11-12, 2002, Dagstuhl, Germany
    2003
    Verlag: Springer
    ISBN: 978-1-4757-5320-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krishnamurthi / Ramakrishnan | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Krishnamurthi / Ramakrishnan Practical Aspects of Declarative Languages

    4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings
    2002
    Verlag: Springer
    ISBN: 978-3-540-43092-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adamo | Multi-Threaded Object-Oriented MPI-Based Message Passing Interface | Buch | Sack Fachmedien

    Adamo Multi-Threaded Object-Oriented MPI-Based Message Passing Interface

    The ARCH Library
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-7640-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Breuer / Delgado Kloos | Formal Semantics for VHDL | Buch | Sack Fachmedien

    Breuer / Delgado Kloos Formal Semantics for VHDL

    Softcover Nachdruck of the original 1. Auflage 1995
    Verlag: Humana
    ISBN: 978-1-4613-5941-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Collard | Reasoning About Program Transformations | Buch | Sack Fachmedien

    Collard Reasoning About Program Transformations

    Imperative Programming and Flow of Data
    2003
    Verlag: Springer
    ISBN: 978-0-387-95391-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Tilborg / Koob | Foundations of Real-Time Computing: Scheduling and Resource Management | Buch | Sack Fachmedien

    van Tilborg / Koob Foundations of Real-Time Computing: Scheduling and Resource Management

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-6766-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jalote | A Concise Introduction to Software Engineering | Buch | Sack Fachmedien

    Jalote A Concise Introduction to Software Engineering

    With Open Source and GenAI
    2. Auflage 2025
    Verlag: Springer
    ISBN: 978-3-031-74317-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cardelli / Abadi | A Theory of Objects | Buch | Sack Fachmedien

    Cardelli / Abadi A Theory of Objects

    Softcover Nachdruck of the original 1. Auflage 1996
    Verlag: Springer
    ISBN: 978-1-4612-6445-3
    Medium: Buch
    246,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lencevicius | Advanced Debugging Methods | Buch | Sack Fachmedien

    Lencevicius Advanced Debugging Methods

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-4688-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wada | Logic Programming '85 | Buch | Sack Fachmedien

    Wada Logic Programming '85

    Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985
    1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-540-16479-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Franke | Compiler Construction | Buch | Sack Fachmedien

    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, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-662-46662-9
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vlahavas / Sakellariou / Tsarchopoulos | Parallel and Constraint Logic Programming | Buch | Sack Fachmedien

    Vlahavas / Sakellariou / Tsarchopoulos Parallel and Constraint Logic Programming

    An Introduction to Logic, Parallelism and Constraints
    1998
    Verlag: Springer US
    ISBN: 978-1-4613-7329-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jacobs / Rensink | Formal Methods for Open Object-Based Distributed Systems V | Buch | Sack Fachmedien

    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 Netherlands
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4757-5268-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lewi / Paredaens | Data Structures of Pascal, Algol 68, PL/1 and Ada | Buch | Sack Fachmedien

    Lewi / Paredaens Data Structures of Pascal, Algol 68, PL/1 and Ada

    Softcover Nachdruck of the original 1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-642-70241-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cousot | Static Analysis | Buch | Sack Fachmedien

    Cousot Static Analysis

    8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42314-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Yew / Chatterjee | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Li / Yew / Chatterjee Languages and Compilers for Parallel Computing

    10th International Workshop, LCPC'97, Minneapolis, Minnesota, USA, August 7-9, 1997. Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64472-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stenström | Transactions on High-Performance Embedded Architectures and Compilers IV | Buch | Sack Fachmedien

    Stenström Transactions on High-Performance Embedded Architectures and Compilers IV

    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24567-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stenström | Transactions on High-Performance Embedded Architectures and Compilers III | Buch | Sack Fachmedien

    Stenström Transactions on High-Performance Embedded Architectures and Compilers III

    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19447-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Quintao Pereira | Programming Languages | Buch | Sack Fachmedien

    Quintao Pereira Programming Languages

    18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11862-8
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang | C++ and Object-Oriented Numeric Computing for Scientists and Engineers | Buch | Sack Fachmedien

    Yang C++ and Object-Oriented Numeric Computing for Scientists and Engineers

    Softcover Nachdruck of the original 1. Auflage 2001
    Verlag: Springer
    ISBN: 978-1-4612-6566-5
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sehr / Banerjee / Gelernter | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Sehr / Banerjee / Gelernter Languages and Compilers for Parallel Computing

    9th International Workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63091-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiadeiro | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Fiadeiro Recent Trends in Algebraic Development Techniques

    13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66246-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broy / Denert | Software Pioneers | Buch | Sack Fachmedien

    Broy / Denert Software Pioneers

    Contributions to Software Engineering
    Softcover Nachdruck of the original 1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-642-63970-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lemanski / Johansen / Manalo | Diagrammatic Representation and Inference | Buch | Sack Fachmedien

    Lemanski / Johansen / Manalo Diagrammatic Representation and Inference

    14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-71290-6
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ranzato | Static Analysis | Buch | Sack Fachmedien

    Ranzato Static Analysis

    24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-66705-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grune / van Reeuwijk / Langendoen | Modern Compiler Design | Buch | Sack Fachmedien

    Grune / van Reeuwijk / Langendoen Modern Compiler Design

    2. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4614-4698-9
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Furht / Grostick / Gluch | Real-Time UNIX® Systems | Buch | Sack Fachmedien

    Furht / Grostick / Gluch Real-Time UNIX® Systems

    Design and Application Guide
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-6777-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beidler | Data Structures and Algorithms | Buch | Sack Fachmedien

    Beidler Data Structures and Algorithms

    An Object-Oriented Approach Using Ada 95
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4612-7312-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maynard / Kurian John | Workload Characterization of Emerging Computer Applications | Buch | Sack Fachmedien

    Maynard / Kurian John Workload Characterization of Emerging Computer Applications

    Softcover Nachdruck of the original 1. Auflage 2001
    Verlag: Humana
    ISBN: 978-1-4613-5641-7
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diniz / Cardoso | Compilation Techniques for Reconfigurable Architectures | Buch | Sack Fachmedien

    Diniz / Cardoso Compilation Techniques for Reconfigurable Architectures

    Softcover Nachdruck of hardcover 1. Auflage 2009
    Verlag: Springer US
    ISBN: 978-1-4419-3510-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sangiorgi / Simone | CONCUR '98 Concurrency Theory | Buch | Sack Fachmedien

    Sangiorgi / Simone CONCUR '98 Concurrency Theory

    9th International Conference, Nice, France, September 8-11, 1998, Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-64896-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hedin | Compiler Construction | Buch | Sack Fachmedien

    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, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00904-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller-Olm | Modular Compiler Verification | Buch | Sack Fachmedien

    Müller-Olm Modular Compiler Verification

    A Refinement-Algebraic Approach Advocating Stepwise Abstraction
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63406-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Campanoni | Guide to ILDJIT | Buch | Sack Fachmedien

    Campanoni Guide to ILDJIT

    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-1-4471-2193-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mandl | Einfu¿hrung in die Bash | Buch | Sack Fachmedien

    Mandl Einfu¿hrung in die Bash

    Konzepte, Kommandos und Programmierung
    2024
    Verlag: Springer
    ISBN: 978-3-662-69196-0
    Medium: Buch
    19,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li | Java: Data Structures and Programming | Buch | Sack Fachmedien

    Li Java: Data Structures and Programming

    Softcover Nachdruck of the original 1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-642-95853-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bezivin / Muller | The Unified Modeling Language. <<UML>>'98: Beyond the Notation | Buch | Sack Fachmedien

    Bezivin / Muller The Unified Modeling Language. <<UML>>'98: Beyond the Notation

    First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66252-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moggi / Rosolini | Category Theory and Computer Science | Buch | Sack Fachmedien

    Moggi / Rosolini Category Theory and Computer Science

    7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63455-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bic / Sato / Nicolau | Parallel Language and Compiler Research in Japan | Buch | Sack Fachmedien

    Bic / Sato / Nicolau Parallel Language and Compiler Research in Japan

    Softcover Nachdruck of the original 1. Auflage 1995
    Verlag: Springer US
    ISBN: 978-1-4613-5957-9
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nolan | Decompiling Java | Buch | Sack Fachmedien

    Nolan Decompiling Java

    1. Auflage 2004
    Verlag: Apress
    ISBN: 978-1-59059-265-6
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Staunstrup | A Formal Approach to Hardware Design | Buch | Sack Fachmedien

    Staunstrup A Formal Approach to Hardware Design

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-6193-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ogata / Mery / Sun | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Ogata / Mery / Sun Formal Methods and Software Engineering

    25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-981-960616-0
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hack / Wilhelm / Seidl | Übersetzerbau | Buch | Sack Fachmedien

    Hack / Wilhelm / Seidl Übersetzerbau

    Band 4: Codeerzeugung und maschinennahe Optimierung
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-642-10355-1
    Medium: Buch
    19,94 € (inkl. MwSt.)
    Fixed Retail Price
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chang | Languages for Automation | Buch | Sack Fachmedien

    Chang Languages for Automation

    Softcover Nachdruck of the original 1. Auflage 1985
    Verlag: Springer US
    ISBN: 978-1-4757-1390-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Artale / Cortellessa / Montali | AIxIA 2024 - Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Artale / Cortellessa / Montali AIxIA 2024 - Advances in Artificial Intelligence

    XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-80606-3
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horspool / Breitman | Patterns, Programming and Everything | Buch | Sack Fachmedien

    Horspool / Breitman Patterns, Programming and Everything

    2012
    Verlag: Springer
    ISBN: 978-1-4471-2349-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wilhelm | Compiler Construction | Buch | Sack Fachmedien

    Wilhelm Compiler Construction

    10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-41861-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Bosschere / Jhala | Compiler Construction | Buch | Sack Fachmedien

    De Bosschere / Jhala Compiler Construction

    22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-37050-2
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zima | Parallel Computation | Buch | Sack Fachmedien

    Zima Parallel Computation

    First International ACPC Conference, Salzburg, Austria, September 30 - October 2, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55437-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doorn / Sampaio do Prado Leite | Perspectives on Software Requirements | Buch | Sack Fachmedien

    Doorn / Sampaio do Prado Leite Perspectives on Software Requirements

    2004
    Verlag: Springer US
    ISBN: 978-1-4613-5090-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rauchwerger | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Rauchwerger Languages and Compilers for Parallel Computing

    16th International Workshop, LCPC 2003, College Sation, TX, USA, October 2-4, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21199-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular