Ergebnisse filtern
Fachgebiet
Medium
  • 359
  • 20
Erscheinungsjahr
  • 2
  • 22
  • 28
  • 1
  • 3
  • 1
  • 7
  • 5
  • 5
  • 7
  • 10
  • 21
  • 48
  • 98
  • 11
  • 9
  • 3
  • 3
  • 4
  • 3
  • 3
  • 1
  • 4
  • 20
  • 17
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 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
  • 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
  • 2
  • 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
  • 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
  • 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
  • 2
  • 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
  • 2
  • 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
  • 1
  • 10
  • 2
  • 2
  • 1
  • 21
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 280
  • 1
  • 5
  • 8
  • 5
  • 19
  • 2
  • 2
  • 1
  • 2
  • 3
  • 4
  • 1
Preis
  • 2
  • 39
  • 201
  • 137
Sprachen
  • 349
  • 30
Verfügbarkeit
  • 375
  • 4
Katalog
  • 379
  • 15
379  Titel
    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
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78790-7
    Medium: Buch
    53,49 € (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
    Naish | Negation and Control in Prolog | Buch | Sack Fachmedien

    Naish Negation and Control in Prolog

    1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-540-16815-7
    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
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43369-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mine / Schmidt | Static Analysis | Buch | Sack Fachmedien

    Mine / Schmidt Static Analysis

    19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33124-4
    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
    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
    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
    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
    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
    Oh / Sui | Static Analysis | Buch | Sack Fachmedien

    Oh / Sui Static Analysis

    32nd International Symposium, SAS 2025, Singapore, Singapore, October 13-14, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-07105-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ábrahám / Abbas | Runtime Verification | Buch | Sack Fachmedien

    Ábrahám / Abbas Runtime Verification

    24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-74233-0
    Medium: Buch
    58,84 € (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: William Andrew Publishing
    ISBN: 978-0-12-815412-0
    Medium: Buch
    Lieferzeit ca. 10 Werktage
    Zur Detailseite
    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 2024
    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
    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
    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
    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
    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
    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
    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
    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
    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
    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
    Bosch / Gentleman / Hofmeister | Software Architecture: System Design, Development and Maintenance | Buch | Sack Fachmedien

    Bosch / Gentleman / Hofmeister 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. 2002 Auflage 2013
    Verlag: Springer Us
    ISBN: 978-1-4757-6538-0
    Medium: Buch
    160,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Havelund / Penix / Visser | SPIN Model Checking and Software Verification | Buch | Sack Fachmedien

    Havelund / Penix / Visser SPIN Model Checking and Software Verification

    7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41030-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