LTL3 tools 0.0.7
Anda boleh memuat turun dalam masa 5 saat.
Anda juga boleh klik pada Pautan Muat Turun Luaran berikut untuk memulakan muat turun:
http://sourceforge.net/projects/ltl3tools/files/ltl3tools/0.0.7/ltl3tools-0.0.7.tar.gz/download
Tentang LTL3 tools
Koleksi alatan yang boleh digunakan untuk menjana monitor ("watchdogs") dari formula LTL. Ini dikenali dari kawasan pengesahan masa jalanan. Untuk maklumat lanjut, lihat laman utama projek yang berkaitan.
Atur Cara Berkaitan
-
Neve Percuma
Persekitaran Visualisasi NEtwork adalah rangka kerja untuk visualisasi 3D dan interaksi dengan rangkaian, terutamanya rangkaian komunikasi sebagai internet dalam masa nyata dan sebagai alat simulasi. Berdasarkan JMX/Java3D.
-
Wikidsmart Percuma
Wikidsmart zAgile bertukar Menjadi wiki semantik dan repositori pengetahuan. Dibina di zCALM, infrastruktur web semantik untuk kebolehkerjaan aplikasi, ia menjadi papan pemuka maklumat apabila Penyambung kepada alat dan aplik
-
sdf2xyz2sdf Percuma
Perisian sumber terbuka untuk menukar fail SDF ke dalam fail TINKER XYZ (dan sebaliknya) dengan tugasan automatik jenis atom MMFF94, jenis bon dan caj
-
Alcoholics Anonymous 12 Steps Percubaan Percuma
Membantu dalam pemulihan ketagihan dan menyediakan rujukan yang berguna untuk mana-mana ahli AA.Buku Besar, Kalkulator Sobriety, 12 Langkah & Tradisi, Cari Mesyuarat AA, Doa.Ciri-ciri termasuk:Buku Besar -Pand
-
Drum Count Percuma
Kiraan gendang adalah alat mudah yang menganalisis bunyi dalam masa nyata untuk mengukur bilangan sebatan yang dimainkan pada dramset.
-
FBReader LitRes plugin Percubaan Percuma
Ciri tambahan untuk FBReader litres.ru integrasi.Akses kedai satu klik liter.Daftar pengguna baru terus dari FBReader, tambah nilai akaun anda melalui mesej teks dan kad kredit.
-
quickdoc Percuma
QuickDoc adalah penghuraian dokumen java yang membaca dokumen dari fail teks biasa menggunakan bahasa mudah dan mengeksport dokumen ke format lain seperti PDF, HTML, Bantuan Java dan XML.
-
The Earth Science Markup Language Percuma
ESML adalah teknologi pertukaran yang menggunakan metadata luaran untuk membolehkan aplikasi memasang dan bermain dengan lancar dengan data khusus Sains Bumi dalam format heterogen.
-
RoboCup GameController Percuma
RoboCup GameController adalah perisian sumber terbuka yang digunakan dalam Liga Humanoid RoboCup dan Liga Platform Standard. Arahan pengadil dihantar ke robot di padang permainan melalui rangkaian wayarles untuk mencapai auto
-
PMath Percuma
PMath adalah editor WYSIWYG berasaskan Sawit teks matematik dengan kemungkinan untuk menukar mereka ke LaTeX.