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 2907389 obálek a 877850 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers | |||||
|
|
Rok: 2002 AnotaceA distillation of over 25 years of work by one of the world's most renowned computer scientists, Leslie Lamport. Useful for software and hardware engineers working in areas such as networking, communications, and data management. Dostupné zdroje
| ||||