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 Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Dragi clienți, Vă informăm că, din motive tehnice, asistența noastră telefonică va fi indisponibilă în data de 22.10.2026 și în perioada 26.10 – 30.10.2026. Ne cerem scuze pentru neplăcerile create și vă mulțumim pentru înțelegere. Cu stimă,

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
576.87 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Legie plamenů Anthony Ryan / Carte Copertă tare
common.buy 85.20 lei
Полезные машины Елена Хомич / Carte Copertă tare
common.buy 203.17 lei
Der infame Krieg / La guerre infame Frank Estelmann / Carte Copertă tare
common.buy 307.57 lei
MAQUINAS O ABOGADOS CONFLICTOS EN LA FRONTERA TECNOLOGICA ADOLFO MENENDEZ / Carte Carte broșată
common.buy 144.99 lei
LE VOCABULAIRE MEDICAL DE BASE Etude par l'étymologie Marie / Carte Carte broșată
common.buy 158.85 lei
C'est l'heure du bain, petit lion Gomi / Carte Carte broșată
common.buy 82.19 lei
Pokrytie dlya giperzvukovyh samoletov Mariya Alexandrovna Miller / Carte Carte broșată
common.buy 200.55 lei
Adultos Piano Adventures Libro 1: Spanish Edition Adult Piano Adventures Course Book 1 Randall Faber / Carte Carte broșată
common.buy 91.63 lei
erhaltenen antiken Wandmalereien Otto Donner / Carte Carte broșată
common.buy 85.90 lei
Theil I. Titel 35-52 A. J. Mannkopff / Carte Copertă tare
common.buy 1 215.54 lei
Michalovce a Zemplínska šírava z neba Milan Paprčka / Carte Copertă tare
common.buy 103.89 lei
I Malavoglia Giovanni Verga / Carte Carte broșată
common.buy 105.70 lei
Come funziona il caos. Dal moto dei pianeti all'effetto farfalla Ivar Ekeland / Carte Carte broșată
common.buy 67.61 lei
La caida Dan Simmons / Carte Carte broșată
common.buy 119.26 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 576.87 lei
I Wonder Why Spiders Spin Webs Amanda O'Neill / Carte Carte broșată
common.buy 36.57 lei
Lest we Forget, World war Stories Inez Bigwood / Carte Copertă tare
common.buy 184.98 lei
The Art of Masters of the Universe: Revolution Powerhouse Animation Studios / Carte Copertă tare
common.buy 267.98 lei
The Platonizing Sethian Background of Plotinus's Mysticism / Carte Copertă tare
common.buy 1 158.61 lei
Permanent Record KING ARTHUR / Carte Carte broșată
common.buy 131.82 lei
Handbook for Shaktipat Siddhayoga Initiates Jan Esmann / Carte Carte broșată
common.buy 85.00 lei
Echo Whispers Patrick Naville / Carte Carte broșată
common.buy 64.40 lei
When Santa Got The FLU! A B Wyze / Carte Carte broșată
common.buy 60.18 lei
Chateau Island Pearlina Kline / Carte Carte broșată
common.buy 36.87 lei
Freshwater Mussels of Florida Nathan A. Johnson / Carte Copertă tare
common.buy 290.39 lei
Fitting In and Getting Happy Olga Stavrova / Carte Carte broșată
common.buy 239.04 lei
Clothes John Harvey / Carte Carte broșată
common.buy 312.39 lei
Bliss O Livaneli / Carte Carte broșată
common.buy 100.17 lei
Egyptian Literature Epiphanius Wilson / Carte Carte broșată
common.buy 143.18 lei
Origin Of Modern Spain J B Trend / Carte Carte broșată
common.buy 116.65 lei
Starving the Anxiety Gremlin for Children Aged 5-9 Kate Collins Donnelly / Carte Carte broșată
common.buy 127.81 lei
Good Night Sweet Prince Henry Jay / Carte Carte broșată
common.buy 91.33 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?