Önerilen Konular
Gösterilen 1 - 4 sonuçlar arası kayıtlar. 4 sonuç. Aranan kelime '', Sorgu süresi: 0.01s Sonuçları Daraltın
  1. 1
    Type theory and formal proof : an introduction /
    Yazar: Nederpelt, R. P. (Rob P.), Geuvers, Herman, 1964-
    Baskı/Yayın Bilgisi 2014
    Cover image
  2. 2
    Programming in C++ for engineering and science /
    Yazar: Nyhoff, Larry R.
    Baskı/Yayın Bilgisi 2013
    Printed Book
  3. 3
    A functional start to computing with Python /
    Yazar: Herman, Ted, 1952-
    Baskı/Yayın Bilgisi 2013
    Printed Book
  4. 4
    Multicore computing : algorithms, architectures, and applications /
    Baskı/Yayın Bilgisi 2013
    Printed Book
Arama Araçları: RSS Beslemesi — Aramayı e-posta ile gönder