Arnold Beckmann,
Ulrich Berger,
Benedikt Löwe,
John V. Tucker
e.a.
Logical Approaches to Computational Barriers
Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
Paperback Engels 2006 2006e druk 9783540354666Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
This book constitutes the refereed proceedings of the Second International Conference on Computability in Europe, CiE 2006, held in Swansea, UK, June/July 2006. The book presents 31 revised full papers together with 30 invited papers, including papers corresponding to 8 plenary talks and 6 special sessions on 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.
Specificaties
ISBN13:9783540354666
Taal:Engels
Bindwijze:Paperback
Aantal pagina's:608
Uitgever:Springer Berlin Heidelberg
Druk:2006
Hoofdrubriek:Automatisering algemeen, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan