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.
Clarke, E. M. | |
Autor: Clarke, E. M.
Rok: 1945- 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. |