Ergebnisse filtern
Fachgebiet
Medium
  • 4
  • 4
Erscheinungsjahr
  • 2
  • 2
  • 2
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 8
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 5
  • 1
  • 2
Preis
  • 8
Sprachen
  • 8
Verfügbarkeit
  • 8
Katalog
  • 8
8  Treffer  für „Knoop, Jens“
    Knoop | Optimal Interprocedural Program Optimization | Buch | Sack Fachmedien

    Knoop Optimal Interprocedural Program Optimization

    A New Framework and Its Application
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65123-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Knoop | Compiler Construction | Buch | Sack Fachmedien

    Knoop Compiler Construction

    20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19860-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Knoop | Compiler Construction | eBook | Sack Fachmedien
    E-Book

    Knoop Compiler Construction

    20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-19861-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Knoop | Optimal Interprocedural Program Optimization | eBook | Sack Fachmedien
    E-Book

    Knoop Optimal Interprocedural Program Optimization

    A New Framework and Its Application
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-49639-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Knoop / Karl / Pionteck | Architecture of Computing Systems - ARCS 2017 | Buch | Sack Fachmedien

    Knoop / Karl / Pionteck Architecture of Computing Systems - ARCS 2017

    30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-54998-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hähnle / Knoop / Margaria | Leveraging Applications of Formal Methods, Verification, and Validation | eBook | Sack Fachmedien
    E-Book

    Hähnle / Knoop / Margaria Leveraging Applications of Formal Methods, Verification, and Validation

    International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-34781-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Knoop / Karl / Schulz | Architecture of Computing Systems - ARCS 2017 | eBook | Sack Fachmedien
    E-Book

    Knoop / Karl / Schulz Architecture of Computing Systems - ARCS 2017

    30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-54999-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hähnle / Knoop / Steffen | Leveraging Applications of Formal Methods, Verification, and Validation | Buch | Sack Fachmedien

    Hähnle / Knoop / Steffen Leveraging Applications of Formal Methods, Verification, and Validation

    International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-34780-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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