Filtrera

Språk
  • (18)
Ämne
  • (18)
  • (2)
  • (2)
  • (1)
  • (13)
  • (2)
Format
  • (1)
  • (10)
  • (7)
Pris
  • (2)
Leveranstid
  • (10)

Gilles Dowek - Böcker

Visar alla böcker av Gilles Dowek. Handla med fri frakt och snabb leverans!

Sortering:
  1. Computation, Proof, Machine

    av Gilles Dowek

    Inbunden, Engelska, 2015-05-05
    953
    Skickas inom 7-10 vardagar.
  2. Computation, Proof, Machine

    av Gilles Dowek

    Häftad, Engelska, 2015-05-05
    497
    Skickas inom 7-10 vardagar.
  3. Introduction to the Theory of Programming Languages

    av Gilles Dowek, Jean-Jacques Levy

    Häftad, Engelska, 2010-12-15
    433
    Skickas inom 7-10 vardagar.
  4. Introduction to the Theory of Programming Languages E-bok

    av Gilles Dowek, Jean-Jacques Levy

    E-bok, Engelska, 2010-12-09
    426
    Ladda ned och läs i e-boksläsare.
  5. Proofs and Algorithms

    av Gilles Dowek

    Häftad, Engelska, 2011-01-14
    433
    Skickas inom 7-10 vardagar.
  6. Proofs and Algorithms E-bok

    av Gilles Dowek

    E-bok, Engelska, 2011-01-11
    418
    Ladda ned och läs i e-boksläsare.
  7. Age of Algorithms E-bok

    av Serge Abiteboul, Gilles Dowek

    E-bok, Engelska, 2020-04-16
    232
    Ladda ned och läs i e-boksläsare.
  8. Age of Algorithms E-bok

    av Serge Abiteboul, Gilles Dowek

    E-bok, Engelska, 2020-04-16
    1469
    Ladda ned och läs i e-boksläsare.
  9. Computation, Proof, Machine E-bok

    av Gilles Dowek

    E-bok, Engelska, 2015-05-05
    480
    Ladda ned och läs i e-boksläsare.
  10. Computation, Proof, Machine E-bok

    av Gilles Dowek

    E-bok, Engelska, 2015-05-05
    603
    Ladda ned och läs i e-boksläsare.
  11. Principles of Programming Languages E-bok

    av Gilles Dowek

    E-bok, Engelska, 2009-04-03
    387
    Ladda ned och läs i e-boksläsare.
  12. Rewriting and Typed Lambda Calculi

    av Gilles Dowek

    Häftad, Engelska, 2014-07-15
    1012
    Skickas inom 7-10 vardagar.
  13. Rewriting and Typed Lambda Calculi E-bok

    av Gilles Dowek

    E-bok, Engelska, 2014-07-01
    1005
    Ladda ned och läs i e-boksläsare.
  14. Theorem Proving in Higher Order Logics E-bok

    av Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery

    E-bok, Engelska, 2003-07-31
    1114
    Ladda ned och läs i e-boksläsare.
  15. Higher-Order Algebra, Logic, and Term Rewriting

    av Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Moeller

    Häftad, Engelska, 1996-05-01
    1000
    Skickas inom 7-10 vardagar.
  16. Theorem Proving in Higher Order Logics

    av Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery

    Häftad, Engelska, 1999-09-01
    1177
    Skickas inom 7-10 vardagar.
  17. Automated Reasoning

    av Alessandro Armando, Peter Baumgartner, Gilles Dowek

    Häftad, Engelska, 2008-07-01
    1399
    Skickas inom 7-10 vardagar.
  18. Automated Reasoning E-bok

    av Alessandro Armando, Peter Baumgartner, Gilles Dowek

    E-bok, Engelska, 2008-08-30
    1392
    Ladda ned och läs i e-boksläsare.