Hantar Perisian
  1. Rumah
  2. Linux
  3. Lain
  4. Tautologica Logic Suite

Tautologica Logic Suite 0.3.1

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 5.0/5 - ‎1 ‎Undi
Muat turun

Suite program untuk alat logik pendidikan. Sekarang satu-satunya program kerja di suite adalah Editor Model Tautologica.

sejarah versi

  • Versi Tautologica%20v0.3.1 diposkan pada 2003-12-01
    Beberapa pembaikan dan pengemaskinian
  • Versi Tautologica v0.3.1 diposkan pada 2003-12-01

Butiran Atur Cara

Atur Cara Berkaitan

  • TSA Percuma

    Toolkit analisis siri kuantitatif bukan talian, ditulis dalam gaya pengaturcaraan templat C++.

  • UMass Lowell Handyboard Loader Percuma

    Mudah, boleh dipercayai, dan lengkapkan Papan Berguna / 68HC11 loader but dari UMass Lowell

  • Php to Xmi converter Percuma

    Php2Xmi adalah alat baris perintah yang ditulis dalam PHP yang mengimbas kelas PHP dan membina fail XMI dengan perwakilan UML kelas yang ditemui. XMI boleh dilihat menggunakan alat pemodelan Umbrello KDE

  • How to braid hair Percuma

    Dengan aplikasi ini, anda akan belajar bagaimana untuk braid yang sangat cantik dan luar biasa. Kata kunci: braid rambutnya, braiding, penggayaan rambut, gaya yang luar biasa, gaya yang indah, rambut cantik, rambut wanita

  • Roblox Catalog Percuma

    Cepat dan mudah melayari katalog roblox tanpa perlu melancarkan pelayar anda! Permohonan ini dan penciptanya sama tidak bergabung dengan Roblox Corporation. Logo permohonan, dan semua aset yang digunakan dalam aplikasi ini ad

  • LabRAD Percuma

    LabRAD adalah platform untuk cepat dan mudah mewujudkan kawalan instrumen teragih dan sistem pemerolehan data. Persediaan penyelidikan biasa melibatkan banyak peranti yang disambungkan ke beberapa komputer yang diuruskan oleh

  • Gpiv Percuma

    Gpiv adalah program Antara Muka Pengguna Grafik untuk Velocimetry Imej Zarah (PIV). Ia menyoal siasat imej, mengesahkan dan selepas proses data yang terhasil dan memaparkan hasilnya.

  • IMMpractical Percuma

    IMMpractical melaksanakan pelbagai kaedah berasaskan model rantaian Markov untuk analisis urutan DNA. Sila memetik: Sparks, M.E., Brendel, V. dan Dorman, K.S. (2007) Varian model Markov untuk penilaian potensi pengekodan dala

  • Echoes of Eternity Percuma

    Program baru yang sedang menjalani pembangunan yang merangkumi topik seperti Fizik, Psikologi, Falsafah, Wira Yunani, dan pelbagai Sebut Harga. Imej dan biografi/ angka yang kurang dikenali dan teori akan disertakan di atas.

  • rarFit Percuma

    Pakej pemasangan ML berdasarkan ROOT / RooFit untuk HEP