phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Programs, Proofs, Processes

Limba englezăengleză
Carte Carte broșată
Carte Programs, Proofs, Processes Fernando Ferreira
Codul Libristo: 01656116
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iunie 2010
This book constitutes the refereed proceedings of the 6th Conference on Computability in Europe, CiE... Descrierea completă
? points 163 b
328 lei
În depozitul extern Expediem în 9-13 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

top
Star Wars Padawan Kiersten White / Copertă tare
common.buy 80 lei
The Treehouse Joke Book Andy Griffiths / Carte broșată
common.buy 59 lei
Cambridge Young Learners English Tests Flyers 5 Student's Book / Carte broșată
common.buy 73 lei
Te quiero mas Laura Duksta / Copertă tare
common.buy 42 lei
Skazki Korneja Chukowskogo Kornej Chukowski / Copertă tare
common.buy 88 lei
Guía de las Vías Verdes. Centro, Sur y Levante FUNDACION DE LOS FERROCARRILES ESPAÑOLES / Carte broșată
common.buy 120 lei
Saving Speedway Philip Dalling / Copertă tare
common.buy 128 lei
Langenscheidt Grammatik Deutsch Bild für Bild - Die visuelle Grammatik für den leichten Einstieg Petra Bartoli / Carte broșată
common.buy 128 lei
Lay Down Your Arms Bertha Von Suttner / Carte broșată
common.buy 194 lei
Issledovanie bakterioza v berezovyh nasazhdeniyah Kazahstana Svetlana Kabanova / Carte broșată
common.buy 192 lei
Regionalentwicklung und Regionalfoerderung in der Slowakei, Ungarn und Slowenien Robert Kriegisch / Carte broșată
common.buy 215 lei
Conference Des Observations Des Tribunaux d'Appel Sur Le Projet de Code Civil. Partie 2 Impr De La Republique / Carte broșată
common.buy 87 lei
Reading Genesis Ronald Hendel / Copertă tare
common.buy 353 lei
Gedichte, Marchen, Tiergeschichten Burkhard Ruhl / Carte broșată
common.buy 122 lei
Low Temperature Metallization for Silicon Solar Cells. Aline Gautrein / Carte broșată
common.buy 480 lei
Capital Offenses Simon Joyce / Copertă tare
common.buy 377 lei

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.

Informații despre carte

Titlu complet Programs, Proofs, Processes
Autor Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes
Limba engleză
Legare Carte - Carte broșată
Data publicării 2010
Număr pagini 450
EAN 9783642139611
ISBN 3642139612
Codul Libristo 01656116
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 705
Dimensiuni 159 x 239 x 27

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo