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 3150940 obálek a 950590 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Rok: 2000
ISBN: 9783540410324
OKCZID: 110103569
Citace (dle ČSN ISO 690):
THIERAUF, Thomas. The computational complexity of equivalence and isomorphism problems. Berlin: Springer, 2000. viii, 135 s. Lecture notes in computer science, 1852.
A monograph studying the equivalence and sustainability problems of various computational models. Covers Boolean formulas, circuits, and various branching problems. The models being studied all come from formal language theory, logic, or circuit theory. Softcover.