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

Mathematik | Informatik

4  Treffer  für „Miller, Dale“
Alle Filter löschen
    Miller / Nadathur | Programming with Higher-Order Logic | Buch | Sack Fachmedien

    Miller / Nadathur Programming with Higher-Order Logic

    Erscheinungsjahr 2012
    Verlag: Cambridge University Press
    ISBN: 978-0-521-87940-8
    Medium: Buch
    61,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gibbons / Miller | Functional and Logic Programming | Buch | Sack Fachmedien

    Gibbons / Miller Functional and Logic Programming

    17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-981-97-2299-0
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hawblitzel / Miller | Certified Programs and Proofs | Buch | Sack Fachmedien

    Hawblitzel / Miller Certified Programs and Proofs

    Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35307-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gramlich / Miller / Sattler | Automated Reasoning | Buch | Sack Fachmedien

    Gramlich / Miller / Sattler Automated Reasoning

    6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31364-6
    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