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

Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Interactive Theorem Proving Marko Van Eekelen
Код Либристо: 01658528
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, август 2011
This book constitutes the refereed proceedings of the Second International Conference on Interactive... Цялото описание
? points 148 b
61.14 €
119.58  лв
Външен склад в ограничено количество Изпращаме след 13-18 дни

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

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

Pferdekrankheiten Wilfried Bellinghausen / Книга С меки корици
common.buy 19.03 € 37.22 лв
Da soli per forza. Il ritiro sociale in adolescenza Michele Procacci / Книга С меки корици
common.buy 16.70 € 32.67 лв
Spirou und Fantasio Gesamtausgabe Neuedition 1 André Franquin / Книга С твърди корици
common.buy 30.41 € 59.48 лв
Black Hawk Down Tonanalyse - Utopie oder Realismus Timo Leich / Книга С меки корици
common.buy 17.12 € 33.48 лв
Deutschland, Europa und der Euro? Wolfgang K. E. Wittmann / Книга С меки корици
common.buy 9.57 € 18.71 лв
Chromatic herbarium Massimo Gardone / Книга С меки корици
common.buy 71.18 € 139.21 лв
Albert Einstein Johannes Wickert / Книга С меки корици
common.buy 9.67 € 18.91 лв
Designer's guide couleur n.3 shi bukawa et takahashi ikuyoshi et yumi Книга Книга
common.buy 26.12 € 51.09 лв
Walt Disney Captivating History / Книга С твърди корици
common.buy 21.67 € 42.38 лв
Czciciele Ognia, Czasu I Szatana: Zaratusztrianizm, Zurwanizm, Anahityzm, Mitraizm, Manicheizm, Mazdakizm, Mazdaznanizm, Jazydyzm Andrzej Juliusz Sarwa / Книга С меки корици
common.buy 9.00 € 17.60 лв
BROCKHAUSEN Värityskirja Vol. 5 - Värityskirja: Merirosvo Dortje Golldack / Книга С меки корици
common.buy 12.15 € 23.77 лв
Espectroscopia Fotoelectrónica de rayos X (XPS) - Un fundamento Pedro José Rodríguez Sulbarán / Книга С меки корици
common.buy 47.12 € 92.16 лв
"Wir und Ihr". Fremdenfeindliches Gedankengut in der postmodernen Gesellschaft und Copingstrategien der Sozialen Arbeit Belinda Peter / Книга С меки корици
common.buy 17.12 € 33.48 лв
Matemáticas transversales, 5 y 6 Educación Primaria Rosario María González Vigil / Книга С меки корици
common.buy 13.96 € 27.31 лв
Ridiculum Vitae Orta / Книга С меки корици
common.buy 13.96 € 27.31 лв
Top
Terror Ferdinand von Schirach / Книга С меки корици
common.buy 11.58 € 22.65 лв

This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. §The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.

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

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

Пълно заглавие Interactive Theorem Proving
Автор Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2011
Брой страници 383
Баркод 9783642228629
ISBN 3642228623
Код Либристо 01658528
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 605
Размери 155 x 235 x 23

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
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 Книгата ще пристигне на адреса на получателя

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

Interactive Technologies and Sociotechnical Systems Hongbin Zha / Книга С меки корици
common.buy 61.14 € 119.58 лв
Interactive Theorem Proving Matt Kaufmann / Книга С меки корици
common.buy 115.72 € 226.33 лв
Interactive Video Riad Hammoud / Книга С меки корици
common.buy 108.58 € 212.36 лв
Interactive Theorem Proving and Program Development Yves Bertot / Книга С твърди корици
common.buy 127.57 € 249.50 лв
Toward the End of the Century: Essays Into Poetry Wayne Dodd / Книга С меки корици
common.buy 22.76 € 44.51 лв
Life in the Ring: Lessons & Inspiration from the Sport of Boxing John E. Oden / Книга С меки корици
common.buy 14.69 € 28.72 лв
Top
Kingdom, Vol. 2 Yasuhisa Hara / Книга С меки корици
common.buy 12.93 € 25.28 лв
Race and Redemption Jane Samson / Книга С меки корици
common.buy 53.33 € 104.31 лв
Moments With The King: A Treasury Of Devotional Essays To Build And Strengthen Your Faith Kirby D Jones / Книга С меки корици
common.buy 13.03 € 25.49 лв
Understanding the I Ching: Restoring a Brilliant, Ancient Culture Alfred Huang / Книга С меки корици
common.buy 14.79 € 28.93 лв
The Duties of Parents John Charles Ryle / Книга С меки корици
common.buy 6.72 € 13.14 лв
Flows, Energetics, and Waves: Mathematical Applications: Physical Sciences and Timothy S Margulies / Книга С меки корици
common.buy 45.47 € 88.93 лв
China's Information Control Practices and the Implications for the United States Economic and Security Review Commission / Книга С меки корици
common.buy 17.48 € 34.19 лв
Finding Father Mary Ann Loewen / Книга С меки корици
common.buy 25.40 € 49.67 лв
Foundations of Paleoecology S. Kathleen Lyons / Книга С твърди корици
common.buy 187.58 € 366.87 лв
Изгодно
The Art of Lying: A Moral Guide on How to Properly Lie, Cheat, Deceive, and Manipulate Sally Fairfax / Книга С меки корици
common.buy 4.50 € 8.79 лв
Linguistics and Cross Linguistics issues in translating English Media Kais Kadhim / Книга С меки корици
common.buy 52.76 € 103.19 лв
Firefighters / Книга С меки корици
common.buy 9.57 € 18.71 лв
Mastering Reinforcement Learning with Python Enes Bilgin / Книга С меки корици
common.buy 49.66 € 97.12 лв
Architecting High-Performance Embedded Systems Jim Ledin / Книга С меки корици
common.buy 53.43 € 104.51 лв
Mortimer: Rat Race to Space Joan Marie Galat / Книга С меки корици
common.buy 11.01 € 21.54 лв
Cartoons That Saved the World Tom Ellen / Книга С меки корици
common.buy 9.31 € 18.20 лв
Top
How Big Things Get Done Dan Gardner / Книга С твърди корици
common.buy 24.36 € 47.64 лв
Richard II Tom Wheelwright / Аудиокнига MP3
common.buy 15.88 € 31.05 лв

Вход

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

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

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

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

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