प्रस्तावित विषय : खोज निहित
Showing 1 - 4 results of 4 for search '', सवाल का समय: 0.01सेकंड परिणाम को परिष्कृत करें
  1. 1
    Type theory and formal proof : an introduction /
    द्वारा Nederpelt, R. P. (Rob P.), Geuvers, Herman, 1964-
    प्रकाशित 2014
    Cover image
  2. 2
    Programming in C++ for engineering and science /
    द्वारा Nyhoff, Larry R.
    प्रकाशित 2013
    Printed Book
  3. 3
    A functional start to computing with Python /
    द्वारा Herman, Ted, 1952-
    प्रकाशित 2013
    Printed Book
  4. 4
    Multicore computing : algorithms, architectures, and applications /
    प्रकाशित 2013
    Printed Book
खोज साधन : RSS फ़ीड प्राप्त करें — इस खोज को ईमेल करें