PiET: Pi Calculus Equivalences Tester 1.0

Programmi correlati

• The Figaro Gratuito

  "Framework for Implicit Graph Algorithms and Representations by OBDDs" (Figaro) gestisce automaticamente gli esperimenti con generatori di input e plug-in di algoritmi. Contiene già alcuni generatori e algoritmi per

• C++ Programming Reference FREE Prova gratuita

  Informazioni di riferimento complete sulla programmazione del linguaggio C++ dalle schede di riferimento rapido ai manuali di formazione del linguaggio di programmazioneUsa le possibilità che il cellulare ti offre, permet

• MEP Auswertung Gratuito

  Questo programma è stato scritto tenendo presente la creazione di uno strumento utile per valutare i potenziali evocati del motore (MEP) generati dalla stimolazione magnetica transcranica (TMS) e registrati con il programma &

• gsvit Gratuito

  Risolutore FDTD veloce con supporto per schede grafiche. Ottimizzato per l'ottica su scala nanometrica: microscopia ottica near field, scattering superficiale grezzo e celle solari. Utilizza l'ambiente CUDA per il funzionamen

• Russian Vocabulary Gratuito

  È tempo di giocare al quiz del vocabolario russo! Divertenti quiz interattivi gratuiti di Golden Quartz ti danno conoscenza in movimento! Russo (Ã'€Ã'ƒÃ'ÂÃ'ÂÃ'Âúà̃Ãù Ã'Â÷ La lingua slava usata principalmente in Russ

• Fiction Press Reader Gratuito

  Vuoi goderti FictionPress.com senza utilizzare tutti i tuoi dati per il mese? Questo è un lettore offline per Fiction Press che ti permetterà di leggere le tue storie in movimento. Ti consente anche di gestire e controllare f

• brickit Gratuito

  Un repository basato sul web di plasmidi e biobrick (vedi http://parts.mit.edu) oltre a programmi di utilità correlati che supportano la ricerca sulla biologia sintetica.

• Harrow Gratuito

  Libreria Java, servizio Web e webclient per la raccolta dei metadati. Attualmente supporta la raccolta da OAI-PMH a Fedora 2, ma può essere facilmente esteso per supportare più protocolli.

• MLPA Analyzer Gratuito

  MLPA Analyzer è un ambiente di flusso di lavoro e analisi per l'amplificazione della sonda dipendente dalla legatura multiplex

• Physics Solving Toolkit Gratuito

  Phyz è un programma educativo che mostra varie teorie / concetti di fisica e contiene serie di programmi di risoluzione dei problemi.La filosofia di base è spiegare e fornire un'interfaccia semplice per la risoluzione dei p