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 Methods in Computer Science: 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on ... Computer Science and General Issues)
Autor: MacCaull, Wendy.
Rok: 2006
ISBN: 9783540333395
OKCZID: 110091058
Citace (dle ČSN ISO 690):
MACCAULL, Wendy, ed., WINTER, Michael, ed. a DÜNTSCH, Ivo, ed. Relational methods in computer science: 8th international seminar on relational methods in computer science, 3rd international workshop on applications of Kleene algebra and workshop of COST action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers. Berlin: Springer, c2006. vii, 262 s. Lecture notes in computer science, 3929.
Anotace
This book constitutes the thoroughly refereed joint postproceedings of the 8th International Seminar on Relational Methods in Computer Science, the 3rd International Workshop on Applications of Kleene Algebra, and the Workshop of COST Action 274: TARSKI, Theory and Application of Relational Structures as Knowledge Instruments, held St. Catharines, Ontario, Canada in February 2005. The 17 revised full papers presented together with 3 invited papers 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 and include such topics as static analysis of programs, representation theory, theories of programming, evolutionary algorithms, verification and quantifier elimination.