Проверка на състоянието на поръчката
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
53.81 €
105.23  лв
Външен склад Изпращаме след 5-8 дни

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

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

Aktiv für gesunde Knochen, m. DVD Marta Agoston / Книга С меки корици
common.buy 7.67 € 15.00 лв
Подготовка к экзамену по русскому языку как иностранному. Первый сертификационный уровень. Тесты. Письмо. B1 Е Никитина / Книга С меки корици
common.buy 22.81 € 44.61 лв
Изгодно
Mesnevija II Dželaluddin Rumi / Книга С меки корици
common.buy 7.36 € 14.40 лв
Carnets de jeunesse Fallet / Книга С меки корици
common.buy 37.95 € 74.22 лв
Ravensburger - 20954 That's not a hat Kartenspiel für 3-8 Personen, Partyspiel, lustige Unterhaltung ab 8 Jahren Kasper Lapp / Печатни материали Карти
common.buy 10.99 € 21.50 лв
Подготвяме
Franz Liszt und seine Zeit Wolfgang Dömling / Книга С твърди корици
common.buy 36.62 € 71.62 лв
Theorien der Vergleichenden Regierungslehre Gisela Riescher / Книга С меки корици
common.buy 27.72 € 54.21 лв
De la sigillographie féminine médiévale dans l’Europe méditerranéenne / Книга С меки корици
common.buy 53.04 € 103.73 лв
Harry Potter - Le Coffret du sorcier Natacha Rocca / Книга С меки корици
common.buy 24.55 € 48.01 лв
Leucémie - Investigation moléculaire et étude immunogénétique Zainab W. Maroof / Книга С меки корици
common.buy 30.84 € 60.32 лв
Stadi. Architettura e mito Fabio Salomoni / Книга С меки корици
common.buy 50.74 € 99.23 лв
La Guérison Métaphysique: Comment guérir avec certitude Edmond Nanoukon / Книга С меки корици
common.buy 33.65 € 65.82 лв
Quelques Considerations Sur Notre Temps Jacquinet-M-N / Книга С меки корици
common.buy 26.39 € 51.61 лв
Pontificato Di Leone XIII Rapporti Con l'Armenia Georges-Henri Ruyssen / Книга С меки корици
common.buy 15.34 € 30.00 лв
Cocina Tradicional Vasca / Книга С меки корици
common.buy 7.57 € 14.80 лв
Empezar de cero Jimi Hendrix / Книга С меки корици
common.buy 28.08 € 54.91 лв
Dirección y gestión empresarial Fausto Pedro García Márquez / Книга С меки корици
common.buy 35.29 € 69.02 лв
Eignung von Speichertechnologien zum Erhalt der Systemsicherheit (Band 13) / Книга С меки корици
common.buy 48.33 € 94.53 лв
EinFach Deutsch Unterrichtsmodelle Heinrich von Kleist / Книга С меки корици
common.buy 31.71 € 62.02 лв
LECCIONARI DE LA MISSA COMENTAT - CICLE C FARNES SHERER / Книга Книга
common.buy 14.27 € 27.90 лв
citrouille roulante JUNIA WONDERS / Книга С твърди корици
common.buy 22.86 € 44.71 лв
Bir Tanem Felicien Marceau / Книга С меки корици
common.buy 12.68 € 24.80 лв
Oeuvres de Edouard Grenier: Francine, Poemes Epars (1902) Edouard Grenier / Книга С меки корици
common.buy 37.85 € 74.02 лв
Na půl žerdi Heda Bartíková / Книга С меки корици
common.buy 4.04 € 7.89 лв

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 53.81 € 105.23 лв
Interactive Theorem Proving and Program Development Yves Bertot / Книга С меки корици
common.buy 89.41 € 174.86 лв
Swedish Empire History Hourly History / Книга С меки корици
common.buy 10.22 € 20.00 лв
Norfolk and Western Railway Stations and Depots C. Nelson Harris / Книга С меки корици
common.buy 21.78 € 42.61 лв
Practical Guide To Self-Deliverance, A Dennis Clark / Книга С меки корици
common.buy 16.47 € 32.20 лв
Iconoclastic Fervor Hillary Sullivan / Книга С меки корици
common.buy 24.75 € 48.41 лв
Secrets of the Eternal Moon Phase Goddesses Julie Peters / Книга С твърди корици
common.buy 20.66 € 40.41 лв
Losing Kali Kali Rae Wheeler / Книга С твърди корици
common.buy 22.86 € 44.71 лв
Fields of Gold: The Orchid and the Rose Jim Stephens / Книга С меки корици
common.buy 19.07 € 37.31 лв
Asbestos Standard for the Construction Industry U S Department of Labor / Книга С меки корици
common.buy 14.68 € 28.70 лв
Peeves Mike Van Waes / Книга С меки корици
common.buy 9.00 € 17.60 лв
Peter Rabbit Hoppy Holidays Sticker Activity Book Beatrix Potter / Книга С меки корици
common.buy 6.95 € 13.60 лв
A Match for Emma Pepper Basham / Книга С меки корици
common.buy 12.94 € 25.30 лв
Physical Review, Volume 12 Cornell University / Книга С меки корици
common.buy 27.57 € 53.91 лв
The Front Yard: And Other Italian Stories (1895) Constance Fenimore Woolson / Книга С меки корици
common.buy 31.25 € 61.12 лв
30 Years at Ballymaloe: A celebration of the world-renowned cookery school with over 100 new recipes Darina Allen / Книга С твърди корици
common.buy 35.54 € 69.52 лв
The Forty Hadith of Imam al-Nawawi Yahya Ibn Sharaf Al-Nawawi / Книга С меки корици
common.buy 10.53 € 20.60 лв
Managing the Injured Athlete Zoe Hudson / E-книга Adobe ePub DRM
common.buy 36.36 € 71.12 лв
Environmental Management in Organizations John Brady / E-книга Adobe ePub DRM
common.buy 75.70 € 148.05 лв
Mindfulness-Based Cognitive Therapy for Bipolar Disorder Thilo Deckersbach / E-книга Adobe ePub DRM
common.buy 72.78 € 142.35 лв
Branded as Trouble Delores Fossen / Аудиокнига MP3
common.buy 21.07 € 41.21 лв
Mathematical Dynamic Programming Aditya Chatterjee / Книга С меки корици
common.buy 22.91 € 44.81 лв
Sacred Geometry Anthony Muni Jr. / Книга С меки корици
common.buy 9.41 € 18.40 лв
Scotland Campsites And Caravan Parks Alex Barclay / Печатни материали Карта
common.buy 12.78 € 25.00 лв

Вход

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

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

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

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

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