פרסומת
הול-ז '
hol-z - הוכחה סביבה עבור Z בנוי כמו plug-in של משפט גנרי מזוודות Isabelle / Hol ...
הול-OCL.
Hol-OCL - סביבת הוכחה אינטראקטיבית עבור שפת אילוץ אובייקט (OCL) ...
בנג'ור הוכחה של יישומי קונספט
Bonjour הוכחה של יישומי קונספט - במקרה שאתה צריך הפגנה. ...
בלוק הוכחה
בלוק הוכחה - פלאגין מסנן עבור Adobe Illustrator ...
סביבת עבודה
תוכנת מסחר אלקטרוני ארוז לפתרונות אלקטרוניים משולבים. ...
סביבת תכנון קיבולת משולבת
רשת אשכול מודולים ניתוח עבור Mac שלך ...
סביבת מעבדה וירטואלית
חינם סביבת devs עבור דוגמנות וסימולציה ...
צבע הוכחה שטח יצירתי
צבע שטח הוכחה יצירתי - צבע התאמת RIP עבור דיו ...
FileVault הוכחה בחירת Finder לרשימת כינוי
COORCE FileVault מוגן בחירה Finder כדי Aliases או פריטים Posix ...
לִכפּוֹת - FileVault בחירה מוגנת FileVault coerce filevault.
סביבת עבודה switcher.
תוספת Firefox המאפשרת לך לעבור בין קבוצות שונות של כרטיסיות ...
סביבת חוכמה
סביבת ייצור מבוססת רשת המשמשת לפריסת יישומים ספציפיים ביו-אינפורמטיקה ...
משפט סביבת עבודה
מאפשר לך ליצור webshop משלך. ...
נושא סביבת עבודה חנות אינטרנט ליצור חנות אינטרנט לבנות WebShop
גיליון הוכחה
מסייע לך להדפיס גיליונות הוכחה (גליונות לתקשר) באמצעות Mac שלך ...
הדפס גיליון קשר הדפס גיליון הוכחה מדפסת גיליון קשר ליצור גיליון הגהה
סביבת עבודה לייבא ייצוא
סקריפט לייבוא וייצוא של סביבות עבודה של Photoshop ...
iWorkspaces (לשעבר סביבת עבודה ספארי)
קל מאוד לשימוש במצב בר תפריט יישום שנועד לעזור לך לארגן את Windows Safari לתוך U ... ...