Ergebnisse filtern
Fachgebiet
Medium
  • 4
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
Verlag
  • 4
Preis
  • 4
Sprachen
  • 4
Verfügbarkeit
  • 4
Katalog
  • 4

Mathematische Logik

4  Treffer  für „Monographs in Computer Science“
    Poernomo / Wirsing / Crossley | Adapting Proofs-as-Programs | Buch | Sack Fachmedien

    Poernomo / Wirsing / Crossley Adapting Proofs-as-Programs

    The Curry--Howard Protocol
    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-1-4419-2014-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fellows / Downey | Parameterized Complexity | Buch | Sack Fachmedien

    Fellows / Downey Parameterized Complexity

    1999
    Verlag: Springer
    ISBN: 978-0-387-94883-6
    Medium: Buch
    267,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Downey / Fellows | Parameterized Complexity | Buch | Sack Fachmedien

    Downey / Fellows Parameterized Complexity

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-1-4612-6798-0
    Medium: Buch
    267,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Poernomo / Crossley / Wirsing | Adapting Proofs-As-Programs | Buch | Sack Fachmedien

    Poernomo / Crossley / Wirsing Adapting Proofs-As-Programs

    The Curry--Howard Protocol
    2005. Auflage 2005
    Verlag: Springer
    ISBN: 978-0-387-23759-6
    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