Keymaera.
Un potente strumento di verifica progettato per essere utilizzato da sistemi ibridi che includono deduttivi, veri algebr ... ...
4 KB
Un potente strumento di verifica progettato per essere utilizzato da sistemi ibridi che includono deduttivi, veri algebr ... ...
4 KB
Un'applicazione che registra i dati da un multimetro TP4000ZC Tekpower collegato a una porta RS-232, con ... ...
325 KB
Una rappresentazione del circuito semplificato per un contatore RTLIB, consentendo di eseguire la simulazione e unire ... ...
1 KB
Un'utilità leggera che può eseguire analisi del profilo pan-genoma batterico e ritorno informi dettagliato ... ...
15.7 MB
Un'applicazione user-friendly e leggera che consente agli utenti di generare facilmente spettri di atomi e ... ...
284 KB
Chi siamo