|
|
libcats.org
Logical Approaches to Computational Barriers, 2 conf., CiE 2006Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. TuckerThis 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.
Скачать книгу бесплатно (pdf, 6.03 Mb)
Читать «Logical Approaches to Computational Barriers, 2 conf., CiE 2006» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
Computer Systems: A Programmer's Perspective, 2nd EditionАвтор: Randal E. Bryant, Автор: David R. O'Hallaron
Размер книги: 6.75 Mb
Только что пользователи скачали эти книги:
Asymptotic approximations of orthogonal polynomialsАвтор: Ferreira, Автор: Lopez, Автор: Mainar.
Размер книги: 104 Kb
Urbanism in Antiquity: From Mesopotamia to CreteАвтор: Walter E. Aufrecht, Автор: Neil A. Mirau, Автор: Steven W. Gauley
Размер книги: 14.65 Mb
Winning the Merger Endgame: A Playbook for Profiting From Industry ConsolidationАвтор: Graeme K. DeansКатегория: Математика, Прикладная математика
Размер книги: 1.07 Mb
Crisis of Doubt: Honest Faith in Nineteenth-Century EnglandАвтор: Timothy Larsen
Размер книги: 2.06 Mb
My Deadly ValentineАвтор: Hansen Valerie, Автор: Eason LynetteКатегория: fiction
Размер книги: 351 Kb
|
|
|