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

5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Interactive Theorem Proving Gerwin Klein
Код Либристо: 02779852
Издателство Springer International Publishing AG, юни 2014
This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Pro... Цялото описание
? points 132 b
54.42 €
106.43  лв
Външен склад Изпращаме след 5-8 дни

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

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

Stadi. Architettura e mito Fabio Salomoni / Книга С меки корици
common.buy 51.37 € 100.46 лв
SAMOURAI WILLIAM L ANGLAIS QUI ROMPIT L ISOLEMENT DU JAPON Milton Книга С меки корици
common.buy 30.41 € 59.48 лв
Подготовка к экзамену по русскому языку как иностранному. Первый сертификационный уровень. Тесты. Письмо. B1 Е Никитина / Книга С меки корици
common.buy 23.07 € 45.12 лв
Изгодно
Mesnevija II Dželaluddin Rumi / Книга С меки корици
common.buy 11.17 € 21.84 лв
Leucémie - Investigation moléculaire et étude immunogénétique Zainab W. Maroof / Книга С меки корици
common.buy 31.19 € 61.00 лв
De la sigillographie féminine médiévale dans l’Europe méditerranéenne / Книга С меки корици
common.buy 53.64 € 104.91 лв
Top
Ravensburger - 20954 That's not a hat Kartenspiel für 3-8 Personen, Partyspiel, lustige Unterhaltung ab 8 Jahren Kasper Lapp / Печатни материали Карти
common.buy 11.12 € 21.74 лв
Theorien der Vergleichenden Regierungslehre Gisela Riescher / Книга С меки корици
common.buy 28.03 € 54.83 лв
Подготвяме
Franz Liszt und seine Zeit Wolfgang Dömling / Книга С твърди корици
common.buy 37.29 € 72.94 лв
Aktiv für gesunde Knochen, m. DVD Marta Agoston / Книга С меки корици
common.buy 7.75 € 15.17 лв
Kreativnye mysli Evgenij Shepel' / Книга С меки корици
common.buy 39.62 € 77.49 лв
Na půl žerdi Heda Bartíková / Книга С меки корици
common.buy 3.77 € 7.38 лв
EinFach Deutsch Unterrichtsmodelle Heinrich von Kleist / Книга С меки корици
common.buy 32.07 € 62.72 лв
Pontificato Di Leone XIII Rapporti Con l'Armenia Georges-Henri Ruyssen / Книга С меки корици
common.buy 30.26 € 59.18 лв
Livre cotes de France -le- tome 2 Jean Merrien / Книга С меки корици
common.buy 5.22 € 10.21 лв
Empezar de cero Jimi Hendrix / Книга С меки корици
common.buy 32.12 € 62.82 лв
Dirección y gestión empresarial Fausto Pedro García Márquez / Книга С меки корици
common.buy 35.79 € 70.01 лв
Eignung von Speichertechnologien zum Erhalt der Systemsicherheit (Band 13) / Книга С меки корици
common.buy 46.45 € 90.85 лв
La Guérison Métaphysique: Comment guérir avec certitude Edmond Nanoukon / Книга С меки корици
common.buy 34.03 € 66.57 лв
citrouille roulante JUNIA WONDERS / Книга С твърди корици
common.buy 22.24 € 43.50 лв
Bir Tanem Felicien Marceau / Книга С меки корици
common.buy 12.88 € 25.18 лв
Carnets de jeunesse Fallet / Книга С меки корици
common.buy 33.00 € 64.54 лв

This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 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
Автор Gerwin Klein, Ruben Gamboa
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2014
Брой страници 555
Баркод 9783319089690
ISBN 3319089692
Код Либристо 02779852
Издателство Springer International Publishing AG
Тегло 8657
Размери 155 x 235 x 30

Категории

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 Sandrine Blazy / Книга С меки корици
common.buy 54.42 € 106.43 лв
Interactive Theorem Proving and Program Development Yves Bertot / Книга С меки корици
common.buy 90.42 € 176.85 лв
Branded as Trouble Delores Fossen / Аудиокнига MP3
common.buy 21.15 € 41.37 лв
Interactive Television Demystified Jerry Whitaker / Книга С меки корици
common.buy 45.93 € 89.84 лв
Each Leaf Shines Separate R Warren / Книга С меки корици
common.buy 14.79 € 28.93 лв
Magyar Nemzet Tortenete M R J Kai / Книга С меки корици
common.buy 31.45 € 61.51 лв
Scarlet Sage Gail Ylitalo / Книга С меки корици
common.buy 15.31 € 29.94 лв
Mathematical Dynamic Programming Aditya Chatterjee / Книга С меки корици
common.buy 23.17 € 45.32 лв
Big Book Of Low-Sodium Recipes Linda Larsen / Книга С меки корици
common.buy 20.12 € 39.35 лв
Norfolk and Western Railway Stations and Depots C. Nelson Harris / Книга С меки корици
common.buy 22.14 € 43.29 лв
Iconoclastic Fervor Hillary Sullivan / Книга С меки корици
common.buy 25.03 € 48.96 лв
30 Years at Ballymaloe: A celebration of the world-renowned cookery school with over 100 new recipes Darina Allen / Книга С твърди корици
common.buy 36.00 € 70.41 лв
Environmental Management in Organizations John Brady / E-книга Adobe ePub DRM
common.buy 73.20 € 143.16 лв
The Forty Hadith of Imam al-Nawawi Yahya Ibn Sharaf Al-Nawawi / Книга С меки корици
common.buy 10.65 € 20.83 лв
Secrets of the Eternal Moon Phase Goddesses Julie Peters / Книга С твърди корици
common.buy 20.89 € 40.87 лв
Fields of Gold: The Orchid and the Rose Jim Stephens / Книга С меки корици
common.buy 19.29 € 37.73 лв
Peeves Mike Van Waes / Книга С меки корици
common.buy 9.10 € 17.80 лв
Swedish Empire History Hourly History / Книга С меки корици
common.buy 10.34 € 20.23 лв
A Match for Emma Pepper Basham / Книга С меки корици
common.buy 13.08 € 25.59 лв
Physical Review, Volume 12 Cornell University / Книга С меки корици
common.buy 27.88 € 54.53 лв
Sacred Geometry Anthony Muni Jr. / Книга С меки корици
common.buy 10.86 € 21.24 лв
Bhagavad Gita Gavin Flood / Книга С меки корици
common.buy 18.77 € 36.72 лв
The Keys of Persephone Kate Gray Glass / Книга С меки корици
common.buy 19.39 € 37.93 лв
Eleventh International Seaweed Symposium Carolyn J. Bird / Книга С твърди корици
common.buy 354.05 € 692.46 лв

Вход

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

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

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

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

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