Ergebnisse filtern
Fachgebiet
Medium
  • 192
  • 8
Erscheinungsjahr
  • 2
  • 4
  • 8
  • 2
  • 2
  • 3
  • 3
  • 6
  • 6
  • 12
  • 29
  • 54
  • 5
  • 9
  • 3
  • 2
  • 2
  • 2
  • 2
  • 1
  • 3
  • 11
  • 10
  • 8
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
Autoren
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 1
  • 8
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 143
  • 1
  • 3
  • 4
  • 3
  • 14
  • 1
  • 2
  • 2
  • 1
  • 3
Preis
  • 20
  • 92
  • 88
Sprachen
  • 194
  • 6
Verfügbarkeit
  • 196
  • 4
Katalog
  • 200
  • 10
200  Treffer  für „Design“
    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
    Winterstein | Separation Logic for High-level Synthesis | Buch | Sack Fachmedien

    Winterstein Separation Logic for High-level Synthesis

    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-53221-9
    Medium: Buch
    106,99 € (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

    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-85094-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nolan | Decompiling Java | Buch | Sack Fachmedien

    Nolan Decompiling Java

    1. Auflage 2014
    Verlag: Apress
    ISBN: 978-1-4302-5469-0
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ashouri / Palermo / Cavazos | Automatic Tuning of Compilers Using Machine Learning | Buch | Sack Fachmedien

    Ashouri / Palermo / Cavazos Automatic Tuning of Compilers Using Machine Learning

    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-71488-2
    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
    Bergeron | Writing Testbenches: Functional Verification of HDL Models | Buch | Sack Fachmedien

    Bergeron Writing Testbenches: Functional Verification of HDL Models

    2. Auflage 2003
    Verlag: Springer US
    ISBN: 978-1-4613-5012-5
    Medium: Buch
    235,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sands | Programming Languages and Systems | Buch | Sack Fachmedien

    Sands Programming Languages and Systems

    10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41862-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Henz | Objects for Concurrent Constraint Programming | Buch | Sack Fachmedien

    Henz Objects for Concurrent Constraint Programming

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-7502-9
    Medium: Buch
    235,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wilhelm | Compiler Construction | Buch | Sack Fachmedien

    Wilhelm Compiler Construction

    10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-41861-0
    Medium: Buch
    53,49 € (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
    Sampaio do Prado Leite / Doorn | Perspectives on Software Requirements | Buch | Sack Fachmedien

    Sampaio do Prado Leite / Doorn Perspectives on Software Requirements

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4613-5090-3
    Medium: Buch
    106,99 € (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
    Bergé / Fonkoua / Maginot | VHDL'92 | Buch | Sack Fachmedien

    Bergé / Fonkoua / Maginot VHDL'92

    The New Features of the VHDL Hardware Description Language
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4613-6427-6
    Medium: Buch
    53,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-11700-1
    Medium: Buch
    116,50 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Quintao Pereira | Programming Languages | Buch | Sack Fachmedien

    Quintao Pereira Programming Languages

    18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11862-8
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zimmermann / Peuser / Tomlinson | Perspectives on Web Services | Buch | Sack Fachmedien

    Zimmermann / Peuser / Tomlinson Perspectives on Web Services

    Applying SOAP, WSDL and UDDI to Real-World Projects
    Softcover Nachdruck of the original 1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-642-62468-1
    Medium: Buch
    53,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
    97,50 € (inkl. MwSt.)
    vorbestellbar
    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
    Launchbury / Sansom | Functional Programming, Glasgow 1992 | Buch | Sack Fachmedien

    Launchbury / Sansom Functional Programming, Glasgow 1992

    Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992
    1. Auflage. 1993
    Verlag: Springer
    ISBN: 978-3-540-19820-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nolan | Decompiling Java | Buch | Sack Fachmedien

    Nolan Decompiling Java

    1. Auflage 2004
    Verlag: Apress
    ISBN: 978-1-59059-265-6
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fernández | Programming Languages and Operational Semantics | Buch | Sack Fachmedien

    Fernández Programming Languages and Operational Semantics

    A Concise Overview
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-1-4471-6367-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    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
    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
    Bolognesi / Vissers / van de Lagemaat | LOTOSphere: Software Development with LOTOS | Buch | Sack Fachmedien

    Bolognesi / Vissers / van de Lagemaat 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

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