Проверка на състоянието на поръчката
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€

Interactive Theorem Proving

4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Interactive Theorem Proving Sandrine Blazy
Код Либристо: 01664057
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юни 2013
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Th... Цялото описание
? points 132 b
54.46 €
106.52  лв
Външен склад Изпращаме след 5-8 дни

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

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

Coches muy antiguos Ruiz Palacio / Книга С меки корици
common.buy 20.91 € 40.90 лв
Diccionario visual inglés / Книга С меки корици
common.buy 14.65 € 28.65 лв
Top
Zpět o sto let na výlet Renata Šindelářová / Книга С меки корици
common.buy 3.20 € 6.27 лв
metodo Mystery. Un approccio infallibile per sedurre le donne più belle del mondo Mystery / Книга С меки корици
common.buy 14.75 € 28.85 лв
TEMARIO DE TROMBON VICENTE MONZO / Книга С меки корици
common.buy 301.17 € 589.04 лв
Angielski. Przewodnik językowy Patrycja Karnik / Книга С меки корици
common.buy 13.97 € 27.33 лв
Manual práctico de Defensa Personal para mujeres MANUEL MONTERO KIESOW / Книга С меки корици
common.buy 22.98 € 44.95 лв
Desarrollar la inteligencia a través del ajedrez José María Olías Porras / Книга С меки корици
common.buy 14.13 € 27.63 лв
Clef Junich Tanizaki / Книга С меки корици
common.buy 12.47 € 24.39 лв
Der Kreis Husum K. Sönnichsen / Книга С меки корици
common.buy 25.62 € 50.12 лв
Kostenfalle Messe? Anja Steinrücken / Книга С меки корици
common.buy 54.82 € 107.23 лв
Подготвяме
Honigprotokolle Monika Rinck / Книга С меки корици
common.buy 17.96 € 35.13 лв
Theaterhandwerk Alan Ayckbourn / Книга С меки корици
common.buy 20.96 € 41.00 лв
Aus der Praxis der Zuckerindustrie Otto Mittelstaedt / Книга С меки корици
common.buy 14.28 € 27.94 лв
Laubgewind Jakob Chr. Heer / Книга С меки корици
common.buy 28.37 € 55.48 лв
Brasilien im IBSA-Dialogforum Claudia Liebeswar / Книга С меки корици
common.buy 17.13 € 33.51 лв
Widerstand im totalitaren System - a priori chancenlos? Steffen Radtke / Книга С меки корици
common.buy 17.13 € 33.51 лв

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013.§The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.

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

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

Пълно заглавие Interactive Theorem Proving
Автор Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2013
Брой страници 498
Баркод 9783642396335
ISBN 364239633X
Код Либристо 01664057
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 777
Размери 155 x 235 x 29

Категории

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 > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer networking & communications > Network security
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
Computing & Information Technology > Computer security
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Interactive Theorem Proving Gerwin Klein / Книга С меки корици
common.buy 54.46 € 106.52 лв
Birds of Myanmar Kyaw Nyunt Lwin / Книга С меки корици
common.buy 54.36 € 106.32 лв
Nubia Lake Paddleboarding: A Guide To Flat Water Stand Up Paddling Vie Binga / Книга С меки корици
common.buy 13.09 € 25.61 лв
Horizons in Cancer Research Hiroto S Watanabe / Книга С твърди корици
common.buy 340.41 € 665.79 лв
How to Write Fanfiction Howexpert Press / Книга С меки корици
common.buy 19.31 € 37.76 лв
Golden Treasury of the History, Topography, Literature, Science, Art, and Religion of the Various Countries of the Globe James (University of the Highlands and Islands) Hunter / Книга С твърди корици
common.buy 39.24 € 76.75 лв
International Financial Statistics Locator Domenica M. Barbuto / Книга С меки корици
common.buy 33.23 € 65.00 лв
How Claims Spread Joel Best / Книга С меки корици
common.buy 54.88 € 107.33 лв
Beauchamp Hall Danielle Steel / Книга С меки корици
common.buy 30.54 € 59.73 лв
The Story of My Heart: As Rediscovered by Brooke Williams and Terry Tempest Williams Richard Jefferies / Книга С твърди корици
common.buy 21.12 € 41.31 лв
Tide Running Oonya Kempadoo / Книга С меки корици
common.buy 22.05 € 43.13 лв
Journey to Meet Beethoven Pat Champness / Книга С меки корици
common.buy 10.87 € 21.26 лв
Teaching Is a Privilege Elizabeth Cervini Manvell / Книга С твърди корици
common.buy 151.13 € 295.58 лв
Jack Sprat Could Sharon Ervin / Книга С меки корици
common.buy 14.65 € 28.65 лв
Boost Your Immune System: Change Understanding About Healthy Eating, Change Your Mindset and Attitude Towards Healthy Living. Michal Kloczkowski / Книга С меки корици
common.buy 6.21 € 12.14 лв
Beyond 2.0 Steve Collins / Книга С меки корици
common.buy 34.11 € 66.72 лв
Time Series Analysis and Inverse Theory for Geophysicists David Gubbins / Книга С меки корици
common.buy 95.88 € 187.53 лв
Cinema of the 70s: 101 Iconic Movies John H Foote / Книга С меки корици
common.buy 22.67 € 44.34 лв
Actor’s Guide to Corporate Role Play Lowe / Книга С меки корици
common.buy 33.44 € 65.41 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?