Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Computer Science Logic

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

Език Английски езикАнглийски език
Книга С меки корици
Книга Computer Science Logic Zoltán Ésik
Код Либристо: 01564793
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, септември 2006
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Scienc... Цялото описание
? points 263 b
108.45 €
212.10  лв
Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

Mapa Oceanía físico edigol ediciones / Книга С меки корици
common.buy 16.53 € 32.33 лв
morte di Cicerone (libro CXX). Testo latino a fronte Tito Livio / Книга С меки корици
common.buy 16.22 € 31.72 лв
Rol' lekarstwennyh traw w farmacewtike Ali Khan / Книга С меки корици
common.buy 18.85 € 36.87 лв
Microsoft Office 365 Karel Klatovský / Книга С меки корици
common.buy 11.57 € 22.63 лв
Insolvenzrecht Michael App / Книга С меки корици
common.buy 54.66 € 106.91 лв
Black Killer, 1 Blu-ray + 1 DVD (Mediabook Cover B) Carlo Croccolo / Видео Blu-ray
common.buy 38.38 € 75.07 лв
Gangland Chuck Hogan / Книга С меки корици
common.buy 31.31 € 61.23 лв
Aprende a tocar la batería Peter Gelling / Книга С меки корици
common.buy 34.72 € 67.90 лв
Ejercicios para mantener el intelecto 1 Anna Puig Alemán / Книга С меки корици
common.buy 22.78 € 44.55 лв
Horrea militaria : el aprovisionamiento de grano al ejército en el Occidente del Imperio Romano Javier Salido Domínguez / Книга С меки корици
common.buy 71.30 € 139.44 лв
Un árbol caído Rafael Reig / Книга С меки корици
common.buy 11.83 € 23.13 лв
El desconocido (Solo una noche 1): Primera entrega de Solo una noche KYRA DAVIS / Книга С меки корици
common.buy 15.86 € 31.01 лв
La sentencia indeterminada : el sistema de penas determinadas a posteriori Luis Jiménez de Asúa / Книга С меки корици
common.buy 53.68 € 104.98 лв
Ausfuhrliche topographische Beschreibung des Herzogtums Magdeburg und der Grafschaft Mansfeld Johann Ludwig Heineccius / Книга С меки корици
common.buy 33.01 € 64.56 лв
Conjuguez sans faute / Книга С меки корици
common.buy 6.97 € 13.63 лв
Top
Tajomstvo úspechu troch majstrov Napoleon Hill / Книга С твърди корици
common.buy 16.22 € 31.72 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Computer Science Logic
Автор Zoltán Ésik
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2006
Брой страници 627
Баркод 9783540454588
ISBN 3540454586
Код Либристо 01564793
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 961
Размери 155 x 235 x 35

Категории

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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

For Sinners Only A J Russell / Книга С меки корици
common.buy 16.53 € 32.33 лв
Parenting through the Eyes of a Child Tabitha Ochekpe Omeiza / Книга С меки корици
common.buy 16.53 € 32.33 лв
Food Truck 411: The Essential Information to Run a Successful Food Truck Brian J Branigan / Книга С меки корици
common.buy 19.32 € 37.78 лв
Chauffeur and the Chaperon C. N. WILLIAMSON / Книга С твърди корици
common.buy 36.32 € 71.03 лв
Mecca F. E. Peters / Книга С меки корици
common.buy 83.13 € 162.59 лв
The Law of Executors and Administrators. Samuel Toller / Книга С меки корици
common.buy 31.56 € 61.73 лв
Eeny, Meeny, Miny, and Mo... Off to the Orchard They Go! Husted's Farm Market / Книга С твърди корици
common.buy 30.48 € 59.61 лв
Craven Street Yuri Rasovsky / Аудиокнига MP3
common.buy 12.65 € 24.75 лв
Mastering Bread Marc Vetri / E-книга Adobe ePub DRM
common.buy 17.05 € 33.34 лв
Islam Lovat / Книга С меки корици
common.buy 30.17 € 59.01 лв
International Who's Who in Classical Music 2010 Europa Publications / Книга С твърди корици
common.buy 409.10 € 800.13 лв
Liber Costumarum Christopher Markham / Книга С меки корици
common.buy 17.10 € 33.44 лв
Play or Pay. a Novelette. Hawley Smart / Книга С меки корици
common.buy 21.49 € 42.03 лв
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 / Книга С твърди корици
common.buy 49.70 € 97.20 лв
Chora 5 Alberto Perez-Gomez / Книга С меки корици
common.buy 45.31 € 88.61 лв
Questions about God Steven M. Cahn / Книга С твърди корици
common.buy 102.45 € 200.38 лв
Deleuze's Cinema Books David Deamer / Книга С твърди корици
common.buy 125.50 € 245.45 лв
Logic Programming with Prolog Beverley Ford / Книга С меки корици
common.buy 55.69 € 108.93 лв
Cosmic B1+ Test Book Katerina Mestheneou / Книга С меки корици
common.buy 28.26 € 55.27 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo