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 2906459 obálek a 877215 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Formal Syntax and Semantics of Programming Languages | |||||
Rok: 1995 Hodnocení: 5.0 / 5 (6 hlasů) AnotaceWith this book, readers with a basic grounding in discreet mathematics will be able to understand the practical applications of these difficult concepts. The book presents the typically difficult subject of "formal methods" in an informal, easy-to-follow manner. A "laboratory component" is integrated throughout the text. Dostupné zdroje
|