PiET: Pi Calculus Equivalences Tester 1.0

Atur Cara Berkaitan

• The Figaro Percuma

  Rangka Kerja Algoritma Graf Tersirat dan Perwakilan oleh OBDDs" (Figaro) menguruskan eksperimen secara automatik dengan penjana input dan pemalam algoritma. Ia sudah mengandungi beberapa penjana dan algoritma untuk m

• C++ Programming Reference FREE Percubaan Percuma

  Lengkapkan rujukan pengaturcaraan bahasa C++ dari kad rujukan cepat, kepada manual latihan bahasa pengaturcaraanGunakan kemungkinan telefon bimbit membawa anda, membolehkan untuk mengkaji atau memeriksa apa sahaja yang an

• MEP Auswertung Percuma

  Program ini telah ditulis dengan perlu diingat untuk mencipta alat yang berguna untuk menilai Potensi Evoked Motor (MEP) yang dihasilkan oleh Rangsangan Magnet Transklanial (TMS) dan direkodkan dengan program & sebut harg

• gsvit Percuma

  Pelarut FDTD cepat dengan sokongan kad grafik. Dioptimumkan untuk optik nanoscale - mengimbas berhampiran mikroskopik optik medan, permukaan kasar berselerak dan sel solar. Menggunakan persekitaran CUDA untuk operasi kad graf

• Russian Vocabulary Percuma

  Sudah tiba masanya untuk memainkan kuiz perbendaharaan Kata Rusia! Menyeronokkan, kuiz trivia interaktif percuma dari Golden Quartz memberikan anda pengetahuan tentang pergi! Rusia (Ã' € Ã'ƒÃ'ÂÃ'Âúà̧ù Ã'Âà· Ã' ‹Ãº

• Fiction Press Reader Percuma

  Ingin menikmati FictionPress.com tanpa menggunakan semua data anda untuk bulan itu? Ini adalah pembaca luar talian untuk Fiksyen Akhbar yang akan membolehkan anda membaca cerita anda di mana sahaja. Ia juga membolehkan anda m

• brickit Percuma

  Repositori berasaskan web plasmid dan biobricks (lihat http://parts.mit.edu) ditambah dengan program utiliti berkaitan yang menyokong penyelidikan biologi sintetik.

• Harrow Percuma

  Perpustakaan Java, webservice dan webclient untuk menuai metadata. Ia kini menyokong penuaian dari OAI-PMH ke Fedora 2, tetapi dengan mudah boleh diperluaskan untuk menyokong lebih banyak protokol.

• MLPA Analyzer Percuma

  MLPA Analyzer adalah aliran kerja dan persekitaran analisis untuk Probe Amplification bergantung kepada Multiplex Ligation

• Physics Solving Toolkit Percuma

  Phyz adalah program pendidikan yang menunjukkan pelbagai teori/ konsep Fizik dan mengandungi set program penyelesaian masalah.Falsafah asas adalah untuk menerangkan dan menyediakan antara muka yang mudah untuk menyelesaikan