Książka 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

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 9-15 dni
240.95
This book constitutes the refereed proceedings of the 6th Conference on Computability in Europe, CiE...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2010
strony
450
EAN
9783642139611
ISBN
3642139612
Enbook ID
01656116
Waga
705
Wymiary
159 x 239 x 27

Pełny opis

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.

Możesz być zainteresowany

1 145.88

Kidnapped at the Casino

Franklin W Dixon
30.07

Black Dragon

Julian Sedgwick
44.48
1 088.64
43.80

The Carrow Haunt

Darcy Coates
55.87

Saving Speedway

Philip Dalling
98.91

Star Wars Padawan

Kiersten White
56.56

LIGHT EATERS

SCHLANGER ZOU
64.93

Reading Genesis

Ronald Hendel
287.39

Capital Offenses

Simon Joyce
325.06

Newsstand

Lele Saveri
259.35

Aviation Security

United States Government Accountability
74.96

Klienci, którzy kupili tę książkę, kupili również

37.18

Prodávejte!

Dale Carnegie
53.54

Bowie

Michael Allred
108.54

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

FUNDACION DE LOS FERROCARRILES ESPAÑOLES
106.21

Katja

Heli E. Hartleb
69.99

Te quiero mas

Laura Duksta
32.41

Dealul Galben

Dan David
64.93
432.16
64.93