Ergebnisse filtern
Fachgebiet
Medium
  • 365
  • 20
Erscheinungsjahr
  • 2
  • 22
  • 28
  • 1
  • 3
  • 1
  • 7
  • 5
  • 5
  • 8
  • 12
  • 21
  • 48
  • 98
  • 11
  • 9
  • 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
  • 3
  • 1
  • 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
  • 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
  • 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
  • 1
  • 2
  • 3
  • 6
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 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
  • 4
  • 1
  • 21
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 290
  • 5
  • 4
  • 5
  • 15
  • 2
  • 2
  • 1
  • 2
  • 3
  • 4
Preis
  • 2
  • 39
  • 202
  • 142
Sprachen
  • 355
  • 30
Verfügbarkeit
  • 382
  • 3
Katalog
  • 385
  • 15

Compiler

385  Titel
    Ågotnes / Doder | Logic and Argumentation | Buch | Sack Fachmedien

    Ågotnes / Doder Logic and Argumentation

    6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-967955-3
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    André / Wang / Zhan | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    André / Wang / Zhan Formal Methods and Software Engineering

    26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-954212-3
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leuschel / Ishikawa | Rigorous State-Based Methods | Buch | Sack Fachmedien

    Leuschel / Ishikawa Rigorous State-Based Methods

    11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-94532-8
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Endrullis / Tichy | Graph Transformation | Buch | Sack Fachmedien

    Endrullis / Tichy Graph Transformation

    18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-94705-6
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Staub / Singla | Informatics in Schools. Fostering Problem-Solving, Creativity, and Critical Thinking Through Computer Science Education | Buch | Sack Fachmedien

    Staub / Singla Informatics in Schools. Fostering Problem-Solving, Creativity, and Critical Thinking Through Computer Science Education

    18th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2025, Trier, Germany, September 8-10, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-01221-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Mössenböck | Compiler Construction | Buch | Sack Fachmedien

    Mössenböck Compiler Construction

    Fundamentals and Applications
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-84812-4
    Medium: Buch
    58,84 € (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
    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
    95,50 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Remke / Steffen | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Remke / Steffen Formal Methods for Industrial Critical Systems

    30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-00941-8
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Vafeiadis | Programming Languages and Systems | Buch | Sack Fachmedien

    Vafeiadis Programming Languages and Systems

    34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-91120-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chingleput Sathyakumar | Practical Marko | Buch | Sack Fachmedien

    Chingleput Sathyakumar Practical Marko

    Progressive HTML Rendering and Micro Front-Ends
    1. Auflage 2025
    Verlag: Apress
    ISBN: 979-8-8688-1482-2
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jagtap / Shingan | Introduction to Automata Theory and Formal Languages | Buch | Sack Fachmedien

    Jagtap / Shingan Introduction to Automata Theory and Formal Languages

    A Logic Building and Problem-solving Approach
    1. Auflage 2026
    Verlag: Taylor & Francis Ltd
    ISBN: 978-1-041-11700-1
    Medium: Buch
    118,50 € (inkl. MwSt.)
    vorbestellbar
    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
    ISBN: 978-981-953584-2
    Medium: Buch
    79,17 € (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
    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
    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
    Dai | Learning and Reasoning | Buch | Sack Fachmedien

    Dai Learning and Reasoning

    4th International Joint Conference on Learning and Reasoning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, Nanjing, China, September 20-22, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-09086-7
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jagtap / Shingan | Introduction to Automata Theory and Formal Languages | Buch | Sack Fachmedien

    Jagtap / Shingan Introduction to Automata Theory and Formal Languages

    A Logic Building and Problem-solving Approach
    1. Auflage 2026
    Verlag: Taylor & Francis Ltd
    ISBN: 978-1-041-10957-0
    Medium: Buch
    98,50 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Maurer | Nonsequential and Distributed Programming with Go | Buch | Sack Fachmedien

    Maurer Nonsequential and Distributed Programming with Go

    Synchronization of Concurrent Processes
    2. Auflage 2025
    Verlag: Springer
    ISBN: 978-3-662-70928-3
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vafeiadis | Programming Languages and Systems | Buch | Sack Fachmedien

    Vafeiadis Programming Languages and Systems

    34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-91117-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyer | Grundkurs Compilerbau | Buch | Sack Fachmedien

    Meyer Grundkurs Compilerbau

    Aus der Buchreihe 'Informatik verstehen'. Ideal zum Selbststudium und für die Uni-Vorlesung - Ausgabe 2024
    2. aktualisierte Auflage 2024
    Verlag: Rheinwerk Verlag GmbH
    ISBN: 978-3-8362-9671-7
    Medium: Buch
    29,90 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 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 solving modern computing problems
    1. Auflage 2024
    Verlag: De Gruyter
    ISBN: 978-1-80020-033-3
    Medium: eBook
    Format: EPUB
     Kopierschutz: 0 - No protection
    59,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Haxthausen / Serwe | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Haxthausen / Serwe Formal Methods for Industrial Critical Systems

    29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-68149-3
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giacobazzi / Gorla | Static Analysis | Buch | Sack Fachmedien

    Giacobazzi / Gorla Static Analysis

    31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-74775-5
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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 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
    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 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
    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 / Kushnir | Modern CMake for C++ | eBook | Sack Fachmedien
    E-Book

    Swidzinski / Świdziński / Kushnir 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
    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)
    49,99 € (inkl. MwSt.)
    sofort verfügbar
    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
    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
    Espinosa / Klemm / de Supinski | Advancing OpenMP for Future Accelerators | Buch | Sack Fachmedien

    Espinosa / Klemm / de Supinski Advancing OpenMP for Future Accelerators

    20th International Workshop on OpenMP, IWOMP 2024, Perth, WA, Australia, September 23-25, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-72566-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calvaresi / Najjar / Omicini | Explainable and Transparent AI and Multi-Agent Systems | Buch | Sack Fachmedien

    Calvaresi / Najjar / Omicini Explainable and Transparent AI and Multi-Agent Systems

    6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6-10, 2024, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-3-031-70073-6
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Harmer / Kosiol | Graph Transformation | Buch | Sack Fachmedien

    Harmer / Kosiol Graph Transformation

    17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-64284-5
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ma | Windows APT Warfare | eBook | Sack Fachmedien
    E-Book

    Ma Windows APT Warfare

    Identify and prevent Windows APT attacks effectively
    1. Auflage 2024
    Verlag: De Gruyter
    ISBN: 978-1-80461-721-2
    Medium: eBook
    Format: EPUB
     Kopierschutz: 0 - No protection
    32,39 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hsu | LLVM Techniques, Tips, and Best Practices Clang and Middle-End Libraries | eBook | Sack Fachmedien
    E-Book

    Hsu LLVM Techniques, Tips, and Best Practices Clang and Middle-End Libraries

    Design powerful and reliable compilers using the latest libraries and tools from LLVM
    1. Auflage 2024
    Verlag: De Gruyter
    ISBN: 978-1-83882-972-8
    Medium: eBook
    Format: EPUB
     Kopierschutz: 0 - No protection
    34,79 € (inkl. MwSt.)
    sofort verfügbar
    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
    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
    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
    ISBN: 978-3-031-74208-8
    Medium: Buch
    139,09 € (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
    Morishima / Li / Ishikawa | Database Systems for Advanced Applications. DASFAA 2024 International Workshops | Buch | Sack Fachmedien

    Morishima / Li / Ishikawa Database Systems for Advanced Applications. DASFAA 2024 International Workshops

    BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-960913-0
    Medium: Buch
    70,61 € (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
    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
    Nacke / Kwan | Learn LLVM 17 | eBook | Sack Fachmedien
    E-Book

    Nacke / Kwan Learn LLVM 17

    A beginner's guide to learning LLVM compiler tools and core libraries with C++
    2. Auflage 2024
    Verlag: De Gruyter
    ISBN: 978-1-83763-467-5
    Medium: eBook
    Format: EPUB
     Kopierschutz: 0 - No protection
    29,99 € (inkl. MwSt.)
    sofort verfügbar
    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
    Pluhár / Gaál | Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning | Buch | Sack Fachmedien

    Pluhár / Gaál Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning

    17th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2024, Budapest, Hungary, October 28-30, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-73473-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bonfanti / Gargantini / Leuschel | Rigorous State-Based Methods | Buch | Sack Fachmedien

    Bonfanti / Gargantini / Leuschel Rigorous State-Based Methods

    10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-63789-6
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mössenböck | Compilerbau | eBook | Sack Fachmedien
    E-Book

    Mössenböck Compilerbau

    Grundlagen und Anwendungen
    1. Auflage 2024
    Verlag: dpunkt.verlag
    ISBN: 978-3-98890-145-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    29,90 € (inkl. MwSt.)
    sofort verfügbar
    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
    Mössenböck | Compilerbau | eBook | Sack Fachmedien
    E-Book

    Mössenböck Compilerbau

    Grundlagen und Anwendungen
    1. Auflage 2024
    Verlag: dpunkt.verlag
    ISBN: 978-3-98890-146-0
    Medium: eBook
    Format: EPUB
     Kopierschutz: 6 - ePub Watermark
    29,90 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Mössenböck | Compilerbau | Buch | Sack Fachmedien

    Mössenböck Compilerbau

    Grundlagen und Anwendungen
    1. Auflage 2024
    Verlag: dpunkt.Verlag
    ISBN: 978-3-98889-008-5
    Medium: Buch
    29,90 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Hamel | Programming Language Implementation | eBook | Sack Fachmedien
    E-Book

    Hamel Programming Language Implementation

    A Practical Introduction with Python
    1. Auflage 2024
    Verlag: De Gruyter
    ISBN: 978-1-59028-294-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    64,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Appel | Modern Compiler Implementation in C | Buch | Sack Fachmedien

    Appel Modern Compiler Implementation in C

    Erscheinungsjahr 2004
    Verlag: Cambridge University Press
    ISBN: 978-0-521-60765-0
    Medium: Buch
    100,30 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Choudhary / Berra | Proceedings of the 1993 International Conference on Parallel Processing | Buch | Sack Fachmedien

    Choudhary / Berra Proceedings of the 1993 International Conference on Parallel Processing

    1. Auflage 1993
    Verlag: Taylor & Francis Inc
    ISBN: 978-0-8493-8985-6
    Medium: Buch
    210,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Businger | PORTAL Language Description | Buch | Sack Fachmedien

    Businger PORTAL Language Description

    2. extended Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-18960-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Moor / Schwartzbach | Compiler Construction | Buch | Sack Fachmedien

    de Moor / Schwartzbach Compiler Construction

    18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00721-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tofte | Compiler Generators | Buch | Sack Fachmedien

    Tofte Compiler Generators

    What They Can Do, What They Might Do, and What They Will Probably Never Do
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-51471-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Catthoor / Raghavan / Lambrechts | Ultra-Low Energy Domain-Specific Instruction-Set Processors | Buch | Sack Fachmedien

    Catthoor / Raghavan / Lambrechts Ultra-Low Energy Domain-Specific Instruction-Set Processors

    2010. Auflage 2010
    Verlag: Springer
    ISBN: 978-90-481-9527-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Cacace / Lamperti | Advanced Relational Programming | Buch | Sack Fachmedien

    Cacace / Lamperti Advanced Relational Programming

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-94-010-3742-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Levy | Call-By-Push-Value | Buch | Sack Fachmedien

    Levy Call-By-Push-Value

    A Functional/Imperative Synthesis
    2003
    Verlag: Springer Netherlands
    ISBN: 978-94-010-3752-5
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heidrich / Grossetie | Computing with T.Node Parallel Architecture | Buch | Sack Fachmedien

    Heidrich / Grossetie Computing with T.Node Parallel Architecture

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-94-010-5546-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vogler / Kühnemann | Attributgrammatiken | Buch | Sack Fachmedien

    Vogler / Kühnemann Attributgrammatiken

    Eine grundlegende Einführung
    1997
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-05582-0
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ca?caval / Montesinos | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Ca?caval / Montesinos Languages and Compilers for Parallel Computing

    26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25--27, 2013. Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-09966-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Erwig / Paige / Van Wyk | Software Language Engineering | Buch | Sack Fachmedien

    Erwig / Paige / Van Wyk Software Language Engineering

    6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-02653-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Almási / Cascaval / Wu | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Almási / Cascaval / Wu Languages and Compilers for Parallel Computing

    19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-72520-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuper / Libkin / Paredaens | Constraint Databases | Buch | Sack Fachmedien

    Kuper / Libkin / Paredaens Constraint Databases

    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-66151-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cointe | Meta-Level Architectures and Reflection | Buch | Sack Fachmedien

    Cointe Meta-Level Architectures and Reflection

    Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66280-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jähnichen | Compiler Construction | Buch | Sack Fachmedien

    Jähnichen Compiler Construction

    8th International Conference, CC'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65717-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Midkiff / Moreira / Gupta | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Midkiff / Moreira / Gupta Languages and Compilers for Parallel Computing

    13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42862-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leroy / Ohori | Types in Compilation | Buch | Sack Fachmedien

    Leroy / Ohori Types in Compilation

    Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64925-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shao | Programming Languages and Systems | Buch | Sack Fachmedien

    Shao Programming Languages and Systems

    5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76636-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carter / Ferrante | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Carter / Ferrante Languages and Compilers for Parallel Computing

    12th International Workshop, LCPC'99 La Jolla, CA, USA, August 4-6, 1999 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67858-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gutknecht / Weck | Modular Programming Languages | Buch | Sack Fachmedien

    Gutknecht / Weck Modular Programming Languages

    Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67958-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palamidessi | CONCUR 2000 - Concurrency Theory | Buch | Sack Fachmedien

    Palamidessi CONCUR 2000 - Concurrency Theory

    11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67897-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bal / Belkhouche / Cardelli | Internet Programming Languages | Buch | Sack Fachmedien

    Bal / Belkhouche / Cardelli Internet Programming Languages

    ICCL'98 Workshop,Chicago, IL, USA, May 13, 1998, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66673-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dittrich / Guerrini / Merlo | Objects and Databases | Buch | Sack Fachmedien

    Dittrich / Guerrini / Merlo Objects and Databases

    International Symposium, Sophia Antipolis, France, June 13, 2000. Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41664-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Silvano / Bertels / Schulte | Transactions on High-Performance Embedded Architectures and Compilers V | Buch | Sack Fachmedien

    Silvano / Bertels / Schulte Transactions on High-Performance Embedded Architectures and Compilers V

    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-662-58833-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hinze | Implementation and Application of Functional Languages | Buch | Sack Fachmedien

    Hinze Implementation and Application of Functional Languages

    24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41581-4
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    O'Boyle | Compiler Construction | Buch | Sack Fachmedien

    O'Boyle Compiler Construction

    21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28651-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Craeynest / Strohmeier | Reliable Software Technologies - Ada-Europe 2001 | Buch | Sack Fachmedien

    Craeynest / Strohmeier Reliable Software Technologies - Ada-Europe 2001

    6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42123-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dongarra / Kacsuk / Podhorszki | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

    Dongarra / Kacsuk / Podhorszki Recent Advances in Parallel Virtual Machine and Message Passing Interface

    7th European PVM/MPI Users' Group Meeting Balatonfüred, Hungary, September 10-13, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41010-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karrenberg | Automatic SIMD Vectorization of SSA-based Control Flow Graphs | Buch | Sack Fachmedien

    Karrenberg Automatic SIMD Vectorization of SSA-based Control Flow Graphs

    2015
    Verlag: Springer
    ISBN: 978-3-658-10112-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thiemann | Programming Languages and Systems | Buch | Sack Fachmedien

    Thiemann Programming Languages and Systems

    25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49497-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pop / Madsen / Alistar | Fault-Tolerant Digital Microfluidic Biochips | Buch | Sack Fachmedien

    Pop / Madsen / Alistar Fault-Tolerant Digital Microfluidic Biochips

    Compilation and Synthesis
    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-37333-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pardo / Swierstra | Programming Languages | Buch | Sack Fachmedien

    Pardo / Swierstra Programming Languages

    19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-24011-4
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Holub | Holub on Patterns | Buch | Sack Fachmedien

    Holub Holub on Patterns

    Learning Design Patterns by Looking at Code
    1. Auflage 2013
    Verlag: Apress
    ISBN: 978-1-4302-5361-7
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smith / Talcott | Formal Methods for Open Object-Based Distributed Systems IV | Buch | Sack Fachmedien

    Smith / Talcott Formal Methods for Open Object-Based Distributed Systems IV

    IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4757-1018-2
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ershov | Constructive Models | Buch | Sack Fachmedien

    Ershov Constructive Models

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-6932-5
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ryan | Automatic Re-engineering of Software Using Genetic Programming | Buch | Sack Fachmedien

    Ryan Automatic Re-engineering of Software Using Genetic Programming

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-7094-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kacsuk / Kotsis | Distributed and Parallel Systems | Buch | Sack Fachmedien

    Kacsuk / Kotsis Distributed and Parallel Systems

    From Instruction Parallelism to Cluster Computing
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-7023-9
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smith | The Object-Z Specification Language | Buch | Sack Fachmedien

    Smith The Object-Z Specification Language

    2000
    Verlag: Springer US
    ISBN: 978-1-4613-7401-5
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bergin | Data Structure Programming | Buch | Sack Fachmedien

    Bergin Data Structure Programming

    With the Standard Template Library in C++
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4612-7223-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pearce | Programming and Meta-Programming in Scheme | Buch | Sack Fachmedien

    Pearce Programming and Meta-Programming in Scheme

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4612-7243-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hunt / Loftus | Guide to J2EE: Enterprise Java | Buch | Sack Fachmedien

    Hunt / Loftus Guide to J2EE: Enterprise Java

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4471-1126-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Christian | A Guide to Modula-2 | Buch | Sack Fachmedien

    Christian A Guide to Modula-2

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4612-9349-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Flener | Logic Program Synthesis from Incomplete Information | Buch | Sack Fachmedien

    Flener Logic Program Synthesis from Incomplete Information

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-5925-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramakrishnan | Applications of Logic Databases | Buch | Sack Fachmedien

    Ramakrishnan Applications of Logic Databases

    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4613-5926-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lozano / Larrañaga | Estimation of Distribution Algorithms | Buch | Sack Fachmedien

    Lozano / Larrañaga Estimation of Distribution Algorithms

    A New Tool for Evolutionary Computation
    2002
    Verlag: Springer US
    ISBN: 978-1-4613-5604-2
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beng Kee Kiong | Compiler Technology | Buch | Sack Fachmedien

    Beng Kee Kiong Compiler Technology

    Tools, Translators and Language Implementation
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-7784-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chomicki / Saake | Logics for Databases and Information Systems | Buch | Sack Fachmedien

    Chomicki / Saake Logics for Databases and Information Systems

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-7582-1
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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