Ergebnisse filtern
Fachgebiet
Medium
  • 378
  • 20
Erscheinungsjahr
  • 3
  • 12
  • 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
  • 1
  • 3
  • 3
  • 1
  • 4
  • 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
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 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
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 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
  • 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
  • 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
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 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
  • 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
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 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
  • 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
  • 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
  • 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
  • 9
  • 2
  • 2
  • 4
  • 1
  • 22
  • 2
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 308
  • 9
  • 1
  • 3
  • 11
  • 2
  • 2
  • 1
  • 2
  • 3
  • 1
Preis
  • 2
  • 41
  • 211
  • 144
Sprachen
  • 367
  • 31
Verfügbarkeit
  • 390
  • 8
Katalog
  • 398
  • 15
398  Titel
    Bjørner / Broy / Zamulin | Perspectives of System Informatics | Buch | Sack Fachmedien

    Bjørner / Broy / Zamulin Perspectives of System Informatics

    4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-43075-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Campbell / Iyer / Akbal-Delibas | Introduction to Compiler Construction in a Java World | Buch | Sack Fachmedien

    Campbell / Iyer / Akbal-Delibas Introduction to Compiler Construction in a Java World

    1. Auflage 2012
    Verlag: Chapman and Hall/CRC
    ISBN: 978-1-4398-6088-5
    Medium: Buch
    150,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Faber / Gebser / Liu | Logic Programming and Nonmonotonic Reasoning | Buch | Sack Fachmedien

    Faber / Gebser / Liu Logic Programming and Nonmonotonic Reasoning

    18th International Conference, LPNMR 2026, Klagenfurt, Austria, September 7–11, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-38319-8
    Medium: Buch
    79,17 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Bolognesi / van de Lagemaat / Vissers | LOTOSphere: Software Development with LOTOS | Buch | Sack Fachmedien

    Bolognesi / van de Lagemaat / Vissers LOTOSphere: Software Development with LOTOS

    Softcover Nachdruck of the original 1. Auflage 1995
    Verlag: Springer US
    ISBN: 978-1-4613-5924-1
    Medium: Buch
    160,49 € (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
    109,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Krebbers | Programming Languages and Systems | Buch | Sack Fachmedien

    Krebbers Programming Languages and Systems

    35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-22722-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Appel | Compiling with Continuations | Buch | Sack Fachmedien

    Appel Compiling with Continuations

    Erscheinungsjahr 2006
    Verlag: Cambridge University Press
    ISBN: 978-0-521-03311-4
    Medium: Buch
    115,20 € (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
    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
    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
    Bibel / Fiedler / Grass | Ausgezeichnete Informatikdissertationen 1996 | Buch | Sack Fachmedien

    Bibel / Fiedler / Grass Ausgezeichnete Informatikdissertationen 1996

    Im Auftrag der Gl herausgegeben durch den Nominierungsausschuß
    Erscheinungsjahr 1998
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-02646-4
    Medium: Buch
    49,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chang | Languages for Automation | Buch | Sack Fachmedien

    Chang Languages for Automation

    Softcover Nachdruck of the original 1. Auflage 1985
    Verlag: Springer US
    ISBN: 978-1-4757-1390-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kurian John / Maynard | Workload Characterization for Computer System Design | Buch | Sack Fachmedien

    Kurian John / Maynard Workload Characterization for Computer System Design

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-6973-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 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
    Mermet | Fundamentals and Standards in Hardware Description Languages | Buch | Sack Fachmedien

    Mermet Fundamentals and Standards in Hardware Description Languages

    Erscheinungsjahr 2012
    Verlag: Springer Nature B.V.
    ISBN: 978-94-010-4846-0
    Medium: Buch
    353,09 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    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
    Lokuciejewski / Marwedel | Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems | Buch | Sack Fachmedien

    Lokuciejewski / Marwedel Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems

    2011. Auflage 2010
    Verlag: Springer
    ISBN: 978-90-481-9928-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Lokuciejewski / Marwedel | Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems | Buch | Sack Fachmedien

    Lokuciejewski / Marwedel Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-94-007-3368-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martin-Vide / Mitrana / Paun | Formal Languages and Applications | Buch | Sack Fachmedien

    Martin-Vide / Mitrana / Paun Formal Languages and Applications

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-53554-3
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Waite / Goos | Compiler Construction | Buch | Sack Fachmedien

    Waite / Goos Compiler Construction

    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-1-4612-9731-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kirsten / Ihringer / Kühn | Objektorientierte Anwendungsentwicklung mit der postrelationalen Datenbank Caché | Buch | Sack Fachmedien

    Kirsten / Ihringer / Kühn Objektorientierte Anwendungsentwicklung mit der postrelationalen Datenbank Caché

    2. Auflage 2003. Softcover Nachdruck of the original 2. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-642-62787-3
    Medium: Buch
    93,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moore | Piton | Buch | Sack Fachmedien

    Moore Piton

    A Mechanically Verified Assembly-Level Language
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-94-017-3791-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Winterstein | Separation Logic for High-level Synthesis | Buch | Sack Fachmedien

    Winterstein Separation Logic for High-level Synthesis

    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-53221-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mak | Writing Compilers and Interpreters | Buch | Sack Fachmedien

    Mak Writing Compilers and Interpreters

    3. Auflage 2009
    Verlag: John Wiley & Sons
    ISBN: 978-0-470-17707-5
    Medium: Buch
    85,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    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

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