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.
An introduction to formal languages nad machine computation
Autor: Yan, Song Y.
Rok: 1998.
ISBN: 9789810234225
OKCZID: 110094938
Citace (dle ČSN ISO 690):
YAN, Song Y. An introduction to formal languages nad machine computation. Singapore: World Scientific, 1998. xvii, 400 s.
Anotace
This book provides an elementary introduction to formal languages and machine computation. The materials covered include computation-oriented mathematics, finite automata and regular languages, push-down automata and context-free languages, Turing machines and recursively enumerable languages, and computability and complexity. As integers are important in mathematics and computer science, the book also contains a chapter on number-theoretic computation. The book is intended for university computing and mathematics students and computing professionals.