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

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

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Mapa Oceanía físico edigol ediciones / Carte Carte broșată
common.buy 83.50 lei
morte di Cicerone (libro CXX). Testo latino a fronte Tito Livio / Carte Carte broșată
common.buy 81.31 lei
Rol' lekarstwennyh traw w farmacewtike Ali Khan / Carte Carte broșată
common.buy 99.37 lei
Microsoft Office 365 Karel Klatovský / Carte Carte broșată
common.buy 57.82 lei
Insolvenzrecht Michael App / Carte Carte broșată
common.buy 287.80 lei
Black Killer, 1 Blu-ray + 1 DVD (Mediabook Cover B) Carlo Croccolo / Videoclip Blu-ray
common.buy 193.63 lei
Gangland Chuck Hogan / Carte Carte broșată
common.buy 158.04 lei
Aprende a tocar la batería Peter Gelling / Carte Carte broșată
common.buy 175.16 lei
Ejercicios para mantener el intelecto 1 Anna Puig Alemán / Carte Carte broșată
common.buy 114.82 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 358.05 lei
Un árbol caído Rafael Reig / Carte Carte broșată
common.buy 59.08 lei
El desconocido (Solo una noche 1): Primera entrega de Solo una noche KYRA DAVIS / Carte Carte broșată
common.buy 79.53 lei
La sentencia indeterminada : el sistema de penas determinadas a posteriori Luis Jiménez de Asúa / Carte Carte broșată
common.buy 271.30 lei
Ausfuhrliche topographische Beschreibung des Herzogtums Magdeburg und der Grafschaft Mansfeld Johann Ludwig Heineccius / Carte Carte broșată
common.buy 173.91 lei
Conjuguez sans faute / Carte Carte broșată
common.buy 35.17 lei
Top
Tajomstvo úspechu troch majstrov Napoleon Hill / Carte Copertă tare
common.buy 80.16 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

For Sinners Only A J Russell / Carte Carte broșată
common.buy 91.33 lei
Parenting through the Eyes of a Child Tabitha Ochekpe Omeiza / Carte Carte broșată
common.buy 91.12 lei
Food Truck 411: The Essential Information to Run a Successful Food Truck Brian J Branigan / Carte Carte broșată
common.buy 106.47 lei
Chauffeur and the Chaperon C. N. WILLIAMSON / Carte Copertă tare
common.buy 200.42 lei
Mecca F. E. Peters / Carte Carte broșată
common.buy 437.60 lei
The Law of Executors and Administrators. Samuel Toller / Carte Carte broșată
common.buy 174.32 lei
Eeny, Meeny, Miny, and Mo... Off to the Orchard They Go! Husted's Farm Market / Carte Copertă tare
common.buy 170.46 lei
Craven Street Yuri Rasovsky / Audiobook MP3
common.buy 63.46 lei
Mastering Bread Marc Vetri / E-book Adobe ePub DRM
common.buy 85.17 lei
Islam Lovat / Carte Carte broșată
common.buy 158.87 lei
International Who's Who in Classical Music 2010 Europa Publications / Carte Copertă tare
common.buy 2 153.90 lei
Liber Costumarum Christopher Markham / Carte Carte broșată
common.buy 95.40 lei
Play or Pay. a Novelette. Hawley Smart / Carte Carte broșată
common.buy 120.25 lei
An Appendix To The History Of Scotland Containing: A Detection Of The Actions Of Mary Queen Of Scots, Concerning The Murder Of Her Husband And Her Mar George Buchanan / Carte Copertă tare
common.buy 261.70 lei
Chora 5 Alberto Perez-Gomez / Carte Carte broșată
common.buy 238.42 lei
Questions about God Steven M. Cahn / Carte Copertă tare
common.buy 515.89 lei
Deleuze's Cinema Books David Deamer / Carte Copertă tare
common.buy 660.89 lei
Logic Programming with Prolog Beverley Ford / Carte Carte broșată
common.buy 280.59 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