Doporučená témata ve výsledcích tohoto hledání:
Zobrazuji výsledky 1 - 4 z 4 pro vyhledávání '', doba hledání: 0,02 s. Upřesnit hledání
  1. 1
    Type theory and formal proof : an introduction /
    Cover image
  2. 2
    Programming in C++ for engineering and science /
    Autor Nyhoff, Larry R.
    Vydáno 2013
    Printed Book
  3. 3
    A functional start to computing with Python /
    Autor Herman, Ted, 1952-
    Vydáno 2013
    Printed Book
  4. 4
    Multicore computing : algorithms, architectures, and applications /
    Vydáno 2013
    Printed Book
Vyhledávací nástroje: RSS — Poslat emailem