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

Registrovat »    Zapomenuté heslo?

Pnueli, A.

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

Autor: Pnueli, A.
Rok: 1941-

Biogr./Hist. údaje: Obor působnosti počítače.
Zdroj: Autoritní databáze Národní knihovny ČR

A. Pnueli

Profesor Amir Pnueli (hebrejsky: אמיר פנואלי; žil 22. dubna 1941 – 2. listopadu 2009) byl izraelský informatik. Za jeho přínos v oblasti temporální logiky a ověřování programů a systémů mu byla v roce 1996 udělena Turingova cena.

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