Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.

Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 2893647 obálek a 874269 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.

Registrovat »    Zapomenuté heslo?

Clarke, E. M.

Nahlásit porušení duševního vlastnictví, nebo práva na ochranu soukromí.

Autor: Clarke, E. M.
Rok: 1945-

Biogr./Hist. údaje: Počítačový odborník, pedagog.
Zdroj: Autoritní databáze Národní knihovny ČR

E. M. Clarke

Edmund Melson Clarke, Jr. (born July 27, 1945) is a computer scientist and academic noted for developingmodel checking, a method for formally verifying hardware and software designs.He is the FORE Systems Professor of Computer Science at Carnegie Mellon University. Clarke, along with E. Allen Emerson and Joseph Sifakis, is a recipient of the 2007 Association for Computing Machinery A.M. Turing Award.

Pro přidání, nebo úpravu fotografie autora se prosím přihlaste: