Enter your mobile number or email address below and we'll send you a link to download the free Kindle Reading App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.
To get the free app, enter your email address or mobile phone number.
ListenPlaying...PausedYou're listening to a sample of the Audible audio edition. Learn more
See this image
Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings (Lecture Notes in Computer Science)Paperback– August 11, 2010
Best Books of the Year So Far
Looking for something great to read? Browse our editors' picks for 2015's Best Books of the Year So Far in fiction, nonfiction, mysteries, children's books, and much more.
Shop the new tech.book(store)
New! Introducing the tech.book(store), a hub for Software Developers and Architects, Networking Administrators, TPMs, and other technology professionals to find highly-rated and highly-relevant career resources. Shop books on programming and big data, or read this week's blog posts by authors and thought-leaders in the tech industry.
> Shop now
Series: Lecture Notes in Computer Science (Book 6158)