PiET: Pi Calculus Equivalences Tester 1.0

İlgili Programlar

• The Figaro Ücret -siz

  OBDDs" tarafından "Framework for Implicit Graph Algoritmaları ve Gösterimleri için çerçeve; (Figaro) giriş jeneratörü ve algoritma eklentileri ile deneyleri otomatik olarak yönetir. Zaten grafik ve zamanlama sorunlar

• C++ Programming Reference FREE Ücretsiz Deneme

  Hızlı başvuru kartlarından programlama dili eğitim kılavuzlarına kadar Tam C++ dil programlama başvurusuHareket halindeyken istediğiniz her şeyi incelemenize veya kontrol etmenize olanak tanıyan cep telefonunun size sundu

• MEP Auswertung Ücret -siz

  Bu program Transkraniyal Manyetik Stimülasyon (TMS) tarafından oluşturulan Motor Uyarılmış Potansiyelleri (MEPs) değerlendirmek için yararlı bir araç oluşturmak için akılda yazılı ve program "Signal" (sürüm 2.xx) il

• gsvit Ücret -siz

  Grafik kartı desteği ile hızlı FDTD çözücü. Nano ölçekli optik için optimize edilmiş - yakın alan optik mikroskopisi, pürüzlü yüzey saçılma ve güneş pilleri tarama. Grafik kartı işlemi için CUDA ortamını kullanır.

• Russian Vocabulary Ücret -siz

  Rusça Kelime testi oynama zamanı! Golden Quartz'ın eğlenceli, ücretsiz interaktif trivia sınavları size yolda bilgi verir! Rusça (Ã' €Ã'ƒÃ'ÂÃ'ÂÃ'Âú Ãܹ Ã'Â÷ Ã'‹Ãº, russkiy yazyk, telaffuz [ÃÃâ ¤â¤â¤ˈˈâ¤â¤ˈˈã¤â¤) ön

• Fiction Press Reader Ücret -siz

  Ay için tüm verilerinizi kullanmadan FictionPress.com keyfini çıkarmak ister misiniz? Bu, kurgusal basın için, hikayelerinizi yolda okumanızı sağlayacak çevrimdışı bir okuyucudur. Ayrıca, öykülerinizin güncellemelerini yönetm

• brickit Ücret -siz

  Plazmidler ve biyotuğlalar (bkz http://parts.mit.edu) artı sentetik biyoloji araştırmadestekleyen ilgili yardımcı programları bir web tabanlı deposu.

• Harrow Ücret -siz

  Meta verileri toplamak için Java kitaplığı, web hizmeti ve web istemcisi. Şu anda Fedora 2 OAI-PMH hasat destekler, ancak kolayca daha fazla protokolleri desteklemek için uzatılabilir.

• MLPA Analyzer Ücret -siz

  MLPA Analyzer, Multipleks Ligasyona bağlı Prob Amplifikasyonu için bir iş akışı ve analiz ortamıdır

• Physics Solving Toolkit Ücret -siz

  Phyz çeşitli Fizik kuramları / kavramları gösteren ve problem çözme programları setleri içeren bir eğitim programıdır.Temel felsefe açıklamak ve problem çözme için kolay bir arayüz sağlamaktır.