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

5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Interactive Theorem Proving Gerwin Klein
Libristo kód: 02779852
Kiadó Springer International Publishing AG, június 2014
This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Pro... 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

Stadi. Architettura e mito Fabio Salomoni / Könyv Puha kötésű
common.buy 18 788 Ft
SAMOURAI WILLIAM L ANGLAIS QUI ROMPIT L ISOLEMENT DU JAPON Milton Könyv Puha kötésű
common.buy 10 334 Ft
Подготовка к экзамену по русскому языку как иностранному. Первый сертификационный уровень. Тесты. Письмо. B1 Е Никитина / Könyv Puha kötésű
common.buy 7 737 Ft
Olcsón
Mesnevija II Dželaluddin Rumi / Könyv Puha kötésű
common.buy 3 956 Ft
Leucémie - Investigation moléculaire et étude immunogénétique Zainab W. Maroof / Könyv Puha kötésű
common.buy 11 430 Ft
De la sigillographie féminine médiévale dans l’Europe méditerranéenne / Könyv Puha kötésű
common.buy 20 253 Ft
Toplistás
Ravensburger - 20954 That's not a hat Kartenspiel für 3-8 Personen, Partyspiel, lustige Unterhaltung ab 8 Jahren Kasper Lapp / Nyomtatványok Kártya
common.buy 4 058 Ft
Theorien der Vergleichenden Regierungslehre Gisela Riescher / Könyv Puha kötésű
common.buy 10 247 Ft
Hamarosan
Franz Liszt und seine Zeit Wolfgang Dömling / Könyv Kemény kötésű
common.buy 12 562 Ft
Aktiv für gesunde Knochen, m. DVD Marta Agoston / Könyv Puha kötésű
common.buy 2 842 Ft
Kreativnye mysli Evgenij Shepel' / Könyv Puha kötésű
common.buy 14 527 Ft
Na půl žerdi Heda Bartíková / Könyv Puha kötésű
common.buy 1 262 Ft
EinFach Deutsch Unterrichtsmodelle Heinrich von Kleist / Könyv Puha kötésű
common.buy 11 698 Ft
Pontificato Di Leone XIII Rapporti Con l'Armenia Georges-Henri Ruyssen / Könyv Puha kötésű
common.buy 10 727 Ft
Livre cotes de France -le- tome 2 Jean Merrien / Könyv Puha kötésű
common.buy 1 789 Ft
Empezar de cero Jimi Hendrix / Könyv Puha kötésű
common.buy 9 674 Ft
Dirección y gestión empresarial Fausto Pedro García Márquez / Könyv Puha kötésű
common.buy 12 165 Ft
Eignung von Speichertechnologien zum Erhalt der Systemsicherheit (Band 13) / Könyv Puha kötésű
common.buy 17 032 Ft
La Guérison Métaphysique: Comment guérir avec certitude Edmond Nanoukon / Könyv Puha kötésű
common.buy 12 456 Ft
citrouille roulante JUNIA WONDERS / Könyv Kemény kötésű
common.buy 8 486 Ft
Bir Tanem Felicien Marceau / Könyv Puha kötésű
common.buy 4 691 Ft
Carnets de jeunesse Fallet / Könyv Puha kötésű
common.buy 13 163 Ft

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.

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ő Gerwin Klein, Ruben Gamboa
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2014
Oldalszám 555
EAN 9783319089690
ISBN 3319089692
Libristo kód 02779852
Kiadó Springer International Publishing AG
Súly 8657
Méretek 155 x 235 x 30

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika
Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Algoritmusok és adatszerkezetek
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épes hálózat és kommunikáció > Hálózatbiztonság
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 > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia
Számítástechnika és információtechnológia > Számítógépbiztonság
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

Interactive Theorem Proving Sandrine Blazy / Könyv Puha kötésű
common.buy 19 902 Ft
Interactive Theorem Proving and Program Development Yves Bertot / Könyv Puha kötésű
common.buy 33 079 Ft
Branded as Trouble Delores Fossen / Hangoskönyv MP3
common.buy 7 108 Ft
Interactive Television Demystified Jerry Whitaker / Könyv Puha kötésű
common.buy 17 910 Ft
Each Leaf Shines Separate R Warren / Könyv Puha kötésű
common.buy 5 717 Ft
Magyar Nemzet Tortenete M R J Kai / Könyv Puha kötésű
common.buy 12 017 Ft
Scarlet Sage Gail Ylitalo / Könyv Puha kötésű
common.buy 5 833 Ft
Mathematical Dynamic Programming Aditya Chatterjee / Könyv Puha kötésű
common.buy 8 883 Ft
Big Book Of Low-Sodium Recipes Linda Larsen / Könyv Puha kötésű
common.buy 7 358 Ft
Norfolk and Western Railway Stations and Depots C. Nelson Harris / Könyv Puha kötésű
common.buy 7 663 Ft
Iconoclastic Fervor Hillary Sullivan / Könyv Puha kötésű
common.buy 9 572 Ft
30 Years at Ballymaloe: A celebration of the world-renowned cookery school with over 100 new recipes Darina Allen / Könyv Kemény kötésű
common.buy 13 163 Ft
Environmental Management in Organizations John Brady / E-könyv Adobe ePub DRM
common.buy 24 783 Ft
The Forty Hadith of Imam al-Nawawi Yahya Ibn Sharaf Al-Nawawi / Könyv Puha kötésű
common.buy 4 146 Ft
Secrets of the Eternal Moon Phase Goddesses Julie Peters / Könyv Kemény kötésű
common.buy 8 162 Ft
Fields of Gold: The Orchid and the Rose Jim Stephens / Könyv Puha kötésű
common.buy 7 418 Ft
Peeves Mike Van Waes / Könyv Puha kötésű
common.buy 3 050 Ft
Swedish Empire History Hourly History / Könyv Puha kötésű
common.buy 3 956 Ft
A Match for Emma Pepper Basham / Könyv Puha kötésű
common.buy 4 996 Ft
Physical Review, Volume 12 Cornell University / Könyv Puha kötésű
common.buy 10 640 Ft
Sacred Geometry Anthony Muni Jr. / Könyv Puha kötésű
common.buy 4 146 Ft
Bhagavad Gita Gavin Flood / Könyv Puha kötésű
common.buy 7 270 Ft
The Keys of Persephone Kate Gray Glass / Könyv Puha kötésű
common.buy 7 400 Ft
Eleventh International Seaweed Symposium Carolyn J. Bird / Könyv Kemény kötésű
common.buy 123 376 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?