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

First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Interactive Theorem Proving Matt Kaufmann
Код Либристо: 01656145
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юни 2010
This book constitutes the refereed proceedings of the First International Conference on Interactive... Цялото описание
? points 280 b
115.58 €
226.05  лв
Външен склад Изпращаме след 9-15 дни

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

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

Jak vznikla a hospodařila TJ Letové sporty Tleskač v Praze / Книга С меки корици
common.buy 7.23 € 14.14 лв
Obstbau E. Voges / Книга С меки корици
common.buy 19.01 € 37.18 лв
Rolle des Filmkameramanns bei der Produktion von Spielfilmen - Exemplarisch dargestellt anhand der Arbeit des Kameramanns Frank Griebe Torben Asmussen / Книга С меки корици
common.buy 42.47 € 83.06 лв
Europaisches Wettbewerbsrecht am Beispiel der Fernsehrechtsproblematik der UEFA Champions League und der FIFA WM 2006 Tobias Schoener / Книга С меки корици
common.buy 17.10 € 33.44 лв
Test der verschiedenen Proteinanteile Serge Munganga Kabate / Книга С меки корици
common.buy 41.43 € 81.04 лв
Aristoteles: Metaphysik IX, 1-3. Vom Wesen und Wirklichkeit der Kraft (Sommersemester 1931). Buch.IX Martin Heidegger / Книга С меки корици
common.buy 33.37 € 65.27 лв
Nitra Vladimír Barta / Книга С твърди корици
common.buy 35.85 € 70.12 лв
DF 81 ALEJ MAGNO IV INDIA A BABILONIA / Книга Книга
common.buy 10.85 € 21.21 лв
Nach Spanien Und Portugal H. Obersteiner / Книга С меки корици
common.buy 28.31 € 55.37 лв
Криптвоюматика 2.0. Стань сыном маминой подруги Алексей Марков / Книга С твърди корици
common.buy 19.42 € 37.99 лв
Top
Profi-Nonogramm 3er-Band. Nr.16. Nr.16 Conceptis Puzzles / Книга С меки корици
common.buy 9.55 € 18.68 лв
Haltestelle Brussel Hermann Bausinger / Книга С меки корици
common.buy 20.71 € 40.51 лв
Contribution a la lutte contre la cybercriminalite des jeunes Dinde Fernand Agbo / Книга С меки корици
common.buy 65.87 € 128.83 лв
Politische Gesprache der Toten Anonymus / Книга С меки корици
common.buy 37.71 € 73.76 лв
Dibujar : trucos, técnicas y recursos para la inspiración visual Helen Birch / Книга С меки корици
common.buy 15.70 € 30.71 лв
Solo-Klaviermusik Vol.6 Miklos Spanyi / Аудио Аудио компактдиск
common.buy 17.56 € 34.35 лв
Une Page de l'Histoire de Napoleon 1er Le Moine-O / Книга С меки корици
common.buy 15.50 € 30.31 лв
Quelques Mots Sur La Maxime: 'le Roi Regne Et Ne Gouverne Pas' Sans Auteur / Книга С меки корици
common.buy 12.71 € 24.85 лв

This book constitutes the refereed proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. The 33 revised full papers presented were carefully reviewed and selected from 74 submissions. The papers are organized in topics such as counterexample generation, hybrid system verification, 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
Автор Matt Kaufmann, Lawrence C. Paulson
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2010
Брой страници 495
Баркод 9783642140518
ISBN 3642140513
Код Либристо 01656145
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 759
Размери 155 x 238 x 33

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Medicine & Nursing > Clinical & internal medicine > Diseases & disorders > Immunology
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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 Theorem Proving and Program Development Yves Bertot / Книга С твърди корици
common.buy 127.41 € 249.19 лв
Interactive Video Riad Hammoud / Книга С меки корици
common.buy 108.45 € 212.10 лв
Experimental Robotics Oussama Khatib / Книга С меки корици
common.buy 216.59 € 423.61 лв
Interactive Theorem Proving Marko Van Eekelen / Книга С меки корици
common.buy 61.07 € 119.44 лв
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Книга С меки корици
common.buy 61.07 € 119.44 лв
You Bantering Me? Chris Hughes / Книга С меки корици
common.buy 18.03 € 35.26 лв
Homo Sapiens to Homo 'X' Lawrence Nyaguti Ochieng / Книга С твърди корици
common.buy 35.75 € 69.92 лв
Rite of Rejection Sarah Negovetich / Книга С меки корици
common.buy 12.14 € 23.74 лв
Oblomov Ivan Aleksandrovich Goncharov / Книга С меки корици
common.buy 10.33 € 20.20 лв
Long Life in Florida Hilton Hotema / Книга С меки корици
common.buy 31.56 € 61.73 лв
We Were Free-Range: An American Childhood 1950-1962 John Erwin / Книга С меки корици
common.buy 13.07 € 25.56 лв
Annihilation Jeff VanderMeer / Книга С меки корици
common.buy 15.03 € 29.40 лв
Classification, Disease and Evidence Philippe Huneman / Книга С меки корици
common.buy 54.35 € 106.30 лв
From The Sun To The Stars James B. Kaler / Книга С меки корици
common.buy 34.72 € 67.90 лв
Kaylynn's Reading Log Martha Day Zschock / Книга С меки корици
common.buy 8.36 € 16.36 лв
Village Heroes Meet the Dragon Patti Vincent / Книга С меки корици
common.buy 21.28 € 41.62 лв
Camping Keith Baker / Книга С меки корици
common.buy 6.45 € 12.62 лв
Sleeping on a Wire David Grossman / Книга С меки корици
common.buy 20.20 € 39.50 лв
The Last Midwife Sandra Dallas / Книга С меки корици
common.buy 20.87 € 40.82 лв
Evolving Human Nutrition Stanley Ulijaszek / Книга С твърди корици
common.buy 167.92 € 328.41 лв
Chakradance Natalie Southgate / E-книга Adobe ePub DRM
common.buy 17.56 € 34.35 лв
Uncertainty in Ai: A Journal Through Possible Worlds LAWRY JONATHAN / Книга С твърди корици
common.buy 123.84 € 242.22 лв
Hidden in Blackness Adaurennaya C Onyewuenyi / Книга С твърди корици
common.buy 141.05 € 275.87 лв
PRINCE WITHOUT SORROW WIJESEKARA MAITHREE / Книга С меки корици
common.buy 14.31 € 27.98 лв

Вход

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

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

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

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

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