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 2937992 obálek a 892882 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Grumberg, Orna | |
Autor: Grumberg, Orna
Rok: 1952- Orna Grumberg (born May 14, 1952) is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion.Grumberg is noted for developing model checking, a method for formally verifying hardware and software designs. With Edmund M. Clarke and Doron A. Peled, she is the author of the book Model Checking (MIT Press, 1999).In 2013 Prof. Grumberg was elected to the Academia Europaea. |