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
Odosielame za 9-15 dní
54.29
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.04

Kidnapped at the Casino

Franklin W Dixon
7.05

Black Dragon

Julian Sedgwick
10.48
256.51
9.69

The Carrow Haunt

Darcy Coates
11.56

Saving Speedway

Philip Dalling
23.32

Star Wars Padawan

Kiersten White
16.95

LIGHT EATERS

SCHLANGER ZOU
14.30

Reading Genesis

Ronald Hendel
64.59

Capital Offenses

Simon Joyce
73.51

Newsstand

Lele Saveri
61.06

Aviation Security

United States Government Accountability
16.75

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

Prodávejte!

Dale Carnegie
13.68

Bowie

Michael Allred
26.95

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

FUNDACION DE LOS FERROCARRILES ESPAÑOLES
24.99

Katja

Heli E. Hartleb
16.46

Te quiero mas

Laura Duksta
7.15

Dealul Galben

Dan David
14.60
97.62
15.28