בתוך החיפוש שלך נושאים מוצעים
Showing 1 - 4 results of 4 for search '', זמן שאילתה: 0.01s Refine Results
  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) — שליחת חיפוש דרך דואל