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 Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Computer Science Logic

21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Computer Science Logic Jacques Duparc
Codul Libristo: 01569227
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, august 2007
This book constitutes the refereed proceedings of the 21st International Workshop on Computer Scienc... Descrierea completă
? points 263 b
570.37 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

La caida Dan Simmons / Carte Carte broșată
common.buy 103.10 lei
Come funziona il caos. Dal moto dei pianeti all'effetto farfalla Ivar Ekeland / Carte Carte broșată
common.buy 68.59 lei
Legie plamenů Anthony Ryan / Carte Copertă tare
common.buy 84.23 lei
Pokrytie dlya giperzvukovyh samoletov Mariya Alexandrovna Miller / Carte Carte broșată
common.buy 198.39 lei
C'est l'heure du bain, petit lion Gomi / Carte Carte broșată
common.buy 87.04 lei
MAQUINAS O ABOGADOS CONFLICTOS EN LA FRONTERA TECNOLOGICA ADOLFO MENENDEZ / Carte Carte broșată
common.buy 143.97 lei
Полезные машины Елена Хомич / Carte Copertă tare
common.buy 173.47 lei

This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in Lausanne, Switzerland. The 36 revised full papers presented together with the abstracts of six invited lectures are organized in topical sections on logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, linear logic, proof theory, and game semantics.

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 Computer Science Logic
Autor Jacques Duparc, Thomas A. Henzinger
Limba engleză
Legare Carte - Carte broșată
Data publicării 2007
Număr pagini 600
EAN 9783540749141
ISBN 3540749144
Codul Libristo 01569227
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 932
Dimensiuni 155 x 235 x 33

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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
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

Pathways to Modern Chemical Physics Salvatore Califano / Carte Carte broșată
common.buy 570.37 lei
I Wonder Why Spiders Spin Webs Amanda O'Neill / Carte Carte broșată
common.buy 35.64 lei
The Platonizing Sethian Background of Plotinus's Mysticism / Carte Copertă tare
common.buy 1 145.23 lei
Permanent Record KING ARTHUR / Carte Carte broșată
common.buy 124.16 lei
Handbook for Shaktipat Siddhayoga Initiates Jan Esmann / Carte Carte broșată
common.buy 82.04 lei
Echo Whispers Patrick Naville / Carte Carte broșată
common.buy 61.92 lei
When Santa Got The FLU! A B Wyze / Carte Carte broșată
common.buy 57.95 lei
Freshwater Mussels of Florida Nathan A. Johnson / Carte Copertă tare
common.buy 280.23 lei
Clothes John Harvey / Carte Carte broșată
common.buy 285.23 lei
Egyptian Literature Epiphanius Wilson / Carte Carte broșată
common.buy 138.02 lei
Origin Of Modern Spain J B Trend / Carte Carte broșată
common.buy 129.37 lei
Fitting In and Getting Happy Olga Stavrova / Carte Carte broșată
common.buy 237.48 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?