Ergebnisse filtern
Fachgebiet
Medium
  • 344
  • 19
Erscheinungsjahr
  • 9
  • 20
  • 2
  • 2
  • 6
  • 1
  • 6
  • 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
  • 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
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 1
  • 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
  • 1
  • 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
  • 5
  • 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
  • 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
  • 3
  • 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
  • 1
  • 1
  • 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
  • 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
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 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
  • 2
  • 1
  • 1
  • 1
  • 2
  • 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
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 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
  • 6
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 8
  • 2
  • 1
  • 1
  • 1
  • 21
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 107
  • 74
  • 19
  • 4
  • 15
  • 13
  • 74
  • 2
  • 2
  • 1
  • 3
  • 4
  • 1
Preis
  • 2
  • 37
  • 189
  • 135
Sprachen
  • 333
  • 30
Verfügbarkeit
  • 363
Katalog
  • 363
  • 15
363  Titel
    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
    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
    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
    de Roever / Gries | Programming Concepts and Methods PROCOMET '98 | Buch | Sack Fachmedien

    de Roever / Gries 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
    Softcover Nachdruck of the original 1. Auflage 1998
    Verlag: Springer US
    ISBN: 978-1-4757-6299-0
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gupta | Multiprocessor Execution of Logic Programs | Buch | Sack Fachmedien

    Gupta Multiprocessor Execution of Logic Programs

    Softcover Nachdruck of the original 1. Auflage 1994
    Verlag: Springer US
    ISBN: 978-1-4613-6200-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stix / Merritt | Migrating from Pascal to C++ | Buch | Sack Fachmedien

    Stix / Merritt Migrating from Pascal to C++

    Softcover Nachdruck of the original 1. Auflage 1997
    Verlag: Springer
    ISBN: 978-1-4612-7332-5
    Medium: Buch
    53,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
    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
    Edwards | Languages for Digital Embedded Systems | Buch | Sack Fachmedien

    Edwards Languages for Digital Embedded Systems

    Softcover Nachdruck of the original 1. Auflage 2000
    Verlag: Springer US
    ISBN: 978-1-4613-6942-4
    Medium: Buch
    160,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
    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
    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
    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
    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
    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
    149,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    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: EPUB
     Kopierschutz: 0 - No protection
    35,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++

    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: EPUB
     Kopierschutz: 0 - No protection
    35,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
    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
    2014
    Verlag: Springer
    ISBN: 978-3-642-54806-2
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    96,00 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 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
    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)
    50,49 € (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 2013
    Verlag: Taylor & Francis
    ISBN: 978-1-4822-1507-6
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    120,99 € (inkl. MwSt.)
    sofort verfügbar
    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

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