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 3152121 obálek a 950676 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Relational and kleene-algebraic methods in computer science :7th international seminar on relational methods in computer science and 2nd international workshop on applications of Kleene algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers
Rok: c2004
ISBN: 9783540221456
OKCZID: 110050920
Citace (dle ČSN ISO 690):
BERGHAMMER, Rudolf, ed., MÖLLER, Bernhard, ed. a STRUTH, Georg, ed. Relational and kleene-algebraic methods in computer science: 7th international seminar on relational methods in computer science and 2nd international workshop on applications of Kleene algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers. Berlin: Springer, c2004. x, 277 s. Lecture notes in computer science, 3051.
Anotace
This book constitutes the thoroughly refereed joint postproceedings of the 7th International Seminar on Relational Methods in Computer Science and the 2nd International Workshop on Applications of Kleene Algebra held in Bad Malente, Germany in May 2003. The 21 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers address foundational and methodological aspects of the calculi of relations and Kleene algebra as well as applications of such methods in various areas of computer science and information processing.