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 2892028 obálek a 873434 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.

Registrovat »    Zapomenuté heslo?

Grumberg, Orna

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

Autor: Grumberg, Orna
Rok: 1952-
Oblast působnosti:

Biogr./Hist. údaje: Izraelská počítačová odbornice, práce z oboru počítačové bezpečnosti.
Zdroj: Autoritní databáze Národní knihovny ČR

Orna Grumberg

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.

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