acces mai rapid decât browser-ul!
7 relaţii: Allen, Edmund Clarke, Emerson, Iosif Sifakis, Listă de oameni din statul Texas, Premiul Turing, 2007 în informatică.
Allen
Allen este un nume propriu din arealul de vorbire al limbii engleze, care se poate referi la.
Nou!!: E. Allen Emerson și Allen · Vezi mai mult »
Edmund Clarke
Edmund Melson Clarke, Jr. a fost un informatician american, cunoscut pentru dezvoltarea conceptului de model checking ca metodă de verificare formală a proiectelor hardware și software.
Nou!!: E. Allen Emerson și Edmund Clarke · Vezi mai mult »
Emerson
Emerson se poate referi la.
Nou!!: E. Allen Emerson și Emerson · Vezi mai mult »
Iosif Sifakis
Iosif Sifakis (în, în; n. 1946, Iraklion, Grecia) este un informatician grec, laureat al Premiului Turing în 2007 împreună cu E. Allen Emerson și Edmund Clarke, pentru dezvoltarea conceptului de model checking.
Nou!!: E. Allen Emerson și Iosif Sifakis · Vezi mai mult »
Listă de oameni din statul Texas
Această pagină este o listă de personalități notabile care s-au născut în statul Texas.
Nou!!: E. Allen Emerson și Listă de oameni din statul Texas · Vezi mai mult »
Premiul Turing
Premiul A. M. Turing este o distincție decernată anual de către Association for Computing Machinery „unei persoane alese pentru contribuțiile de natură tehnică aduse comunității informatice.
Nou!!: E. Allen Emerson și Premiul Turing · Vezi mai mult »
2007 în informatică
* 2006 în informatică — 2007 în informatică — 2008 în informatică 2007 în informatică a însemnat o serie de evenimente noi notabile.
Nou!!: E. Allen Emerson și 2007 în informatică · Vezi mai mult »
