Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Σημείο ACS 4.99 € Box Now 3.99 €
phone Επικοινωνία phoneΠώς να κάνετε αγορές;

Programs, Proofs, Processes

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

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Programs, Proofs, Processes Fernando Ferreira
Κωδικός Libristo: 01656116
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Ιούνιος 2010
This book constitutes the refereed proceedings of the 6th Conference on Computability in Europe, CiE... Πλήρης περιγραφή
? points 148 b
61.11 €
Σε εξωτερική αποθήκη σε μικρές ποσότητες Αποστέλλουμε σε 9-15 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

Έως 30 ημέρες για επιστροφή

Οι πελάτες αγόρασαν επίσης

Dealul Galben Dan David / Βιβλίο Χαρτόδετο
common.buy 16.56 €
Regionalentwicklung und Regionalfoerderung in der Slowakei, Ungarn und Slowenien Robert Kriegisch / Βιβλίο Χαρτόδετο
common.buy 16.16 €
Prodávejte! Dale Carnegie / Βιβλίο Σκληρόδετο
common.buy 13.83 €
Katja Heli E. Hartleb / Βιβλίο Χαρτόδετο
common.buy 16.96 €
Bowie Michael Allred / Βιβλίο Σκληρόδετο
common.buy 27.77 €
Guía de las Vías Verdes. Centro, Sur y Levante FUNDACION DE LOS FERROCARRILES ESPAÑOLES / Βιβλίο Χαρτόδετο
common.buy 25.75 €
E-2-Rey Berachot and Mevakshey Emuna: Masechet Barachot and Seder Moed Yitzhak Horowitz / Βιβλίο Χαρτόδετο
common.buy 15.45 €
Te quiero mas Laura Duksta / Βιβλίο Σκληρόδετο
common.buy 7.87 €
Gedichte, Marchen, Tiergeschichten Burkhard Ruhl / Βιβλίο Χαρτόδετο
common.buy 8.98 €
Skazki Korneja Chukowskogo Kornej Chukowski / Βιβλίο Σκληρόδετο
common.buy 15.75 €
Polyphonie des Elends Dirk Sager / Βιβλίο Χαρτόδετο
common.buy 104.96 €
Langenscheidt Grammatik Deutsch Bild für Bild - Die visuelle Grammatik für den leichten Einstieg Petra Bartoli / Βιβλίο Χαρτόδετο
common.buy 25.96 €
Issledovanie bakterioza v berezovyh nasazhdeniyah Kazahstana Svetlana Kabanova / Βιβλίο Χαρτόδετο
common.buy 35.65 €
Conference Des Observations Des Tribunaux d'Appel Sur Le Projet de Code Civil. Partie 2 Impr De La Republique / Βιβλίο Χαρτόδετο
common.buy 16.26 €

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.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Programs, Proofs, Processes
Συγγραφέας Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2010
Αριθμός σελίδων 450
EAN 9783642139611
ISBN 3642139612
Κωδικός Libristo 01656116
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Βάρος 705
Διαστάσεις 159 x 239 x 27

Κατηγορία

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
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Distributed, Parallel and Biologically Inspired Systems MIKE HINCHEY / Βιβλίο Χαρτόδετο
common.buy 51.62 €
Ice Queen: A Nature of Desire Series Novel Joey W Hill / Βιβλίο Χαρτόδετο
common.buy 14.64 €
Ricky Ricotta's Mighty Robot Vs. the Naughty Nightcrawlers from Neptune Dav Pilkey / Βιβλίο Χαρτόδετο
common.buy 6.66 €
Cambridge Young Learners English Tests Flyers 5 Student's Book / Βιβλίο Χαρτόδετο
common.buy 15.04 €
A Collection of Fugues by Bach - For Solo Piano Johann Sebastian Bach / Βιβλίο Χαρτόδετο
common.buy 26.06 €
Mommy Had A Sonogram Today: Big Sister Shon Thomas / Βιβλίο Χαρτόδετο
common.buy 15.14 €
Guts in the Clutch: 77 Legendary Triumphs, Heartbreaks, and Wild Finishes in 12 Sports Richard J Noyes / Βιβλίο Χαρτόδετο
common.buy 15.55 €
How To Get Off Drugs: A Self Help Guide for a healthier life Jerry Wright / Βιβλίο Χαρτόδετο
common.buy 29.69 €
Lotos Leaves: Original Stories, Essays And Poems William Fearing Gill / Βιβλίο Χαρτόδετο
common.buy 44.04 €
Gender & Italian Archaeology Ruth D Whitehouse / Βιβλίο Σκληρόδετο
common.buy 278.33 €
Kidnapped at the Casino Franklin W Dixon / Βιβλίο Χαρτόδετο
common.buy 7.26 €
Basics of Line Balancing and JIT Kitting Beverly Townsend / Βιβλίο Σκληρόδετο
common.buy 264.39 €
Cambridge International AS & A Level Further Mathematics Further Probability & Statistics John du Feu / Βιβλίο Χαρτόδετο
common.buy 49.39 €
Non-Classical Crystallization of Thin Films and Nanostructures in CVD and PVD Processes Nong Moon Hwang / Βιβλίο Χαρτόδετο
common.buy 102.84 €
The Treehouse Joke Book Andy Griffiths / Βιβλίο Χαρτόδετο
common.buy 11.31 €
The Carrow Haunt Darcy Coates / Βιβλίο Χαρτόδετο
common.buy 14.44 €
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 / Βιβλίο Χαρτόδετο
common.buy 28.18 €
Renewable Energy Sources: Engineering, Technology, Innovation Andrzej Szlek / Βιβλίο Χαρτόδετο
common.buy 359.46 €
Saving Speedway Philip Dalling / Βιβλίο Σκληρόδετο
common.buy 24.04 €
Τοπ
Star Wars Padawan Kiersten White / Βιβλίο Σκληρόδετο
common.buy 13.73 €
LIGHT EATERS SCHLANGER ZOU / Βιβλίο Χαρτόδετο
common.buy 16.66 €
Τοπ
Mastering Italian Breads Fulvio Marino / Βιβλίο Σκληρόδετο
common.buy 24.54 €
Lay Down Your Arms Bertha Von Suttner / Βιβλίο Χαρτόδετο
common.buy 33.73 €
Black Dragon Julian Sedgwick / Βιβλίο Χαρτόδετο
common.buy 10.60 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;