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

4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Interactive Theorem Proving Sandrine Blazy
Libristo kód: 01664057
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, június 2013
This book constitutes the refereed proceedings of the 4th 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

Diccionario visual inglés / Könyv Puha kötésű
common.buy 4 908 Ft
Zpět o sto let na výlet Renata Šindelářová / Könyv Puha kötésű
common.buy 1 188 Ft
metodo Mystery. Un approccio infallibile per sedurre le donne più belle del mondo Mystery / Könyv Puha kötésű
common.buy 4 996 Ft
TEMARIO DE TROMBON VICENTE MONZO / Könyv Puha kötésű
common.buy 116 254 Ft
Angielski. Przewodnik językowy Patrycja Karnik / Könyv Puha kötésű
common.buy 4 691 Ft
Clef Junich Tanizaki / Könyv Puha kötésű
common.buy 4 280 Ft
Manual práctico de Defensa Personal para mujeres MANUEL MONTERO KIESOW / Könyv Puha kötésű
common.buy 8 985 Ft
Coches muy antiguos Ruiz Palacio / Könyv Puha kötésű
common.buy 7 007 Ft
Der Kreis Husum K. Sönnichsen / Könyv Puha kötésű
common.buy 9 364 Ft
Kostenfalle Messe? Anja Steinrücken / Könyv Puha kötésű
common.buy 20 063 Ft
Theaterhandwerk Alan Ayckbourn / Könyv Puha kötésű
common.buy 7 663 Ft
Aus der Praxis der Zuckerindustrie Otto Mittelstaedt / Könyv Puha kötésű
common.buy 5 232 Ft
Laubgewind Jakob Chr. Heer / Könyv Puha kötésű
common.buy 10 390 Ft
Brasilien im IBSA-Dialogforum Claudia Liebeswar / Könyv Puha kötésű
common.buy 6 272 Ft
Widerstand im totalitaren System - a priori chancenlos? Steffen Radtke / Könyv Puha kötésű
common.buy 6 272 Ft
USA und der internationale Klimaschutz Jan Hollmann / Könyv Puha kötésű
common.buy 6 272 Ft

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013.§The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.

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ő Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2013
Oldalszám 498
EAN 9783642396335
ISBN 364239633X
Libristo kód 01664057
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 777
Méretek 155 x 235 x 29

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 Gerwin Klein / Könyv Puha kötésű
common.buy 19 902 Ft
Horizons in Cancer Research Hiroto S Watanabe / Könyv Kemény kötésű
common.buy 120 594 Ft
Nubia Lake Paddleboarding: A Guide To Flat Water Stand Up Paddling Vie Binga / Könyv Puha kötésű
common.buy 4 996 Ft
Golden Treasury of the History, Topography, Literature, Science, Art, and Religion of the Various Countries of the Globe James (University of the Highlands and Islands) Hunter / Könyv Kemény kötésű
common.buy 14 979 Ft
How to Write Fanfiction Howexpert Press / Könyv Puha kötésű
common.buy 7 418 Ft
How Claims Spread Joel Best / Könyv Puha kötésű
common.buy 19 976 Ft
Tide Running Oonya Kempadoo / Könyv Puha kötésű
common.buy 8 310 Ft
Journey to Meet Beethoven Pat Champness / Könyv Puha kötésű
common.buy 4 146 Ft
Teaching Is a Privilege Elizabeth Cervini Manvell / Könyv Kemény kötésű
common.buy 54 741 Ft
Birds of Myanmar Kyaw Nyunt Lwin / Könyv Puha kötésű
common.buy 19 111 Ft
Beauchamp Hall Danielle Steel / Könyv Puha kötésű
common.buy 11 166 Ft
Boost Your Immune System: Change Understanding About Healthy Eating, Change Your Mindset and Attitude Towards Healthy Living. Michal Kloczkowski / Könyv Puha kötésű
common.buy 2 376 Ft
Beyond 2.0 Steve Collins / Könyv Puha kötésű
common.buy 12 914 Ft
Time Series Analysis and Inverse Theory for Geophysicists David Gubbins / Könyv Puha kötésű
common.buy 33 957 Ft
Cinema of the 70s: 101 Iconic Movies John H Foote / Könyv Puha kötésű
common.buy 8 033 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?