A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD futárszolgálat 1 190 Ft Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS pont 1 390 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 790 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Interactive Theorem Proving

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Interactive Theorem Proving Mauricio Ayala-Rincón
Libristo kód: 16771860
Kiadó Springer International Publishing AG, augusztus 2017
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Th... Teljes leírás
? points 136 b
19 902 Ft
Beszállítói készleten Küldés 5-8 napon belül

30 nap a termék visszaküldésére

A vásárlók ilyet vásároltak

Omniscient Reader's Viewpoint - Bände 1-5 im Sammelschuber Umi / Játék Játék
common.buy 30 703 Ft
Olcsón
Paris Zola / Könyv Puha kötésű
common.buy 3 665 Ft
Approche des Syst?mes Multi-Agents et des Méthodes d'Emergence pour la Maintenance Kadri Ouahab / Könyv Puha kötésű
common.buy 19 333 Ft
Természetes spiritualitás Pál Ferenc / Könyv Puha kötésű
common.buy 4 271 Ft
Hamarosan
La Normandie gourmande en 48 recettes (FR) PERETTI / Könyv Puha kötésű
common.buy 3 591 Ft
Toplistás
Mirai Nikki - New Edition 01 Josef Shanel / Könyv Puha kötésű
common.buy 4 659 Ft
Heliosphere 2265 - Hetzjagd, 1 Audio-CD Andreas Suchanek / Hanganyagok Audio CD
common.buy 4 132 Ft
Maths 1re Enseignement scientifique (2023) - Manuel élève Milan / Könyv Könyv
common.buy 10 598 Ft
Terapeutické rodičovstvo Sarah Naish / Könyv Puha kötésű
common.buy 6 068 Ft
Digitale Bildverarbeitung Martin Werner / Könyv Puha kötésű
common.buy 14 614 Ft
Histoire Naturelle de l'Air Et Des Meteores. Tome 1 RICHARD-J / Könyv Puha kötésű
common.buy 13 778 Ft
Domina las Tablas de Multiplicar: edición espa?ola Christine R Draper / Könyv Puha kötésű
common.buy 2 417 Ft
Oeuvres Completes Tome 3, 2 Sophie Cottin / Könyv Puha kötésű
common.buy 8 472 Ft
Book of Blessings Heb Raymond Cintas / Könyv Kemény kötésű
common.buy 22 818 Ft
Memoire Sur Le Principe Fondamental de la Therapeutique Deduit de l'Observation Et de l'Experience CREBESSAC-VERNET-P-A / Könyv Puha kötésű
common.buy 5 934 Ft
Capacidade de biossorcao de metais pesados em residuos organicos Leandro Fabricio Sena / Könyv Puha kötésű
common.buy 13 833 Ft
Nessahira Esin Kiroglu / Könyv Puha kötésű
common.buy 5 833 Ft
Iperaldosteronismo ed Ipertensione resistente Mirko Parasiliti Caprino / Könyv Puha kötésű
common.buy 18 996 Ft
Diagnose Algebraischen Denkens ALEXANDER MEYER / Könyv Puha kötésű
common.buy 25 998 Ft
The Raging Wrath Of The Easter Bunny Demo Mr. Bungle / Hanganyagok Audio CD
common.buy 7 242 Ft
Ist der Pfaffe Amis aus dem Schwankroman des Strickers ein Schelm, Narr oder ein Schalk? Stefanie Fritz / Könyv Puha kötésű
common.buy 6 272 Ft
Tout un zoo en pâte à modeler Oren / Könyv binding.
common.buy 6 859 Ft
Journalistische Praxis - Das Monster der Fake News zähmen Sulaiman Osho / Könyv Puha kötésű
common.buy 13 833 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Interactive Theorem Proving
Szerző Mauricio Ayala-Rincón, César A. Mu?oz
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2017
Oldalszám 532
EAN 9783319661063
ISBN 331966106X
Libristo kód 16771860
Kiadó Springer International Publishing AG
Súly 8248
Méretek 155 x 235 x 29

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Rendszeranalízis és rendszerdizájn
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

In the Ocean Stephanie Fizer Coleman / Játék Játék
common.buy 6 068 Ft
Caleb and The Trash Fairy: Caleb and the box car race Jenene Snyder / Könyv Puha kötésű
common.buy 4 308 Ft
Transition From Development to Production: Solving the Risk Equation U S Department of Defense / Könyv Puha kötésű
common.buy 7 418 Ft
American Notes Rudyard Kipling / Könyv Puha kötésű
common.buy 2 579 Ft
Sudoku Puzzle Book 200 MEDIUM Giant Size Puzzles: One Gigantic Large Print Puzzle Per Letter Size Page Sudoku Puzzle Books / Könyv Puha kötésű
common.buy 4 659 Ft
12 Strong - Die wahre Geschichte der US-Horse Soldiers Nicolai Fuglsig / Filmek Blu-ray
common.buy 4 557 Ft
Foxfire Book of Appalachian Cookery Sean Brock / Könyv Puha kötésű
common.buy 8 162 Ft
Unitarianism, the Doctrine of the Gospel: A View of the Scriptural Grounds of Unitarianism Lant Carpenter / Könyv Puha kötésű
common.buy 14 628 Ft
Reminiscences Of Old Quebec (1890) Daniel MacPherson / Könyv Puha kötésű
common.buy 8 837 Ft
Alone Against the Frost: Solitaire Adventure in Canada's Wilds Gavin Inglis / Könyv Puha kötésű
common.buy 6 156 Ft
Heidegger on Art and Art Works J.J. Kockelmans / Könyv Puha kötésű
common.buy 59 474 Ft
Seven Years of Darkness YOU-JEONG JEONG / Könyv Puha kötésű
common.buy 4 483 Ft
Toplistás
Witchcraft. The Library of Esoterica Jessica Hundley / Könyv Kemény kötésű
common.buy 10 848 Ft
7-Figure Coach Tara Mullarkey / Könyv Puha kötésű
common.buy 4 442 Ft
Shadow Rising Robert Jordan / Hangoskönyv MP3
common.buy 17 836 Ft
Economics for Business John Sloman / Könyv Puha kötésű
common.buy 34 340 Ft
Batman/Superman: World's Finest Vol. 3: Elementary Dan Mora / Könyv Kemény kötésű
common.buy 7 122 Ft
Engaging with Human Rights Evelyne Schmid / Könyv Kemény kötésű
common.buy 12 340 Ft
Third Act Encore Robert R. Blume / Könyv Kemény kötésű
common.buy 18 612 Ft
UNTITLED RED TOWER RELEASE MAEHRER HANNAH NICOLE / Könyv Puha kötésű
common.buy 6 009 Ft
The Substantive Law of the EU, 8e Barnard / Könyv Puha kötésű
common.buy 26 090 Ft
Toplistás
Bad Bishop L.J. Shen / Könyv Puha kötésű
common.buy 3 901 Ft
Toplistás
Dear Debbie Freida McFadden / Könyv Puha kötésű
common.buy 3 369 Ft
Quiver Stephanie Spinner / Könyv Puha kötésű
common.buy 2 787 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?