الموضوعات المستخلصة من بحثك.
يعرض 1 - 4 نتائج من 4 نتيجة بحث عن '', وقت الاستعلام: 0.03s تنقيح النتائج
  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 — أرسل هذا البحث بالبريد الإلكتروني