Ergebnisse filtern
Fachgebiet
Medium
  • 357
  • 20
Erscheinungsjahr
  • 20
  • 21
  • 2
  • 2
  • 7
  • 1
  • 7
  • 7
  • 5
  • 7
  • 9
  • 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
  • 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
  • 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
  • 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
  • 1
  • 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
  • 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
  • 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
  • 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
Verlag
  • 10
  • 2
  • 2
  • 1
  • 22
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 157
  • 72
  • 17
  • 3
  • 12
  • 8
  • 47
  • 2
  • 2
  • 1
  • 3
  • 4
Preis
  • 3
  • 39
  • 199
  • 136
Sprachen
  • 346
  • 31
Verfügbarkeit
  • 376
  • 1
Eigenschaften
  • 1
Katalog
  • 377
  • 15
377  Titel
    Crespi Reghizzi | Formal Languages and Compilation | Buch | Sack Fachmedien

    Crespi Reghizzi Formal Languages and Compilation

    2. Printing.
    Verlag: Springer
    ISBN: 978-1-84882-049-4
    Medium: Buch
    58,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mogensen | Introduction to Compiler Design | Buch | Sack Fachmedien

    Mogensen Introduction to Compiler Design

    Third Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-46459-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stärk / Börger / Schmid | Java and the Java Virtual Machine | Buch | Sack Fachmedien

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

    Definition, Verification, Validation
    Softcover Nachdruck of the original 1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-642-63997-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Naish | Negation and Control in Prolog | Buch | Sack Fachmedien

    Naish Negation and Control in Prolog

    1986
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-16815-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peng / Wang / Li | Human Activity Recognition and Anomaly Detection | Buch | Sack Fachmedien

    Peng / Wang / Li Human Activity Recognition and Anomaly Detection

    4th International Workshop, DL-HAR 2024, and First International Workshop, ADFM 2024, Held in Conjunction with IJCAI 2024, Jeju, South Korea, August 3-9, 2024, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-981-97-9002-9
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bert / Mosses / Choppy | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Bert / Mosses / Choppy Recent Trends in Algebraic Development Techniques

    14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67898-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horspool | Compiler Construction | Buch | Sack Fachmedien

    Horspool Compiler Construction

    11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43369-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Keen / Olsson | The JR Programming Language | Buch | Sack Fachmedien

    Keen / Olsson The JR Programming Language

    Concurrent Programming in an Extended Java
    Softcover Nachdruck of the original 1. Auflage 2004
    Verlag: Springer US
    ISBN: 978-1-4757-8882-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barbier | Business Component-Based Software Engineering | Buch | Sack Fachmedien

    Barbier Business Component-Based Software Engineering

    2003
    Verlag: Springer US
    ISBN: 978-1-4613-5429-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Middeldorp | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Middeldorp Rewriting Techniques and Applications

    12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42117-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deransart / Maluszynski / Hermenegildo | Analysis and Visualization Tools for Constraint Programming | Buch | Sack Fachmedien

    Deransart / Maluszynski / Hermenegildo Analysis and Visualization Tools for Constraint Programming

    Constraint Debugging
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41137-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dodaro / Gupta / Martinez | Logic Programming and Nonmonotonic Reasoning | Buch | Sack Fachmedien

    Dodaro / Gupta / Martinez Logic Programming and Nonmonotonic Reasoning

    17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-74208-8
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lipkin | LaTeX for Linux | Buch | Sack Fachmedien

    Lipkin LaTeX for Linux

    A Vade Mecum
    1999
    Verlag: Springer US
    ISBN: 978-0-387-98708-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Farreres | The DSSSL Book | Buch | Sack Fachmedien

    Farreres The DSSSL Book

    An XML/SGML Programming Language
    2004
    Verlag: Springer US
    ISBN: 978-1-4613-5116-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sinharoy / Szymanski | Languages, Compilers and Run-Time Systems for Scalable Computers | Buch | Sack Fachmedien

    Sinharoy / Szymanski Languages, Compilers and Run-Time Systems for Scalable Computers

    1996
    Verlag: Springer US
    ISBN: 978-1-4613-5979-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bock | .NET Development Using the Compiler API | Buch | Sack Fachmedien

    Bock .NET Development Using the Compiler API

    1. Auflage 2016
    Verlag: Apress
    ISBN: 978-1-4842-2110-5
    Medium: Buch
    35,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Watson | A Practical Approach to Compiler Construction | Buch | Sack Fachmedien

    Watson A Practical Approach to Compiler Construction

    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-52787-1
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Harrison | Code Generation with Roslyn | Buch | Sack Fachmedien

    Harrison Code Generation with Roslyn

    1. Auflage 2017
    Verlag: Apress
    ISBN: 978-1-4842-2210-2
    Medium: Buch
    29,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bergé / Rouillard / Fonkoua | VHDL'92 | Buch | Sack Fachmedien

    Bergé / Rouillard / Fonkoua VHDL'92

    The New Features of the VHDL Hardware Description Language
    1993
    Verlag: Springer US
    ISBN: 978-1-4613-6427-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Min / Davidson | Languages, Compilers, and Tools for Embedded Systems | Buch | Sack Fachmedien

    Min / Davidson Languages, Compilers, and Tools for Embedded Systems

    ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41781-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dechter | Principles and Practice of Constraint Programming - CP 2000 | Buch | Sack Fachmedien

    Dechter Principles and Practice of Constraint Programming - CP 2000

    6th International Conference, CP 2000 Singapore, September 18-21, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41053-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wilhelm / Seidl / Hack | Übersetzerbau | Buch | Sack Fachmedien

    Wilhelm / Seidl / Hack Übersetzerbau

    Band 2: Syntaktische und semantische Analyse
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-01134-4
    Medium: Buch
    29,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nielsen / Rovan | Mathematical Foundations of Computer Science 2000 | Buch | Sack Fachmedien

    Nielsen / Rovan Mathematical Foundations of Computer Science 2000

    25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-67901-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hendren | Compiler Construction | Buch | Sack Fachmedien

    Hendren Compiler Construction

    17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78790-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stenström / Dubois / Ungerer | High Performance Embedded Architectures and Compilers | Buch | Sack Fachmedien

    Stenström / Dubois / Ungerer High Performance Embedded Architectures and Compilers

    Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77559-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Odersky / Krishnamurthi | Compiler Construction | Buch | Sack Fachmedien

    Odersky / Krishnamurthi Compiler Construction

    16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71228-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Basili / Abd-El-Hafiz | A Knowledge-Based Approach to Program Understanding | Buch | Sack Fachmedien

    Basili / Abd-El-Hafiz A Knowledge-Based Approach to Program Understanding

    Softcover Nachdruck of the original 1. Auflage 1995
    Verlag: Springer US
    ISBN: 978-1-4613-5961-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marriott / Meyer | Visual Language Theory | Buch | Sack Fachmedien

    Marriott / Meyer Visual Language Theory

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4612-7240-3
    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
    Softcover Nachdruck of the original 1. Auflage 2003
    Verlag: Springer
    ISBN: 978-1-4419-2981-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yan / Klemm / de Supinski | OpenMP: Balancing Productivity and Performance Portability | Buch | Sack Fachmedien

    Yan / Klemm / de Supinski OpenMP: Balancing Productivity and Performance Portability

    21st International Workshop on OpenMP, IWOMP 2025, Charlotte, NC, USA, October 1-3, 2025 Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-06342-7
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kittlaus / Rau / Schulz | Software-Produkt-Management | Buch | Sack Fachmedien

    Kittlaus / Rau / Schulz Software-Produkt-Management

    Nachhaltiger Erfolgsfaktor bei Herstellern und Anwendern
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-62334-9
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pande / Chakrabarty / Ganguly | Design Technologies for Green and Sustainable Computing Systems | Buch | Sack Fachmedien

    Pande / Chakrabarty / Ganguly Design Technologies for Green and Sustainable Computing Systems

    2014
    Verlag: Springer
    ISBN: 978-1-4614-4974-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gumm / Sommer | Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität | eBook | Sack Fachmedien
    E-Book

    Gumm / Sommer Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität

    1. Auflage 2019
    Verlag: De Gruyter
    ISBN: 978-3-11-043405-7
    Medium: eBook
    Format: EPUB
     Kopierschutz: 6 - ePub Watermark
    54,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Nacke | Learn LLVM 12 | eBook | Sack Fachmedien
    E-Book

    Nacke Learn LLVM 12

    A beginner's guide to learning LLVM compiler tools and core libraries with C++
    1. Auflage 2021
    Verlag: De Gruyter
    ISBN: 978-1-83921-003-7
    Medium: eBook
    Format: EPUB
     Kopierschutz: 0 - No protection
    39,59 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    D'Hondt | Technology of Object-Oriented Languages, Systems and Architectures | Buch | Sack Fachmedien

    D'Hondt Technology of Object-Oriented Languages, Systems and Architectures

    Softcover Nachdruck of the original 1. Auflage 2003
    Verlag: Springer US
    ISBN: 978-1-4613-5064-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kirli | Mobile Computation with Functions | Buch | Sack Fachmedien

    Kirli Mobile Computation with Functions

    Softcover Nachdruck of the original 1. Auflage 2002
    Verlag: Springer US
    ISBN: 978-1-4613-5348-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reiss | The Field Programming Environment: A Friendly Integrated Environment for Learning and Development | Buch | Sack Fachmedien

    Reiss The Field Programming Environment: A Friendly Integrated Environment for Learning and Development

    Softcover Nachdruck of the original 1. Auflage 1995
    Verlag: Springer US
    ISBN: 978-1-4613-5930-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lewis / Zaky | Tools and Environments for Parallel and Distributed Systems | Buch | Sack Fachmedien

    Lewis / Zaky Tools and Environments for Parallel and Distributed Systems

    Softcover Nachdruck of the original 1. Auflage 1996
    Verlag: Springer US
    ISBN: 978-1-4613-6849-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Edwards | Languages for Digital Embedded Systems | Buch | Sack Fachmedien

    Edwards Languages for Digital Embedded Systems

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-6942-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wand / Guttman | VLISP A Verified Implementation of Scheme | Buch | Sack Fachmedien

    Wand / Guttman VLISP A Verified Implementation of Scheme

    A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
    Softcover Nachdruck of the original 1. Auflage 1995
    Verlag: Springer US
    ISBN: 978-1-4613-5991-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Formal Specification Techniques for Engineering Modular C Programs | Buch | Sack Fachmedien

    Formal Specification Techniques for Engineering Modular C Programs

    Softcover Nachdruck of the original 1. Auflage 1996
    Verlag: Springer US
    ISBN: 978-1-4613-6850-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bosch / Kuusela / Gentleman | Software Architecture: System Design, Development and Maintenance | Buch | Sack Fachmedien

    Bosch / Kuusela / Gentleman Software Architecture: System Design, Development and Maintenance

    17th World Computer Congress - TC2 Stream / 3rd IEEE/IFIP Conference on Software Architecture (WICSA3), August 25-30, 2002, Montréal, Québec, Canada
    Softcover Nachdruck of the original 1. Auflage 2002
    Verlag: Springer US
    ISBN: 978-1-4757-6538-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marwedel / Leupers | Retargetable Compiler Technology for Embedded Systems | Buch | Sack Fachmedien

    Marwedel / Leupers Retargetable Compiler Technology for Embedded Systems

    Tools and Applications
    Softcover Nachdruck of hardcover 1. Auflage 2001
    Verlag: Springer US
    ISBN: 978-1-4419-4928-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cooper / Torczon | Engineering a Compiler | Buch | Sack Fachmedien

    Cooper / Torczon Engineering a Compiler

    3. Auflage 2022
    Verlag: Elsevier Science & Technology
    ISBN: 978-0-12-815412-0
    Medium: Buch
    99,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koob / van Tilborg | Foundations of Real-Time Computing: Formal Specifications and Methods | Buch | Sack Fachmedien

    Koob / van Tilborg Foundations of Real-Time Computing: Formal Specifications and Methods

    Softcover Nachdruck of the original 1. Auflage 1991
    Verlag: Springer US
    ISBN: 978-1-4613-6796-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calvaresi / Najjar / Omicini | Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems | Buch | Sack Fachmedien

    Calvaresi / Najjar / Omicini Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems

    7th International Workshop, EXTRAAMAS 2025, Detroit, MI, USA, May 19-20, 2025, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-01398-9
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Aho / Ullman / Sethi | Compilerbau | Buch | Sack Fachmedien

    Aho / Ullman / Sethi Compilerbau

    Teil 1
    durchgesehene Auflage
    Verlag: De Gruyter
    ISBN: 978-3-486-25294-1
    Medium: Buch
    39,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dori | Object-Process Methodology | Buch | Sack Fachmedien

    Dori Object-Process Methodology

    A Holistic Systems Paradigm
    Softcover Nachdruck of the original 1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-642-62989-1
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roy | Combinatorial Programming: Methods and Applications | Buch | Sack Fachmedien

    Roy Combinatorial Programming: Methods and Applications

    Proceedings of the NATO Advanced Study Institute held at the Palais des Congrès, Versailles, France, 2-13 September, 1974
    Softcover Nachdruck of the original 1. Auflage 1975
    Verlag: Springer Netherlands
    ISBN: 978-94-011-7559-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sikkel | Parsing Schemata | Buch | Sack Fachmedien

    Sikkel Parsing Schemata

    A Framework for Specification and Analysis of Parsing Algorithms
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-64451-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feagin | Methoden der Quantenmechanik mit Mathematica® | Buch | Sack Fachmedien

    Feagin Methoden der Quantenmechanik mit Mathematica®

    Softcover Nachdruck of the original 1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-662-08704-6
    Medium: Buch
    64,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuper / Paredaens / Libkin | Constraint Databases | Buch | Sack Fachmedien

    Kuper / Paredaens / Libkin Constraint Databases

    1. Auflage. Softcover version of original hardcover Auflage 2000
    Verlag: Springer
    ISBN: 978-3-642-08542-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gupta | Multiprocessor Execution of Logic Programs | Buch | Sack Fachmedien

    Gupta Multiprocessor Execution of Logic Programs

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-6200-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mayoh / Tyugu / Penjam | Constraint Programming | Buch | Sack Fachmedien

    Mayoh / Tyugu / Penjam Constraint Programming

    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-85985-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seifert / Hübner | Macromedia Director | Buch | Sack Fachmedien

    Seifert / Hübner Macromedia Director

    Multimediaprogrammierung mit Lingo
    Softcover Nachdruck of the original 1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-62250-2
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kimura / Kasahara | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Kimura / Kasahara Languages and Compilers for Parallel Computing

    25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-37657-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt / Mine | Static Analysis | Buch | Sack Fachmedien

    Schmidt / Mine Static Analysis

    19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-33124-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clarke / Voronkov | Perspectives of Systems Informatics | Buch | Sack Fachmedien

    Clarke / Voronkov Perspectives of Systems Informatics

    8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-29708-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Laplante / Ovaska | Real-Time Systems Design 4E | Buch | Sack Fachmedien

    Laplante / Ovaska Real-Time Systems Design 4E

    4th Auflage
    Verlag: Wiley
    ISBN: 978-0-470-76864-8
    Medium: Buch
    151,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fox | Praktischer Übersetzerbau | Buch | Sack Fachmedien

    Fox Praktischer Übersetzerbau

    1990
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-02288-6
    Medium: Buch
    49,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malloy / Staab / van den Brand | Software Language Engineering | Buch | Sack Fachmedien

    Malloy / Staab / van den Brand Software Language Engineering

    Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19439-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cooper / Mellor-Crummey / Sarkar | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Cooper / Mellor-Crummey / Sarkar Languages and Compilers for Parallel Computing

    23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19594-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hammer | Compiler Compilers | Buch | Sack Fachmedien

    Hammer Compiler Compilers

    Third International Workshop, CC `90. Schwerin, FRG, October 22-24, 1990. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53669-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Delgado Kloos / Cerny | Hardware Description Languages and their Applications | Buch | Sack Fachmedien

    Delgado Kloos / Cerny Hardware Description Languages and their Applications

    Specification, modelling, verification and synthesis of microelectronic systems
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4757-5387-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gries / de Roever | Programming Concepts and Methods PROCOMET '98 | Buch | Sack Fachmedien

    Gries / de Roever Programming Concepts and Methods PROCOMET '98

    IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4757-6299-0
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mezini | Variational Object-Oriented Programming Beyond Classes and Inheritance | Buch | Sack Fachmedien

    Mezini Variational Object-Oriented Programming Beyond Classes and Inheritance

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-7574-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vachoux / Bergé / Levia | Analog and Mixed-Signal Hardware Description Language | Buch | Sack Fachmedien

    Vachoux / Bergé / Levia Analog and Mixed-Signal Hardware Description Language

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-7891-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ashouri / Palermo / Cavazos | Automatic Tuning of Compilers Using Machine Learning | Buch | Sack Fachmedien

    Ashouri / Palermo / Cavazos Automatic Tuning of Compilers Using Machine Learning

    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-71488-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tanase / Teich / Hannig | Symbolic Parallelization of Nested Loop Programs | Buch | Sack Fachmedien

    Tanase / Teich / Hannig Symbolic Parallelization of Nested Loop Programs

    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-73908-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Merritt / Stix | Migrating from Pascal to C++ | Buch | Sack Fachmedien

    Merritt / Stix Migrating from Pascal to C++

    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4612-7332-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Launchbury / Sansom | Functional Programming, Glasgow 1992 | Buch | Sack Fachmedien

    Launchbury / Sansom Functional Programming, Glasgow 1992

    Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992
    1. Auflage. 1993
    Verlag: Springer
    ISBN: 978-3-540-19820-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Decker / Rehmann | Programming Environments for Massively Parallel Distributed Systems | Buch | Sack Fachmedien

    Decker / Rehmann Programming Environments for Massively Parallel Distributed Systems

    Working Conference of the IFIP WG 10.3, April 25-29, 1994
    Erscheinungsjahr 2012
    Verlag: Birkhäuser
    ISBN: 978-3-0348-9668-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Potanin | Programming Languages and Systems | Buch | Sack Fachmedien

    Potanin Programming Languages and Systems

    23rd Asian Symposium, Aplas 2025, Bengaluru, India, October 27-30, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer Nature Singapore
    ISBN: 978-981-953584-2
    Medium: Buch
    79,17 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Havelund / Visser / Penix | SPIN Model Checking and Software Verification | Buch | Sack Fachmedien

    Havelund / Visser / Penix SPIN Model Checking and Software Verification

    7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41030-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner / Zamulin / Broy | Perspectives of System Informatics | Buch | Sack Fachmedien

    Bjørner / Zamulin / Broy Perspectives of System Informatics

    Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67102-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nolan | Decompiling Android | Buch | Sack Fachmedien

    Nolan Decompiling Android

    1. Auflage 2012
    Verlag: Apress
    ISBN: 978-1-4302-4248-2
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abbas / Ábrahám | Runtime Verification | Buch | Sack Fachmedien

    Abbas / Ábrahám Runtime Verification

    24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
    2025
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-74233-0
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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