Proposatutako topikoa bilaketarako iradokizunak
Erakusten 1 - 4 emaitzak -- 4 bilaketa honetara '', Bilaketaren denbora: 0,02s Findu emaitzak
  1. 1
    Type theory and formal proof : an introduction /
    Cover image
  2. 2
    Programming in C++ for engineering and science /
    nork Nyhoff, Larry R.
    Argitaratua 2013
    Printed Book
  3. 3
    A functional start to computing with Python /
    nork Herman, Ted, 1952-
    Argitaratua 2013
    Printed Book
  4. 4
    Multicore computing : algorithms, architectures, and applications /
    Argitaratua 2013
    Printed Book
Bilaketa egiteko lanabesak: RSS — Emaitzak posta elektronikoz bidali