Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Programs, Proofs, Processes

6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings

Language EnglishEnglish
Book Paperback
Book Programs, Proofs, Processes Fernando Ferreira
Libristo code: 01656116
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2010
This book constitutes the refereed proceedings of the 6th Conference on Computability in Europe, CiE... Full description
? points 152 b
22 342 Ft
In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Gedichte, Marchen, Tiergeschichten Burkhard Ruhl / Book Paperback
common.buy 3 530 Ft
Prodávejte! Dale Carnegie / Book Hardback
common.buy 4 810 Ft
Regionalentwicklung und Regionalfoerderung in der Slowakei, Ungarn und Slowenien Robert Kriegisch / Book Paperback
common.buy 6 294 Ft
Bowie Michael Allred / Book Hardback
common.buy 9 884 Ft
Guía de las Vías Verdes. Centro, Sur y Levante FUNDACION DE LOS FERROCARRILES ESPAÑOLES / Book Paperback
common.buy 9 193 Ft
Katja Heli E. Hartleb / Book Paperback
common.buy 6 633 Ft
Te quiero mas Laura Duksta / Book Hardback
common.buy 2 913 Ft
Dealul Galben Dan David / Book Paperback
common.buy 6 058 Ft
Polyphonie des Elends Dirk Sager / Book Paperback
common.buy 38 330 Ft
Langenscheidt Grammatik Deutsch Bild für Bild - Die visuelle Grammatik für den leichten Einstieg Petra Bartoli / Book Paperback
common.buy 9 267 Ft
Conference Des Observations Des Tribunaux d'Appel Sur Le Projet de Code Civil. Partie 2 Impr De La Republique / Book Paperback
common.buy 5 955 Ft
Issledovanie bakterioza v berezovyh nasazhdeniyah Kazahstana Svetlana Kabanova / Book Paperback
common.buy 13 882 Ft
E-2-Rey Berachot and Mevakshey Emuna: Masechet Barachot and Seder Moed Yitzhak Horowitz / Book Paperback
common.buy 5 677 Ft
Skazki Korneja Chukowskogo Kornej Chukowski / Book Hardback
common.buy 5 617 Ft

This book constitutes the refereed proceedings of the 6th Conference on Computability in Europe, CiE 2010, held in Ponta Delgada, Azores, Portugal, in June/July 2010. The 28 revised papers presented together with 20 invited lectures were carefully reviewed and selected from 90 submissions. The papers address not only the more established lines of research of computational complexity and the interplay between proofs and computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Programs, Proofs, Processes
Author Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes
Language English
Binding Book - Paperback
Date of issue 2010
Number of pages 450
EAN 9783642139611
ISBN 3642139612
Libristo code 01656116
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 705
Dimensions 159 x 239 x 27

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Graphical & digital media applications > 3D graphics & modelling
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Distributed, Parallel and Biologically Inspired Systems MIKE HINCHEY / Book Paperback
common.buy 19 972 Ft
Gender & Italian Archaeology Ruth D Whitehouse / Book Hardback
common.buy 104 132 Ft
Ricky Ricotta's Mighty Robot Vs. the Naughty Nightcrawlers from Neptune Dav Pilkey / Book Paperback
common.buy 2 440 Ft
Kidnapped at the Casino Franklin W Dixon / Book Paperback
common.buy 2 797 Ft
Mommy Had A Sonogram Today: Big Sister Shon Thomas / Book Paperback
common.buy 5 529 Ft
Guts in the Clutch: 77 Legendary Triumphs, Heartbreaks, and Wild Finishes in 12 Sports Richard J Noyes / Book Paperback
common.buy 5 691 Ft
How To Get Off Drugs: A Self Help Guide for a healthier life Jerry Wright / Book Paperback
common.buy 10 900 Ft
Lotos Leaves: Original Stories, Essays And Poems William Fearing Gill / Book Paperback
common.buy 16 136 Ft
Black Dragon Julian Sedgwick / Book Paperback
common.buy 3 780 Ft
Ice Queen: A Nature of Desire Series Novel Joey W Hill / Book Paperback
common.buy 5 366 Ft
Basics of Line Balancing and JIT Kitting Beverly Townsend / Book Hardback
common.buy 98 928 Ft
The Treehouse Joke Book Andy Griffiths / Book Paperback
common.buy 4 160 Ft
The Carrow Haunt Darcy Coates / Book Paperback
common.buy 5 325 Ft
A Record of Buddhistic Kingdoms Being an Account by the Chinese Monk Fa-Hien of His Travels in India and Ceylon in Search of the Buddhist Books of Dis James Legge / Book Paperback
common.buy 10 325 Ft
Renewable Energy Sources: Engineering, Technology, Innovation Andrzej Szlek / Book Paperback
common.buy 122 239 Ft
Saving Speedway Philip Dalling / Book Hardback
common.buy 9 077 Ft
Top
Star Wars Padawan Kiersten White / Book Hardback
common.buy 5 441 Ft
LIGHT EATERS SCHLANGER ZOU / Book Paperback
common.buy 6 178 Ft
How to Start a Letter in 100 Different Expressions & 135 Letter Examples Henri Duo / Book Paperback
common.buy 7 444 Ft
Cambridge Young Learners English Tests Flyers 5 Student's Book / Book Paperback
common.buy 5 074 Ft
Reading Genesis Ronald Hendel / Book Hardback
common.buy 26 725 Ft
Capital Offenses Simon Joyce / Book Hardback
common.buy 29 958 Ft
Newsstand Lele Saveri / Book Paperback
common.buy 22 444 Ft
Aviation Security United States Government Accountability / Book Paperback
common.buy 6 985 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?