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

6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Interactive Theorem Proving Christian Urban
Код Либристо: 09378411
Издателство Springer International Publishing AG, август 2015
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Pro... Цялото описание
? points 132 b
54.46 €
106.52  лв
Външен склад Изпращаме след 5-8 дни

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

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

Le Manuscrit cathare M.J. Rose / Книга С меки корици
common.buy 21.53 € 42.12 лв
Interessenkollisionen Bei Der Bestellung Des (Vorlaeufigen) Insolvenzverwalters Beziehungsweise (Vorlaeufigen) Sachwalters Aus Strafrechtlicher Sicht Helge Hölken / Книга С твърди корици
common.buy 88.32 € 172.74 лв
Historien Tacitus / Книга С твърди корици
common.buy 23.29 € 45.56 лв
Psí průšviháři - Nenapravitelný boxer Tui T. Sutherland / Книга С меки корици
common.buy 7.66 € 14.98 лв
Laubsäge-Vorlage Bea - das freche Schaf / Игра/играчка Играчка
common.buy 14.08 € 27.53 лв
Ein Motiv aus dem Kalender Florales zu jeder Jahreszeit (Puzzle) Anette Jäger / Игра/играчка Игра
common.buy 36.19 € 70.77 лв
Karl der Grosse und die Mauren Robert Schneider / Книга С меки корици
common.buy 17.13 € 33.51 лв
Masa plastyczna Hey Clay puchate zwierzaki HCL15023 / Книга binding.
common.buy 30.85 € 60.34 лв
Hippocrate, Tome IV, 3e Partie: Epidemies V Et VII Hippocrates / Книга С меки корици
common.buy 88.17 € 172.44 лв
Lebenserinnerungen und Denkwurdigkeiten Carl Gustav Carus / Книга С меки корици
common.buy 25.62 € 50.12 лв
Klementina von Porretta Christoph Martin Wieland / Книга С меки корици
common.buy 9.57 € 18.72 лв
Upravlenie kachestvom v sovremennom otdelenii luchevoj diagnostiki K. V. Kushnir / Книга С меки корици
common.buy 34.94 € 68.34 лв
Age de Depart A La Retraite - Effets Sur l'Evolution Macroeconomique Belkouch Hicham / Книга С меки корици
common.buy 34.06 € 66.62 лв
Strandgut Tanja Korf / Книга С меки корици
common.buy 9.68 € 18.93 лв
Streichquintett G-Dur (Smycový kvintet G dur) op. 77, Partitur und Stimmen Antonín Dvorák / Печатни материали Ноти
common.buy 27.80 € 54.37 лв
Live-Arrangement, m. DVD Jürgen Terhag / Книга С меки корици
common.buy 26.04 € 50.93 лв

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

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

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

Пълно заглавие Interactive Theorem Proving
Автор Christian Urban, Xingyuan Zhang
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2015
Брой страници 469
Баркод 9783319221014
ISBN 3319221019
Код Либристо 09378411
Издателство Springer International Publishing AG
Тегло 7256
Размери 155 x 235 x 28

Категории

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 Книгата ще пристигне на адреса на получателя

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

Bedouins into Bourgeois Calvert W. Jones / Книга С твърди корици
common.buy 133.52 € 261.15 лв
Deus Comedieta Tade Bolade / Книга С меки корици
common.buy 12.37 € 24.19 лв
Biocalorimetry Margarida Bastos / Книга С твърди корици
common.buy 292.94 € 572.94 лв
Botanical, 20 Umschläge Pepin van Roojen / Книга С меки корици
common.buy 15.99 € 31.28 лв
The Smile of the Sphinx Marguerite Bouvet / Книга С меки корици
common.buy 27.38 € 53.56 лв
Harmony in Chopin David Damschroder / Книга С меки корици
common.buy 48.15 € 94.16 лв
Childbirth Trauma Stergios K Doumouchtsis / Книга С твърди корици
common.buy 159.51 € 311.98 лв
Shi'i Cosmopolitanisms in Africa Mara A Leichtman / Книга С твърди корици
common.buy 92.15 € 180.24 лв
God's Not Dead Adult Study Guide Rice Broocks / Книга С меки корици
common.buy 10.19 € 19.94 лв
Brooklyn Heights Sublet Jonah Cohen / Книга С меки корици
common.buy 27.90 € 54.57 лв
Antiviral Agents Ernst Jucker / Книга С меки корици
common.buy 54.46 € 106.52 лв
Machine James Smythe / Книга С меки корици
common.buy 14.08 € 27.53 лв
Making Divorce Work Keith Barret / Книга С меки корици
common.buy 9.16 € 17.91 лв
Encyclopedia of Mystics, Saints & Sages Judika Illes / Книга С твърди корици
common.buy 28.26 € 55.28 лв
Who is Jesus? Thomas P. Rausch / Книга С меки корици
common.buy 21.17 € 41.41 лв
And All for What? D.W.J. Cuddeford / Книга С твърди корици
common.buy 46.85 € 91.63 лв
Jutland 1916 Charles London / Книга С меки корици
common.buy 21.74 € 42.52 лв
It All Started with Gogol Thomas L Aman / Книга С твърди корици
common.buy 26.30 € 51.43 лв
Stagecoach of Mariah Sandra K Lee / Книга С меки корици
common.buy 25.21 € 49.31 лв
Poetry of Being Vaidehi Raipat / Книга С меки корици
common.buy 6.47 € 12.65 лв

Вход

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

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

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

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

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