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.

Computer Science Logic

20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Computer Science Logic Zoltán Ésik
Codul Libristo: 01564793
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembrie 2006
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Scienc... Descrierea completă
? points 263 b
569.63 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Gangland Chuck Hogan / Carte Carte broșată
common.buy 157.21 lei
Black Killer, 1 Blu-ray + 1 DVD (Mediabook Cover B) Carlo Croccolo / Videoclip Blu-ray
common.buy 193.13 lei
Microsoft Office 365 Karel Klatovský / Carte Carte broșată
common.buy 57.67 lei
Insolvenzrecht Michael App / Carte Carte broșată
common.buy 287.05 lei
Rol' lekarstwennyh traw w farmacewtike Ali Khan / Carte Carte broșată
common.buy 99.11 lei
Mapa Oceanía físico edigol ediciones / Carte Carte broșată
common.buy 75.89 lei
Aprende a tocar la batería Peter Gelling / Carte Carte broșată
common.buy 174.08 lei
Ejercicios para mantener el intelecto 1 Anna Puig Alemán / Carte Carte broșată
common.buy 103.17 lei
Horrea militaria : el aprovisionamiento de grano al ejército en el Occidente del Imperio Romano Javier Salido Domínguez / Carte Carte broșată
common.buy 322.24 lei
Un árbol caído Rafael Reig / Carte Carte broșată
common.buy 52.88 lei
El desconocido (Solo una noche 1): Primera entrega de Solo una noche KYRA DAVIS / Carte Carte broșată
common.buy 70.90 lei
La sentencia indeterminada : el sistema de penas determinadas a posteriori Luis Jiménez de Asúa / Carte Carte broșată
common.buy 247.59 lei
Ausfuhrliche topographische Beschreibung des Herzogtums Magdeburg und der Grafschaft Mansfeld Johann Ludwig Heineccius / Carte Carte broșată
common.buy 173.45 lei
Adaptaciones cinematográficas de novelas cubanas en el ICAIC Juan Ramón Ferrera Vaillant / Carte Carte broșată
common.buy 193.65 lei
Conjuguez sans faute / Carte Carte broșată
common.buy 34.45 lei
Tajomstvo úspechu troch majstrov Napoleon Hill / Carte Copertă tare
common.buy 79.95 lei

This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.

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 Zoltán Ésik
Limba engleză
Legare Carte - Carte broșată
Data publicării 2006
Număr pagini 627
EAN 9783540454588
ISBN 3540454586
Codul Libristo 01564793
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 961
Dimensiuni 155 x 235 x 35

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

Something Happened on the Way to Heaven Sudha Murty / Carte Carte broșată
common.buy 67.25 lei
Food Truck 411: The Essential Information to Run a Successful Food Truck Brian J Branigan / Carte Carte broșată
common.buy 106.19 lei
Parenting through the Eyes of a Child Tabitha Ochekpe Omeiza / Carte Carte broșată
common.buy 90.89 lei
The Law of Executors and Administrators. Samuel Toller / Carte Carte broșată
common.buy 173.87 lei
Body Awareness MR Roger Day / Carte Carte broșată
common.buy 65.27 lei
Chauffeur and the Chaperon C. N. WILLIAMSON / Carte Copertă tare
common.buy 199.90 lei
Mecca F. E. Peters / Carte Carte broșată
common.buy 589.72 lei
Seven Princes of the Thousand Year Labyrinth Aikawa Yu / Carte Carte broșată
common.buy 69.12 lei
Eeny, Meeny, Miny, and Mo... Off to the Orchard They Go! Husted's Farm Market / Carte Copertă tare
common.buy 170.02 lei
Justice League: Last Ride Miguel Mendonca / Carte Carte broșată
common.buy 73.50 lei
Return to Moominvalley: Adventures in Moominvalley Book 3 Amanda Li / Carte Carte broșată
common.buy 65.90 lei
Craven Street Yuri Rasovsky / Audiobook MP3
common.buy 64.13 lei
Mastering Bread Marc Vetri / E-book Adobe ePub DRM
common.buy 33.20 lei
Islam Lovat / Carte Carte broșată
common.buy 158.46 lei
International Who's Who in Classical Music 2010 Europa Publications / Carte Copertă tare
common.buy 2 148.29 lei
For Sinners Only A J Russell / Carte Carte broșată
common.buy 91.09 lei
Liber Costumarum Christopher Markham / Carte Carte broșată
common.buy 95.15 lei
Play or Pay. a Novelette. Hawley Smart / Carte Carte broșată
common.buy 119.93 lei
Chora 5 Alberto Perez-Gomez / Carte Carte broșată
common.buy 237.80 lei
Questions about God Steven M. Cahn / Carte Copertă tare
common.buy 514.55 lei
Deleuze's Cinema Books David Deamer / Carte Copertă tare
common.buy 659.17 lei
Cosmic B1+ Test Book Katerina Mestheneou / Carte Carte broșată
common.buy 129.20 lei
Value Solutions In Cooperative Games Roger A McCain / Carte Copertă tare
common.buy 511.95 lei
Logic Programming with Prolog Beverley Ford / Carte Carte broșată
common.buy 279.66 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?