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

Computer Science Logic

Limba englezăengleză
Carte Carte broșată
Carte Computer Science Logic Matthias Baaz
Codul Libristo: 01562973
Editura Springer, Berlin, noiembrie 2002
§This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer... Descrierea completă
? points 318 b
638 lei
În depozitul extern în cantități mici Expediem în 12-17 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

top
Wahls Protocol Terry Wahls / Carte broșată
common.buy 92 lei
top
History of Strength of Materials Stephen P. Timoshenko / Carte broșată
common.buy 133 lei
top
Wahls Protocol Cooking For Life Terry Wahls / Carte broșată
common.buy 123 lei
Last Man Mary Shelley / Carte broșată
common.buy 23 lei
Soviet and Russian Military Aircraft in Africa Yefim Gordon / Copertă tare
common.buy 254 lei
curând
Transformers Vault Pable Hidalgo / Copertă tare
common.buy 221 lei
Spud John vandeRuit / Carte broșată
common.buy 54 lei
Colored Pencil (Drawing Made Easy) Eileen Sorg / Carte broșată
common.buy 48 lei
Garth Ennis' Complete Battlefields Volume 3 Hardcover Carlos Ezquerra / Copertă tare
common.buy 116 lei
Hayek on Liberty John Gray / Carte broșată
common.buy 381 lei
Blood From A Stone Donna Leon / Carte broșată
common.buy 52 lei
Poetical Tributes To The Memory Of Abraham Lincoln Various Authors / Carte broșată
common.buy 162 lei
Consuming the Inedible Jeremy MacClancy / Carte broșată
common.buy 217 lei
Bodily Integrity and the Politics of Circumcision George C. Denniston / Copertă tare
common.buy 1.153 lei
Cairo: Images of Transition Mikala Hyldig Dal / Carte broșată
common.buy 228 lei
curând
Extreme Animals Nicola Davies / Copertă tare
common.buy 48 lei

§This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 12th Annual Conference of the EACSL and of the 8th Kurt Gödel Colloquium, KGC 2003 in Vienna, Austria, in August 2003.§The 30 revised full papers presented together with abstracts of 9 invited presentations were carefully reviewed and selected from a total of 112 submissions. All current aspects of computer science logic are addressed ranging from mathematical logic and logical foundations to the application of logics in various computing aspects.

Informații despre carte

Titlu complet Computer Science Logic
Autor Matthias Baaz, Johann M. Makowsky
Limba engleză
Legare Carte - Carte broșată
Data publicării 2003
Număr pagini 596
EAN 9783540408017
ISBN 3540408010
Codul Libristo 01562973
Editura Springer, Berlin
Greutatea 844
Dimensiuni 155 x 235 x 31

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Children’s, Teenage & Educational > Educational material > Educational: Mathematics, science & technology, general > Educational: Sciences, general science
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer programming / software engineering
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