LIBRISTO
LIBROAMANTO
obvezno
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.99 € Zbirna točka DPD 3.49 € Kurirska služba GLS 5.99 € Kurir DPD 3.99 € Kurirska služba Express One 3.99 € Zbirno mesto Express One 3.99 € Zbirno mesto Pošte Slovenije 3.99 € Dostava preko Pošte Slovenije 3.99 €

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Computer Science Logic

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Computer Science Logic Zoltán Ésik
Koda Libristo: 01564793
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Scienc... Celoten opis
? points 236 b
96.90 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo


Drugi so kupili tudi


Manifeste pour un Islam des lumières Malek Chebel / Knjiga Mehka
common.buy 34.91 €
Gangland Chuck Hogan / Knjiga Mehka
common.buy 26.26 €
Microsoft Office 365 Karel Klatovský / Knjiga Mehka
common.buy 9.75 €
Psychoanalyse Der Ermachtigung de Sousa Cleuber Cristiano de Sousa / Knjiga Mehka
common.buy 33.40 €
Top
Tajomstvo úspechu troch majstrov Napoleon Hill / Knjiga Trda
common.buy 13.17 €
Evariste-Desire De Parny, 'Le Paradis Perdu' Ritchie Robertson / Knjiga Mehka
common.buy 26.16 €
Adaptaciones cinematográficas de novelas cubanas en el ICAIC Juan Ramón Ferrera Vaillant / Knjiga Mehka
common.buy 129.81 €
Insolvenzrecht Michael App / Knjiga Mehka
common.buy 48.72 €
Un árbol caído Rafael Reig / Knjiga Mehka
common.buy 9.95 €
Mapa Oceanía físico edigol ediciones / Knjiga Mehka
common.buy 14.38 €
Ejercicios para mantener el intelecto 1 Anna Puig Alemán / Knjiga Mehka
common.buy 19.51 €
Aprende a tocar la batería Peter Gelling / Knjiga Mehka
common.buy 29.78 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

Morda bi vas zanimalo tudi


Ghost Cat: Thelma's Dilemma Carol Colbert / Knjiga Mehka
common.buy 9.05 €
Mecca F. E. Peters / Knjiga Mehka
common.buy 105.56 €
International Who's Who in Classical Music 2010 Europa Publications / Knjiga Trda
common.buy 373.46 €
Mastering Bread Marc Vetri / E-knjiga Adobe ePub DRM
common.buy 11.87 €
Craven Street Yuri Rasovsky / Zvočnica MP3
common.buy 11.16 €
Justice League: Last Ride Miguel Mendonca / Knjiga Mehka
common.buy 12.47 €
Islam Lovat / Knjiga Mehka
common.buy 28.07 €
Chauffeur and the Chaperon C. N. WILLIAMSON / Knjiga Trda
common.buy 35.31 €
Parenting through the Eyes of a Child Tabitha Ochekpe Omeiza / Knjiga Mehka
common.buy 15.09 €
The Law of Executors and Administrators. Samuel Toller / Knjiga Mehka
common.buy 30.78 €
Body Awareness MR Roger Day / Knjiga Mehka
common.buy 11.46 €
In Pursuit Of A Shadow (1887) Elizabeth Brown / Knjiga Mehka
common.buy 22.43 €
Liber Costumarum Christopher Markham / Knjiga Mehka
common.buy 16.39 €
For Sinners Only A J Russell / Knjiga Mehka
common.buy 15.99 €
Play or Pay. a Novelette. Hawley Smart / Knjiga Mehka
common.buy 20.52 €
Chora 5 Alberto Perez-Gomez / Knjiga Mehka
common.buy 40.04 €
Questions about God Steven M. Cahn / Knjiga Trda
common.buy 142.69 €
Cosmic B1+ Test Book Katerina Mestheneou / Knjiga Mehka
common.buy 24.44 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?