Ergebnisse filtern
Fachgebiet
Medium
  • 5
  • 2
Erscheinungsjahr
  • 2
  • 1
  • 1
  • 2
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
Verlag
  • 7
Preis
  • 7
Sprachen
  • 7
Verfügbarkeit
  • 7
Katalog
  • 7
7  Treffer  für „Pfenning, Frank“
    Pfenning | Term Rewriting and Applications | Buch | Sack Fachmedien

    Pfenning Term Rewriting and Applications

    17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-36834-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfenning | Foundations of Software Science and Computation Structures | eBook | Sack Fachmedien
    E-Book

    Pfenning Foundations of Software Science and Computation Structures

    16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-37075-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Pfenning | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Pfenning Foundations of Software Science and Computation Structures

    16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-37074-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfenning | Logic Programming and Automated Reasoning | Buch | Sack Fachmedien

    Pfenning Logic Programming and Automated Reasoning

    5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58216-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfenning | Automated Deduction - CADE-21 | Buch | Sack Fachmedien

    Pfenning Automated Deduction - CADE-21

    21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73594-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfenning / Smaragdakis | Generative Programming and Component Engineering | Buch | Sack Fachmedien

    Pfenning / Smaragdakis Generative Programming and Component Engineering

    Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20102-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfenning / Smaragdakis | Generative Programming and Component Engineering | eBook | Sack Fachmedien
    E-Book

    Pfenning / Smaragdakis Generative Programming and Component Engineering

    Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-39815-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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