בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
interaction conventional » interactions unconventional, introduction conventional, interactions conditional
programming reasoning » programming learning, programming designing, programming evolving
based tools » based tool, basic tools
1
תמונות העטיפה
יצא לאור 2005
תוכן הענינים: “... Feasible Algorithm for Typing in Elementary Affine Logic -- Practical Inference for Type-Based Termination...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
2
תמונות העטיפה
יצא לאור 2015
תוכן הענינים: “... using Soft Computing Methods -- A new method for the dynamic signature verification based on the stable...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל — שמירת חיפוש