Aufgrund einer technischen Störung sind wir derzeit telefonisch nicht erreichbar. Wir arbeiten bereits an der Behebung. Vielen Dank für Ihr Verständnis.

Ergebnisse filtern
Fachgebiet
Medium
  • 383
  • 20
Erscheinungsjahr
  • 5
  • 17
  • 22
  • 28
  • 1
  • 3
  • 1
  • 7
  • 5
  • 5
  • 7
  • 12
  • 21
  • 48
  • 98
  • 11
  • 8
  • 3
  • 3
  • 4
  • 1
  • 3
  • 5
  • 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
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 3
  • 1
  • 2
  • 4
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 3
  • 2
  • 1
  • 2
  • 3
  • 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
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 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
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 5
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 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
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 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
  • 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
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 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
  • 3
  • 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
  • 2
  • 2
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 1
  • 10
  • 2
  • 2
  • 4
  • 1
  • 22
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 313
  • 2
  • 2
  • 3
  • 3
  • 11
  • 2
  • 2
  • 1
  • 2
  • 2
  • 3
  • 1
Preis
  • 4
  • 39
  • 216
  • 144
Sprachen
  • 372
  • 31
Verfügbarkeit
  • 389
  • 14
Katalog
  • 403
  • 15
403  Titel
    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
    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
    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
    Ishikawa / Cunha | Rigorous State-Based Methods | Buch | Sack Fachmedien

    Ishikawa / Cunha Rigorous State-Based Methods

    12th International Conference, ABZ 2026, Tokyo, Japan, May 18-20, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-26751-1
    Medium: Buch
    79,17 € (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
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43092-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Delgado Kloos / Breuer | Formal Semantics for VHDL | Buch | Sack Fachmedien

    Delgado Kloos / Breuer Formal Semantics for VHDL

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-5941-8
    Medium: Buch
    106,99 € (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
    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

    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-70241-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wright / Hanselman | Blazor WebAssembly by Example | eBook | Sack Fachmedien
    E-Book

    Wright / Hanselman Blazor WebAssembly by Example

    Use practical projects to start building web apps with .NET 7, Blazor WebAssembly, and C#
    2. Auflage 2024
    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
    Swidzinski | Modern CMake for C++ | eBook | Sack Fachmedien
    E-Book

    Swidzinski Modern CMake for C++

    Discover a better approach to building, testing, and packaging your software
    1. Auflage 2024
    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
    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 2024
    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
    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
    Abadi / Cardelli | A Theory of Objects | Buch | Sack Fachmedien

    Abadi / Cardelli A Theory of Objects

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4612-6445-3
    Medium: Buch
    246,09 € (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
    Su / Yan | Principles of Compilers | Buch | Sack Fachmedien

    Su / Yan Principles of Compilers

    A New Approach to Compilers Including the Algebraic Method
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-20834-8
    Medium: Buch
    160,49 € (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
    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
    ISBN: 978-1-4419-4896-0
    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
    ISBN: 978-1-4613-5933-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Royuela / de Supinski / Pophale | OpenMP: Adaptability for Heterogeneous Multi-Device Systems | Buch | Sack Fachmedien

    Royuela / de Supinski / Pophale OpenMP: Adaptability for Heterogeneous Multi-Device Systems

    22nd International Workshop on OpenMP, IWOMP 2026, Vienna, Austria, October 7–9, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-41028-3
    Medium: Buch
    62,05 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Grune / van Reeuwijk / Bal | Modern Compiler Design | Buch | Sack Fachmedien

    Grune / van Reeuwijk / Bal Modern Compiler Design

    2. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4614-4698-9
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Cardoso / Diniz | Compilation Techniques for Reconfigurable Architectures | Buch | Sack Fachmedien

    Cardoso / Diniz Compilation Techniques for Reconfigurable Architectures

    Softcover Nachdruck of hardcover 1. Auflage 2009
    Verlag: Springer
    ISBN: 978-1-4419-3510-6
    Medium: Buch
    106,99 € (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
    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
    Appel | Modern Compiler Implementation in Java | Buch | Sack Fachmedien

    Appel Modern Compiler Implementation in Java

    2. Auflage 2015
    Verlag: Cambridge University Press
    ISBN: 978-0-521-82060-8
    Medium: Buch
    113,30 € (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

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