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.
Logical approaches to computational barriers :second conference on computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006 : proceedings
Rok: c2006
ISBN: 9783540354666
OKCZID: 110046316
Citace (dle ČSN ISO 690):
BECKMANN, Arnold, ed. Logical approaches to computational barriers: second conference on computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006 : proceedings. Berlin: Springer, c2006. xv, 608 s. Lecture notes in computer science, 3988.
Anotace
This book constitutes the refereed proceedings of the Second International Conference on Computability in Europe, CiE 2006, held in Swansea, UK, in June/July 2006. The 31 revised full papers presented together with 30 invited papers were carefully reviewed and selected from about 80 submissions. Among them are papers corresponding to 8 plenary talks and papers of 6 special sessions entitled proofs and computation, computable analysis, challenges in complexity, foundations of programming, mathematical models of computers and hypercomputers, and Gödel centenary: Gödel's legacy for computability.