Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Theoretical Aspects of Computing - ICTAC 2009

6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Theoretical Aspects of Computing - ICTAC 2009 Martin Leucker
Codul Libristo: 01650248
Editura Springer, Berlin, iulie 2009
This book constitutes the refereed proceedings of the 6th International Colloquium on Theoretical As... Descrierea completă
? points 132 b
285.16 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Heies Blut Un-Su Kim / E-book Adobe ePub DRM
common.buy 69.23 lei
The Call of the WIld. Zew krwi Poziom C1 Jack London Carte Carte broșată
common.buy 41.78 lei
Řecká odysea Redakce časopisu Apetit / Carte Copertă tare
common.buy 86.38 lei
Janosch: »Wondrak für alle Lebenslagen«. Memo-Spiel Janosch / Joc / Jucărie Joc
common.buy 75.36 lei
První čísla Lepím Učím se Hraju si / Carte Carte broșată
common.buy 17.98 lei
FEM D'ESCRIPTORS. Quadern 1. El grill cantaire. BESTIOLES. 5 anys Gassó Gimeno / Carte Foaie
common.buy 29.20 lei
Puzzle Sladký jednorožec / Joc / Jucărie Puzzle
common.buy 26.19 lei
Batman - Epilog Scott Snyder / Carte Copertă tare
common.buy 99.79 lei
Hilary Hahn-The Complete Sony Recordings Hilary Hahn / Audio Audio CD
common.buy 109.77 lei
Nuevas rutas para Clio / Carte Carte broșată
common.buy 149.59 lei
En el Feu de l'ermitatge Bauçà Rosselló / Carte Carte broșată
common.buy 112.16 lei
Therapeutique Appliquee, Ou Traitements Speciaux de la Plupart Des Maladies Chroniques (Ed.1850) Debreyne-P / Carte Carte broșată
common.buy 133.17 lei
La Regionalisation Au Maroc Benayada-S / Carte Carte broșată
common.buy 443.80 lei
Algoritmos de Routing Multicast para Redes de Sensores Inalambricos Juan Antonio Sánchez Laguna / Carte Carte broșată
common.buy 340.99 lei

This book constitutes the refereed proceedings of the 6th International Colloquium on Theoretical Aspects of Computing, ICTAC 2009 held in Kuala Lumpur, Malaysia, in August 2009.§The 17 revised full papers and 3 revised papers presented with 4 invited lectures were carefully reviewed and selected from 81 submissions. The papers address all theoretical aspects and methodological issues of computing, such as software specification, refinement, verification and testing, model checking and theorem proving, software architectures, coordination and feature interaction, integration of theories, formal and engineering methods and tools, models of concurrency, security, and mobility, parallel, distributed, and internet-based (grid) computing, real-time, embedded and hybrid systems, automata theory and formal languages, principles and semantics of languages, logics and their applications, type and category theory in computer science, case studies, theories, tools and experiments of verified systems, service-oriented architectures, as well as domain modelling and domain-specific technology.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Theoretical Aspects of Computing - ICTAC 2009
Autor Martin Leucker, Charles Carroll Morgan
Limba engleză
Legare Carte - Carte broșată
Data publicării 2009
Număr pagini 357
EAN 9783642034657
ISBN 3642034659
Codul Libristo 01650248
Editura Springer, Berlin
Greutatea 569
Dimensiuni 155 x 235 x 20

Categorii

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Operating systems
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

Ar putea de asemenea, să te intereseze

Lost Art of Running Benzie Shane Benzie / E-book Adobe ePub DRM
common.buy 59.35 lei
Night-Night Tennessee Katherine Sully / Carte Cărți pliante
common.buy 46.98 lei
Prayer of Moses C H Cobb / Carte Carte broșată
common.buy 48.75 lei
Rethinking Human Rights and Global Constitutionalism Ekaterina Yahyaoui Krivenko / Carte Copertă tare
common.buy 540.59 lei
Clarence BRET HARTE / Carte Copertă tare
common.buy 173.61 lei
Of Deeds Most Valiant Sarah K. L. Wilson / Carte Copertă tare
common.buy 210.41 lei
Essays for the 99%: The Collection - Class Warfare John David / Carte Carte broșată
common.buy 46.98 lei
Ardor of Life Pratik Mishra / Carte Carte broșată
common.buy 52.59 lei
Moscow Coloring Book: Adult Coloring Book, Volume 1: Russia Sketches Coloring Book Hector Farr / Carte Carte broșată
common.buy 41.99 lei
Management of Insect Pests to Agriculture HENRYK CZOSNEK / Carte Carte broșată
common.buy 568.77 lei
Top
Matrescence Lucy Jones / Carte Carte broșată
common.buy 69.02 lei
The Blue Diamond Mustafa Al-Almudarrs / Carte Carte broșată
common.buy 71.83 lei
B Is for Breast Cancer Simon Howell / Carte Carte broșată
common.buy 71.83 lei
My Grandma Is An Angel Jennifer Head / Carte Carte broșată
common.buy 66.84 lei
Textbook of Insanity: Based on Clinical Observations for Practitioners and Students of Medicine R. Von Krafft-Ebing / Carte Carte broșată
common.buy 262.18 lei
Deep Deception Tina Brooks McKinney / Audiobook MP3
common.buy 106.55 lei
Case of the Shoplifter's Shoe Erle Stanley Gardner / Carte Copertă tare
common.buy 131.40 lei
Poland 1939: The Outbreak of World War II MOORHOUSE ROGER / Carte Carte broșată
common.buy 100.00 lei
Is Anybody Listening? Barbara Birchim / Carte Copertă tare
common.buy 190.24 lei
Italian Cultural Lineages Jonathan White / Carte Carte broșată
common.buy 353.77 lei
Cinema of Mike Leigh Garry Watson / Carte Carte broșată
common.buy 124.22 lei
The Future of the International Nuclear Non-Proliferation Regime; . Marianne Leeuwen / Carte Carte broșată
common.buy 859.03 lei
Musical Memories Camille Saint-Saëns / Carte Carte broșată
common.buy 64.97 lei
Triangulation Maria Cristina Amoretti / Carte Copertă tare
common.buy 738.85 lei

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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?