الإعلانات
نظرية
العميل المستندة إلى الويب لمشغل موسيقى MPD ...
مشغل موسيقى الخفي MPD. واجهه المستخدم على شبكة الإنترنت واجهة MPD.
المنطق المقطوع
المنطق المعالج هو مبذر Prover لمنطق من الدرجة الأولى بالمساواة. ...
حساب التفاضل والتكامل نظرية بروفر تمثيل الفورمولا القرار الفرعي نظرية
إيزابيل
ISABELLE هو نظرية عامة عامة شعبية تم تطويرها في جامعة كامبريدج وتوس ميونيخ. ...
بروفر
prosum هو برنامج مقره المحطة يحمي ملفاتك، SYS_CALL_TABLE و IDT مثل طريقة TripWire. ...
مساعد نظرية التايكون
مساعد نظرية Taekwon-do يختبرك نظرية التايكونات الخاصة بك استعدادا لدرجاتك. ...
The Pythagoras نظرية Firefox
يحسب بسهولة جوانب المثلثات الزاوية اليمنى مع هذه الوظيفة الإضافية الإضافية ل Firefox ...