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 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

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 142 b
58.63 €
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 9.00 €
Prodávejte! Dale Carnegie / Book Hardback
common.buy 13.06 €
Regionalentwicklung und Regionalfoerderung in der Slowakei, Ungarn und Slowenien Robert Kriegisch / Book Paperback
common.buy 16.20 €
Bowie Michael Allred / Book Hardback
common.buy 27.84 €
Guía de las Vías Verdes. Centro, Sur y Levante FUNDACION DE LOS FERROCARRILES ESPAÑOLES / Book Paperback
common.buy 25.82 €
Katja Heli E. Hartleb / Book Paperback
common.buy 17.01 €
Te quiero mas Laura Duksta / Book Hardback
common.buy 7.89 €
Dealul Galben Dan David / Book Paperback
common.buy 15.79 €
Polyphonie des Elends Dirk Sager / Book Paperback
common.buy 105.22 €
Langenscheidt Grammatik Deutsch Bild für Bild - Die visuelle Grammatik für den leichten Einstieg Petra Bartoli / Book Paperback
common.buy 26.02 €
Conference Des Observations Des Tribunaux d'Appel Sur Le Projet de Code Civil. Partie 2 Impr De La Republique / Book Paperback
common.buy 15.59 €
Issledovanie bakterioza v berezovyh nasazhdeniyah Kazahstana Svetlana Kabanova / Book Paperback
common.buy 35.74 €
E-2-Rey Berachot and Mevakshey Emuna: Masechet Barachot and Seder Moed Yitzhak Horowitz / Book Paperback
common.buy 14.78 €
Skazki Korneja Chukowskogo Kornej Chukowski / Book Hardback
common.buy 15.79 €

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 51.75 €
Gender & Italian Archaeology Ruth D Whitehouse / Book Hardback
common.buy 279.02 €
Ricky Ricotta's Mighty Robot Vs. the Naughty Nightcrawlers from Neptune Dav Pilkey / Book Paperback
common.buy 6.27 €
Kidnapped at the Casino Franklin W Dixon / Book Paperback
common.buy 7.28 €
Mommy Had A Sonogram Today: Big Sister Shon Thomas / Book Paperback
common.buy 14.37 €
Guts in the Clutch: 77 Legendary Triumphs, Heartbreaks, and Wild Finishes in 12 Sports Richard J Noyes / Book Paperback
common.buy 14.78 €
How To Get Off Drugs: A Self Help Guide for a healthier life Jerry Wright / Book Paperback
common.buy 28.35 €
Lotos Leaves: Original Stories, Essays And Poems William Fearing Gill / Book Paperback
common.buy 42.12 €
Black Dragon Julian Sedgwick / Book Paperback
common.buy 10.83 €
Ice Queen: A Nature of Desire Series Novel Joey W Hill / Book Paperback
common.buy 13.97 €
Basics of Line Balancing and JIT Kitting Beverly Townsend / Book Hardback
common.buy 265.05 €
The Treehouse Joke Book Andy Griffiths / Book Paperback
common.buy 10.62 €
Top
The Carrow Haunt Darcy Coates / Book Paperback
common.buy 13.56 €
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 26.93 €
Renewable Energy Sources: Engineering, Technology, Innovation Andrzej Szlek / Book Paperback
common.buy 343.95 €
Saving Speedway Philip Dalling / Book Hardback
common.buy 24.10 €
Top
Star Wars Padawan Kiersten White / Book Hardback
common.buy 13.76 €
LIGHT EATERS SCHLANGER ZOU / Book Paperback
common.buy 15.79 €
How to Start a Letter in 100 Different Expressions & 135 Letter Examples Henri Duo / Book Paperback
common.buy 19.33 €
Cambridge Young Learners English Tests Flyers 5 Student's Book / Book Paperback
common.buy 14.27 €
Reading Genesis Ronald Hendel / Book Hardback
common.buy 69.98 €
Capital Offenses Simon Joyce / Book Hardback
common.buy 79.19 €
Newsstand Lele Saveri / Book Paperback
common.buy 63.09 €
Aviation Security United States Government Accountability / Book Paperback
common.buy 18.22 €

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?