Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Adapting Proofs-as-Programs Adapting Proofs-as-Programs

    Adapting Proofs-as-Programs

    Iman Poernomo
    Springer, Springer
    19.11.2010

    This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a s...

    Taschenbuch
    160,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Autobiographical Tracts Autobiographical Tracts

    Autobiographical Tracts

    John Dee
    Kessinger Publishing, LLC
    23.05.2010

    The five tracts found in this work are by the brilliant and learned chemist, mathematician and as...

    Gebunden
    31,20 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Logical Methods Logical Methods

    Logical Methods

    John N. Crossley
    Birkhäuser, Birkhäuser
    14.02.2013

    The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's ...

    Taschenbuch
    160,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Hernando de los R¿ Coronel and the Spanish Philippines in the Golden Age Hernando de los R¿ Coronel and the Spanish Philippines in the Golden Age

    Hernando de los R¿ Coronel and the Spanish Philippines in the Golden Age

    John Newsome Crossley
    Routledge
    14.10.2024

    Whilst much scholarly work has been focused on Spain's American colonies, much less is known abou...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 62,70 €

    Jetzt 48,40 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Adapting Proofs-As-Programs Adapting Proofs-As-Programs

    Adapting Proofs-As-Programs

    Iman Poernomo
    Springer New York
    21.06.2005

    This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a s...

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 163,50 €

    Jetzt 160,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Light Unlocked Light Unlocked

    Light Unlocked

    John Lawrence
    Enitharmon Press
    03.10.2005

    An anthology of Christmas card poems.

    Gebunden
    19,00 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. What Is Mathematical Logic? What Is Mathematical Logic?

    What Is Mathematical Logic?

    Christopher J. Ash
    Oxford University Press
    11.03.2026

    Mathematical logic has grown into an indispensable tool in computer science as well as other part...

    Gebunden
    31,50 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Alltagstauglich Deutsch. German - English / Buch mit MP3-Download Alltagstauglich Deutsch. German - English / Buch mit MP3-Download

    Alltagstauglich Deutsch. German - English / Buch mit MP3-Download

    John Stevens
    Hueber Verlag GmbH
    01.02.2016

    Niveau A1 bis A2Alltagstauglich Deutsch wendet sich an Deutschlerner mit englischer Ausgangssprac...

    Taschenbuch
    17,00 €
    Zur Zeit nicht lieferbar
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1