İsabelle
Isabelle - Matematiksel formüllerin resmi bir dilde ifade edilmesini sağlayan genel kanıt asistanı ...
7.6 MB
Isabelle - Matematiksel formüllerin resmi bir dilde ifade edilmesini sağlayan genel kanıt asistanı ...
7.6 MB
QuickTimetCl - Hem uygulama geliştirme hem de komut dosyası için TCL'den TCL'den QuickTime'a Yüksek Seviye Arayüzü ...
508 KB
Macintosh'unuzu Apple OS X sisteminizi Ruby ile donatmanın basit yolu. ...
16.2 MB
Mac OS X Cocoa ve Gnustep için PCRE Kütüphanesini Kullanarak Düzenli İfadeler İçin Bir Objective-C Çerçevesi ...
1.7 MB
Hakkımızda