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 2885267 obálek a 870060 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Coping with complexity and undecidability in automated verification of computer-based systems : thesis of a lecture within a full professor appoinment in the area of computer science and engineering = Řešení problémů spojených se složitostí a nerozhodnutelností automatizované verifikace počítačových systémů : teze přednášky k profesorskému jmenovacímu řízení v oboru Výpočetní technika a informatika | |||||
Autor: Vojnar, Tomáš AnotaceBuďte první a doplňte chybějící anotaci. Dostupné zdroje
|