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

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

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

Top
Ravensburger - 20954 That's not a hat Kartenspiel für 3-8 Personen, Partyspiel, lustige Unterhaltung ab 8 Jahren Kasper Lapp / Печатни материали Карти
common.buy 13.36 € 26.13 лв
Harry Potter - Le Coffret du sorcier Natacha Rocca / Книга С меки корици
common.buy 26.05 € 50.95 лв
Изгодно
Mesnevija II Dželaluddin Rumi / Книга С меки корици
common.buy 10.61 € 20.76 лв
Подготовка к экзамену по русскому языку как иностранному. Первый сертификационный уровень. Тесты. Письмо. B1 Е Никитина / Книга С меки корици
common.buy 23.10 € 45.17 лв
Leucémie - Investigation moléculaire et étude immunogénétique Zainab W. Maroof / Книга С меки корици
common.buy 31.23 € 61.08 лв
Stadi. Architettura e mito Fabio Salomoni / Книга С меки корици
common.buy 51.43 € 100.59 лв
SAMOURAI WILLIAM L ANGLAIS QUI ROMPIT L ISOLEMENT DU JAPON Milton Книга С меки корици
common.buy 30.30 € 59.25 лв
Empezar de cero Jimi Hendrix / Книга С меки корици
common.buy 24.70 € 48.31 лв
Theorien der Vergleichenden Regierungslehre Gisela Riescher / Книга С меки корици
common.buy 28.07 € 54.90 лв
Подготвяме
Franz Liszt und seine Zeit Wolfgang Dömling / Книга С твърди корици
common.buy 37.29 € 72.93 лв
Aktiv für gesunde Knochen, m. DVD Marta Agoston / Книга С меки корици
common.buy 7.76 € 15.19 лв
Kreativnye mysli Evgenij Shepel' / Книга С меки корици
common.buy 39.67 € 77.59 лв
Na půl žerdi Heda Bartíková / Книга С меки корици
common.buy 3.78 € 7.39 лв
EinFach Deutsch Unterrichtsmodelle Heinrich von Kleist / Книга С меки корици
common.buy 30.61 € 59.86 лв
Pontificato Di Leone XIII Rapporti Con l'Armenia Georges-Henri Ruyssen / Книга С меки корици
common.buy 15.53 € 30.38 лв
Le Calvados et les peintres LECLERC / Книга С меки корици
common.buy 44.38 € 86.81 лв
Dirección y gestión empresarial Fausto Pedro García Márquez / Книга С меки корици
common.buy 31.23 € 61.08 лв
Eignung von Speichertechnologien zum Erhalt der Systemsicherheit (Band 13) / Книга С меки корици
common.buy 46.51 € 90.96 лв
La Guérison Métaphysique: Comment guérir avec certitude Edmond Nanoukon / Книга С меки корици
common.buy 34.08 € 66.65 лв
citrouille roulante JUNIA WONDERS / Книга С твърди корици
common.buy 23.15 € 45.27 лв
Bir Tanem Felicien Marceau / Книга С меки корици
common.buy 12.84 € 25.11 лв
Carnets de jeunesse Fallet / Книга С меки корици
common.buy 34.18 € 66.85 лв
Livre cotes de France -le- tome 2 Jean Merrien / Книга С меки корици
common.buy 5.12 € 10.02 лв

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.48 € 106.56 лв
Interactive Theorem Proving and Program Development Yves Bertot / Книга С меки корици
common.buy 90.53 € 177.07 лв
Magyar Nemzet Tortenete M R J Kai / Книга С меки корици
common.buy 31.49 € 61.58 лв
30 Years at Ballymaloe: A celebration of the world-renowned cookery school with over 100 new recipes Darina Allen / Книга С твърди корици
common.buy 36.05 € 70.50 лв
Scarlet Sage Gail Ylitalo / Книга С меки корици
common.buy 15.33 € 29.98 лв
Sacred Geometry Anthony Muni Jr. / Книга С меки корици
common.buy 9.53 € 18.63 лв
Big Book Of Low-Sodium Recipes Linda Larsen / Книга С меки корици
common.buy 20.14 € 39.40 лв
Norfolk and Western Railway Stations and Depots C. Nelson Harris / Книга С меки корици
common.buy 22.11 € 43.25 лв
Mathematical Dynamic Programming Aditya Chatterjee / Книга С меки корици
common.buy 23.20 € 45.37 лв
Practical Guide To Self-Deliverance, A Dennis Clark / Книга С меки корици
common.buy 16.67 € 32.61 лв
Iconoclastic Fervor Hillary Sullivan / Книга С меки корици
common.buy 25.06 € 49.02 лв
Branded as Trouble Delores Fossen / Аудиокнига MP3
common.buy 21.54 € 42.13 лв
Environmental Management in Organizations John Brady / E-книга Adobe ePub DRM
common.buy 77.43 € 151.44 лв
Secrets of the Eternal Moon Phase Goddesses Julie Peters / Книга С твърди корици
common.buy 20.92 € 40.92 лв
Losing Kali Kali Rae Wheeler / Книга С твърди корици
common.buy 23.15 € 45.27 лв
Fields of Gold: The Orchid and the Rose Jim Stephens / Книга С меки корици
common.buy 19.31 € 37.78 лв
Peeves Mike Van Waes / Книга С меки корици
common.buy 9.11 € 17.82 лв
The Forty Hadith of Imam al-Nawawi Yahya Ibn Sharaf Al-Nawawi / Книга С меки корици
common.buy 10.66 € 20.86 лв
Peter Rabbit Hoppy Holidays Sticker Activity Book Beatrix Potter / Книга С меки корици
common.buy 7.09 € 13.87 лв
A Match for Emma Pepper Basham / Книга С меки корици
common.buy 13.10 € 25.62 лв
Physical Review, Volume 12 Cornell University / Книга С меки корици
common.buy 27.91 € 54.59 лв
Swedish Empire History Hourly History / Книга С меки корици
common.buy 10.35 € 20.25 лв
Interactive Video-On-Demand Systems T.P. Jimmy To / Книга С твърди корици
common.buy 183.87 € 359.62 лв
Bhagavad Gita Gavin Flood / Книга С меки корици
common.buy 18.80 € 36.76 лв

Вход

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

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

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

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

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