Domains and Lambda-Calculi 1
bokomslag Domains and Lambda-Calculi
Data & IT

Domains and Lambda-Calculi

Roberto M Amadio • Pierre-Louis Curien • Amadio Roberto M

Inbunden

2459:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 504 sidor
  • 2003
  • Författare: Roberto M Amadio, Pierre-Louis Curien, Amadio Roberto M
  • Format: Inbunden
  • ISBN: 9780521622776
  • Språk: Engelska
  • Antal sidor: 504
  • Utgivningsdatum: 2003-05-15
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Domains and Lambda-Calculi

    Domains and Lambda-Calculi

    Pierre-Louis Curien Roberto M Amadio

    Pocket

    1169:-
  2. bokomslag Interactive Skeleton Sports And Kinetic Edition

    Interactive Skeleton Sports And Kinet...

    Peter Abrahams, S C Marks Jr, P C Amadio

    1049:-
  3. bokomslag Typed Lambda Calculi and Applications

    Typed Lambda Calculi and Applications

    Martin Hofmann

    Pocket

    719:-
  4. bokomslag Carrageenan-Mediated Green Synthesis of Metal Oxide Nanoparticles for Various Applications

    Carrageenan-Mediated Green Synthesis ...

    Arnold A Lubguban, Arnold C Alguno, Roberto M Malaluan, Gerard G Dumancas

    Inbunden

    979:-
  5. bokomslag Typed Lambda Calculi and Applications

    Typed Lambda Calculi and Applications

    Jan F Groote Marc Bezem

    Pocket

    719:-
  6. bokomslag Typed Lambda Calculi and Applications

    Typed Lambda Calculi and Applications

    Simona Ronchi Della Rocca

    Pocket

    719:-
  7. bokomslag Category Theory and Computer Science

    Category Theory and Computer Science

    David H Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew Pitts, Axel Poigne

    Pocket

    719:-
  8. bokomslag Computational Thermo-kinetics of Rigid Polyurethane Foams

    Computational Thermo-kinetics of Rigi...

    Arnold A Lubguban, Arnold C Alguno, Roberto M Malaluan, Gerard G Dumancas

    Pocket

    849:-
  9. bokomslag Combinators and Functional Programming Languages

    Combinators and Functional Programmin...

    Guy Cousineau, Pierre-Louis Curien, Bernard Robinet

    Pocket

    449:-
  10. Ny
    bokomslag Polyurethane Foams

    Polyurethane Foams

    Arnold A Lubguban, Gerard G Dumancas, Roberto M Malaluan, Arnold C Alguno

    Inbunden

    1989:-

Andra av samma författare

  1. bokomslag Combinators and Functional Programming Languages

    Combinators and Functional Programmin...

    Guy Cousineau, Pierre-Louis Curien, Bernard Robinet

    Pocket

    449:-
  2. bokomslag Category Theory and Computer Science

    Category Theory and Computer Science

    David H Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew Pitts, Axel Poigne

    Pocket

    719:-
  3. bokomslag Typed Lambda Calculi and Applications

    Typed Lambda Calculi and Applications

    Pierre-Louis Curien

    Pocket

    719:-