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

Език Английски езикАнглийски език
Книга С меки корици
Книга Interactive Theorem Proving Mauricio Ayala-Rincón
Код Либристо: 16771860
Издателство Springer International Publishing AG, август 2017
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Th... Цялото описание
? points 132 b
54.47 €
106.54  лв
Външен склад Изпращаме след 5-8 дни

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

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

Omniscient Reader's Viewpoint - Bände 1-5 im Sammelschuber Umi / Игра/играчка Игра
common.buy 83.73 € 163.77 лв
Изгодно
Paris Zola / Книга С меки корици
common.buy 10.35 € 20.25 лв
Approche des Syst?mes Multi-Agents et des Méthodes d'Emergence pour la Maintenance Kadri Ouahab / Книга С меки корици
common.buy 52.82 € 103.30 лв
Természetes spiritualitás Pál Ferenc / Книга С меки корици
common.buy 11.65 € 22.78 лв
Подготвяме
La Normandie gourmande en 48 recettes (FR) PERETTI / Книга С меки корици
common.buy 10.61 € 20.75 лв
Top
Mirai Nikki - New Edition 01 Josef Shanel / Книга С меки корици
common.buy 12.68 € 24.80 лв
Heliosphere 2265 - Hetzjagd, 1 Audio-CD Andreas Suchanek / Аудио Аудио компактдиск
common.buy 12.27 € 23.99 лв
Maths 1re Enseignement scientifique (2023) - Manuel élève Milan / Книга Книга
common.buy 31.22 € 61.06 лв
Terapeutické rodičovstvo Sarah Naish / Книга С меки корици
common.buy 18.12 € 35.44 лв
Digitale Bildverarbeitung Martin Werner / Книга С меки корици
common.buy 39.97 € 78.18 лв
Histoire Naturelle de l'Air Et Des Meteores. Tome 1 RICHARD-J / Книга С меки корици
common.buy 36.19 € 70.79 лв
Domina las Tablas de Multiplicar: edición espa?ola Christine R Draper / Книга С меки корици
common.buy 6.31 € 12.35 лв
Oeuvres Completes Tome 3, 2 Sophie Cottin / Книга С меки корици
common.buy 22.21 € 43.44 лв
Book of Blessings Heb Raymond Cintas / Книга С твърди корици
common.buy 62.76 € 122.75 лв
Memoire Sur Le Principe Fondamental de la Therapeutique Deduit de l'Observation Et de l'Experience CREBESSAC-VERNET-P-A / Книга С меки корици
common.buy 15.53 € 30.37 лв
Capacidade de biossorcao de metais pesados em residuos organicos Leandro Fabricio Sena / Книга С меки корици
common.buy 37.80 € 73.93 лв
Nessahira Esin Kiroglu / Книга С меки корици
common.buy 15.94 € 31.19 лв
Iperaldosteronismo ed Ipertensione resistente Mirko Parasiliti Caprino / Книга С меки корици
common.buy 51.88 € 101.48 лв
Diagnose Algebraischen Denkens ALEXANDER MEYER / Книга С меки корици
common.buy 71.20 € 139.26 лв
The Raging Wrath Of The Easter Bunny Demo Mr. Bungle / Аудио Аудио компактдиск
common.buy 19.88 € 38.88 лв
Ist der Pfaffe Amis aus dem Schwankroman des Strickers ein Schelm, Narr oder ein Schalk? Stefanie Fritz / Книга С меки корици
common.buy 17.14 € 33.51 лв
Tout un zoo en pâte à modeler Oren / Книга binding.
common.buy 20.19 € 39.49 лв
Journalistische Praxis - Das Monster der Fake News zähmen Sulaiman Osho / Книга С меки корици
common.buy 37.80 € 73.93 лв

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

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

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

Пълно заглавие Interactive Theorem Proving
Автор Mauricio Ayala-Rincón, César A. Mu?oz
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2017
Брой страници 532
Баркод 9783319661063
ISBN 331966106X
Код Либристо 16771860
Издателство Springer International Publishing AG
Тегло 8248
Размери 155 x 235 x 29

Категории

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 > Systems analysis & design
Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

In the Ocean Stephanie Fizer Coleman / Игра/играчка Игра
common.buy 17.14 € 33.51 лв
Caleb and The Trash Fairy: Caleb and the box car race Jenene Snyder / Книга С меки корици
common.buy 11.23 € 21.97 лв
Transition From Development to Production: Solving the Risk Equation U S Department of Defense / Книга С меки корици
common.buy 19.31 € 37.77 лв
American Notes Rudyard Kipling / Книга С меки корици
common.buy 6.73 € 13.16 лв
Sudoku Puzzle Book 200 MEDIUM Giant Size Puzzles: One Gigantic Large Print Puzzle Per Letter Size Page Sudoku Puzzle Books / Книга С меки корици
common.buy 12.16 € 23.79 лв
12 Strong - Die wahre Geschichte der US-Horse Soldiers Nicolai Fuglsig / Видео Blu-ray
common.buy 13.46 € 26.32 лв
Foxfire Book of Appalachian Cookery Sean Brock / Книга С меки корици
common.buy 20.92 € 40.91 лв
Unitarianism, the Doctrine of the Gospel: A View of the Scriptural Grounds of Unitarianism Lant Carpenter / Книга С меки корици
common.buy 38.32 € 74.94 лв
Reminiscences Of Old Quebec (1890) Daniel MacPherson / Книга С меки корици
common.buy 23.14 € 45.26 лв
Alone Against the Frost: Solitaire Adventure in Canada's Wilds Gavin Inglis / Книга С меки корици
common.buy 15.79 € 30.88 лв
Heidegger on Art and Art Works J.J. Kockelmans / Книга С меки корици
common.buy 162.91 € 318.63 лв
Seven Years of Darkness YOU-JEONG JEONG / Книга С меки корици
common.buy 12.68 € 24.80 лв
Top
Witchcraft. The Library of Esoterica Jessica Hundley / Книга С твърди корици
common.buy 32.31 € 63.19 лв
7-Figure Coach Tara Mullarkey / Книга С меки корици
common.buy 11.39 € 22.27 лв
Shadow Rising Robert Jordan / Аудиокнига MP3
common.buy 53.02 € 103.70 лв
Economics for Business John Sloman / Книга С меки корици
common.buy 101.39 € 198.30 лв
Batman/Superman: World's Finest Vol. 3: Elementary Dan Mora / Книга С твърди корици
common.buy 20.66 € 40.40 лв
Engaging with Human Rights Evelyne Schmid / Книга С твърди корици
common.buy 33.81 € 66.13 лв
Third Act Encore Robert R. Blume / Книга С твърди корици
common.buy 48.73 € 95.30 лв
UNTITLED RED TOWER RELEASE MAEHRER HANNAH NICOLE / Книга С меки корици
common.buy 16.36 € 32.00 лв
The Substantive Law of the EU, 8e Barnard / Книга С меки корици
common.buy 73.63 € 144.02 лв
Top
Bad Bishop L.J. Shen / Книга С меки корици
common.buy 10.61 € 20.75 лв
Top
Dear Debbie Freida McFadden / Книга С меки корици
common.buy 9.78 € 19.13 лв
Quiver Stephanie Spinner / Книга С меки корици
common.buy 7.66 € 14.98 лв

Вход

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

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

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

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

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