Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Computer Science Logic

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Computer Science Logic Zoltán Ésik
Libristo kod: 01564793
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, rujan 2006
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Scienc... Cijeli opis
? points 249 b
102.97 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Rol' lekarstwennyh traw w farmacewtike Ali Khan / Knjiga Meki uvez
common.buy 17.89 €
Microsoft Office 365 Karel Klatovský / Knjiga Meki uvez
common.buy 10.41 €
Black Killer, 1 Blu-ray + 1 DVD (Mediabook Cover B) Carlo Croccolo / Video Blu-ray
common.buy 35.19 €
Horrea militaria : el aprovisionamiento de grano al ejército en el Occidente del Imperio Romano Javier Salido Domínguez / Knjiga Meki uvez
common.buy 61.39 €
Insolvenzrecht Michael App / Knjiga Meki uvez
common.buy 51.78 €
Gangland Chuck Hogan / Knjiga Meki uvez
common.buy 28.52 €
Produttivit? nelle industrie manifatturiere grazie alla gestione della conoscenza Prashant Chaudhari / Knjiga Meki uvez
common.buy 62.30 €
Aprende a tocar la batería Peter Gelling / Knjiga Meki uvez
common.buy 31.65 €
Ejercicios para mantener el intelecto 1 Anna Puig Alemán / Knjiga Meki uvez
common.buy 19.61 €
Mapa Oceanía físico edigol ediciones / Knjiga Meki uvez
common.buy 14.46 €
Un árbol caído Rafael Reig / Knjiga Meki uvez
common.buy 10.00 €
El desconocido (Solo una noche 1): Primera entrega de Solo una noche KYRA DAVIS / Knjiga Meki uvez
common.buy 13.44 €
La sentencia indeterminada : el sistema de penas determinadas a posteriori Luis Jiménez de Asúa / Knjiga Meki uvez
common.buy 47.13 €
Ausfuhrliche topographische Beschreibung des Herzogtums Magdeburg und der Grafschaft Mansfeld Johann Ludwig Heineccius / Knjiga Meki uvez
common.buy 31.25 €
Adaptaciones cinematográficas de novelas cubanas en el ICAIC Juan Ramón Ferrera Vaillant / Knjiga Meki uvez
common.buy 34.89 €
Conjuguez sans faute / Knjiga Meki uvez
common.buy 6.26 €
Tajomstvo úspechu troch majstrov Napoleon Hill / Knjiga Tvrdi uvez
common.buy 14.25 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Computer Science Logic
Autor Zoltán Ésik
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2006
Broj stranica 627
EAN 9783540454588
ISBN 3540454586
Libristo kod 01564793
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 961
Dimenzije 155 x 235 x 35

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

International Who's Who in Classical Music 2010 Europa Publications / Knjiga Tvrdi uvez
common.buy 392.48 €
The Law of Executors and Administrators. Samuel Toller / Knjiga Meki uvez
common.buy 31.65 €
Food Truck 411: The Essential Information to Run a Successful Food Truck Brian J Branigan / Knjiga Meki uvez
common.buy 19.31 €
Parenting through the Eyes of a Child Tabitha Ochekpe Omeiza / Knjiga Meki uvez
common.buy 16.58 €
Body Awareness MR Roger Day / Knjiga Meki uvez
common.buy 11.83 €
Chauffeur and the Chaperon C. N. WILLIAMSON / Knjiga Tvrdi uvez
common.buy 36.41 €
Mecca F. E. Peters / Knjiga Meki uvez
common.buy 107.82 €
Seven Princes of the Thousand Year Labyrinth Aikawa Yu / Knjiga Meki uvez
common.buy 12.53 €
Eeny, Meeny, Miny, and Mo... Off to the Orchard They Go! Husted's Farm Market / Knjiga Tvrdi uvez
common.buy 30.54 €
Justice League: Last Ride Miguel Mendonca / Knjiga Meki uvez
common.buy 13.14 €
Return to Moominvalley: Adventures in Moominvalley Book 3 Amanda Li / Knjiga Meki uvez
common.buy 11.72 €
Craven Street Yuri Rasovsky / Audio knjiga MP3
common.buy 11.52 €
Mastering Bread Marc Vetri / E-knjiga Adobe ePub DRM
common.buy 5.96 €
Islam Lovat / Knjiga Meki uvez
common.buy 28.92 €
Something Happened on the Way to Heaven Sudha Murty / Knjiga Meki uvez
common.buy 12.03 €
Liber Costumarum Christopher Markham / Knjiga Meki uvez
common.buy 17.09 €
Cosmic B1+ Test Book Katerina Mestheneou / Knjiga Meki uvez
common.buy 24.57 €
Value Solutions In Cooperative Games Roger A McCain / Knjiga Tvrdi uvez
common.buy 93.36 €
Logic Programming with Prolog Beverley Ford / Knjiga Meki uvez
common.buy 40.45 €
Deleuze's Cinema Books David Deamer / Knjiga Tvrdi uvez
common.buy 118.65 €
Questions about God Steven M. Cahn / Knjiga Tvrdi uvez
common.buy 98.11 €
Chora 5 Alberto Perez-Gomez / Knjiga Meki uvez
common.buy 43.39 €
Play or Pay. a Novelette. Hawley Smart / Knjiga Meki uvez
common.buy 21.44 €
For Sinners Only A J Russell / Knjiga Meki uvez
common.buy 16.58 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?