Ergebnisse filtern
Fachgebiet
Medium
  • 9
  • 5
Erscheinungsjahr
  • 1
  • 2
  • 1
  • 1
  • 8
  • 1
Autoren
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 8
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 2
  • 1
  • 1
  • 4
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 4
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 4
  • 1
  • 257
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 14
  • 2
  • 16
  • 6
  • 1
  • 257
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 3
  • 257
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
Verlag
  • 1
  • 5
  • 1
  • 1
  • 5
  • 1
Preis
  • 1
  • 3
  • 8
  • 2
Sprachen
  • 14
Verfügbarkeit
  • 14
Katalog
  • 14
14  Treffer  für „Miller, Dale“
    Miller | Programming with Higher-Order Logic | eBook | Sack Fachmedien
    E-Book

    Miller Programming with Higher-Order Logic

    Erscheinungsjahr 2012
    Verlag: Cambridge University Press
    ISBN: 978-1-139-50629-8
    Medium: eBook
    Format: EPUB
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    36,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Miller | Proof Theory and Logic Programming | Buch | Sack Fachmedien

    Miller Proof Theory and Logic Programming

    Erscheinungsjahr 2025
    Verlag: Cambridge University Press
    ISBN: 978-1-009-56129-7
    Medium: Buch
    78,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miller | "A" Water Source Guide for Dowsers | Buch | Sack Fachmedien

    Miller "A" Water Source Guide for Dowsers

    Erscheinungsjahr 2022
    Verlag: Dale W Miller
    ISBN: 978-1-63103-076-5
    Medium: Buch
    16,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Miller | Programming with Higher-Order Logic | eBook | Sack Fachmedien
    E-Book

    Miller Programming with Higher-Order Logic

    Erscheinungsjahr 2012
    Verlag: Cambridge University Press
    ISBN: 978-1-139-51212-1
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    43,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Prentice / Miller | Cultural Divides | Buch | Sack Fachmedien

    Prentice / Miller Cultural Divides

    Understanding and Overcoming Group Conflict
    Erscheinungsjahr 2001
    Verlag: Russell Sage Foundation
    ISBN: 978-0-87154-689-0
    Medium: Buch
    27,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    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
    Eggleston / Miller | The Cambridge Companion to Utilitarianism | Buch | Sack Fachmedien

    Eggleston / Miller The Cambridge Companion to Utilitarianism

    Erscheinungsjahr 2014
    Verlag: Cambridge University Press
    ISBN: 978-1-107-02013-9
    Medium: Buch
    114,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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 | eBook | Sack Fachmedien
    E-Book

    Gibbons / Miller Functional and Logic Programming

    17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer Singapore
    ISBN: 978-981-97-2300-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hawblitzel / Miller | Certified Programs and Proofs | eBook | Sack Fachmedien
    E-Book

    Hawblitzel / Miller Certified Programs and Proofs

    Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-35308-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    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
    Gramlich / Miller / Sattler | Automated Reasoning | eBook | Sack Fachmedien
    E-Book

    Gramlich / Miller / Sattler Automated Reasoning

    6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-31365-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Al / Eggleston / Miller | John Stuart Mill and the Art of Life | Buch | Sack Fachmedien

    Al / Eggleston / Miller John Stuart Mill and the Art of Life

    Erscheinungsjahr 2012
    Verlag: ACADEMIC
    ISBN: 978-0-19-538124-5
    Medium: Buch
    175,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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