Kniha Programs, Proofs, Processes Fernando Ferreira

Programs, Proofs, Processes

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

Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa v malom množstve
Odosielame za 14-21 dní
54.43
This book constitutes the refereed proceedings of the 6th Conference on Computability in Europe, CiE...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2010
Stránok
450
EAN
9783642139611
ISBN
3642139612
Enbook ID
01656116
Hmotnosť
705
Rozmery
159 x 239 x 27

Kompletný popis

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.

Mohlo by vás zaujímať

270.71

Kidnapped at the Casino

Franklin W Dixon
7.07
257.15
9.72

The Carrow Haunt

Darcy Coates
11.59

Saving Speedway

Philip Dalling
23.38

Star Wars Padawan

Kiersten White
16.89

LIGHT EATERS

SCHLANGER ZOU
14.34
21.12

Lay Down Your Arms

Bertha Von Suttner
29.57

Black Dragon

Julian Sedgwick
8.74

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Dealul Galben

Dan David
14.63

Prodávejte!

Dale Carnegie
13.71

Katja

Heli E. Hartleb
16.50

Bowie

Michael Allred
26.91

Guía de las Vías Verdes. Centro, Sur y Levante

FUNDACION DE LOS FERROCARRILES ESPAÑOLES
22.49

Te quiero mas

Laura Duksta
7.16
15.32
97.76