בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
developing microcomputer » developing microsoft, modelling microcomputers, including microcomputer
developing computer » development computer, developing competent, developing complex
java projects » java project, java prospects, aa projects
integer java » integer data, integer base, integer dea
1
תמונות העטיפה
יצא לאור 2007
תוכן הענינים: “... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
הוספה למועדפים
שמור ב:
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל — שמירת חיפוש