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

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Interactive Theorem Proving Matt Kaufmann
Libristo kód: 01656145
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, június 2010
This book constitutes the refereed proceedings of the First International Conference on Interactive... Teljes leírás
? points 300 b
43 856 Ft
Beszállítói készleten Küldés 9-15 napon belül

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

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

Jak vznikla a hospodařila TJ Letové sporty Tleskač v Praze / Könyv Puha kötésű
common.buy 2 413 Ft
Obstbau E. Voges / Könyv Puha kötésű
common.buy 6 949 Ft
Rolle des Filmkameramanns bei der Produktion von Spielfilmen - Exemplarisch dargestellt anhand der Arbeit des Kameramanns Frank Griebe Torben Asmussen / Könyv Puha kötésű
common.buy 15 569 Ft
Europaisches Wettbewerbsrecht am Beispiel der Fernsehrechtsproblematik der UEFA Champions League und der FIFA WM 2006 Tobias Schoener / Könyv Puha kötésű
common.buy 6 262 Ft
Test der verschiedenen Proteinanteile Serge Munganga Kabate / Könyv Puha kötésű
common.buy 15 172 Ft
Aristoteles: Metaphysik IX, 1-3. Vom Wesen und Wirklichkeit der Kraft (Sommersemester 1931). Buch.IX Martin Heidegger / Könyv Puha kötésű
common.buy 11 282 Ft
Nitra Vladimír Barta / Könyv Kemény kötésű
common.buy 11 998 Ft
DF 81 ALEJ MAGNO IV INDIA A BABILONIA / Könyv Könyv
common.buy 3 687 Ft
Nach Spanien Und Portugal H. Obersteiner / Könyv Puha kötésű
common.buy 10 373 Ft
Криптвоюматика 2.0. Стань сыном маминой подруги Алексей Марков / Könyv Kemény kötésű
common.buy 6 497 Ft
Toplistás
Profi-Nonogramm 3er-Band. Nr.16. Nr.16 Conceptis Puzzles / Könyv Puha kötésű
common.buy 3 512 Ft
Haltestelle Brussel Hermann Bausinger / Könyv Puha kötésű
common.buy 7 595 Ft
Contribution a la lutte contre la cybercriminalite des jeunes Dinde Fernand Agbo / Könyv Puha kötésű
common.buy 24 129 Ft
Politische Gesprache der Toten Anonymus / Könyv Puha kötésű
common.buy 13 811 Ft
Dibujar : trucos, técnicas y recursos para la inspiración visual Helen Birch / Könyv Puha kötésű
common.buy 5 270 Ft
Solo-Klaviermusik Vol.6 Miklos Spanyi / Hanganyagok Audio CD
common.buy 6 220 Ft
Une Page de l'Histoire de Napoleon 1er Le Moine-O / Könyv Puha kötésű
common.buy 5 925 Ft
Quelques Mots Sur La Maxime: 'le Roi Regne Et Ne Gouverne Pas' Sans Auteur / Könyv Puha kötésű
common.buy 4 859 Ft

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.

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ő Matt Kaufmann, Lawrence C. Paulson
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2010
Oldalszám 495
EAN 9783642140518
ISBN 3642140513
Libristo kód 01656145
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 759
Méretek 155 x 238 x 33

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
Orvostudomány és ápolás > Klinikai és belorvostan > Betegségek és rendellenességek > Immunológia
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 > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
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 > 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
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 and Program Development Yves Bertot / Könyv Kemény kötésű
common.buy 46 578 Ft
Interactive Video Riad Hammoud / Könyv Puha kötésű
common.buy 39 624 Ft
Experimental Robotics Oussama Khatib / Könyv Puha kötésű
common.buy 79 133 Ft
Interactive Theorem Proving Marko Van Eekelen / Könyv Puha kötésű
common.buy 21 277 Ft
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Könyv Puha kötésű
common.buy 21 277 Ft
You Bantering Me? Chris Hughes / Könyv Puha kötésű
common.buy 6 396 Ft
Homo Sapiens to Homo 'X' Lawrence Nyaguti Ochieng / Könyv Kemény kötésű
common.buy 12 671 Ft
Rite of Rejection Sarah Negovetich / Könyv Puha kötésű
common.buy 4 651 Ft
Oblomov Ivan Aleksandrovich Goncharov / Könyv Puha kötésű
common.buy 3 950 Ft
Long Life in Florida Hilton Hotema / Könyv Puha kötésű
common.buy 12 071 Ft
We Were Free-Range: An American Childhood 1950-1962 John Erwin / Könyv Puha kötésű
common.buy 4 988 Ft
Annihilation Jeff VanderMeer / Könyv Puha kötésű
common.buy 5 048 Ft
Classification, Disease and Evidence Philippe Huneman / Könyv Puha kötésű
common.buy 19 870 Ft
From The Sun To The Stars James B. Kaler / Könyv Puha kötésű
common.buy 13 170 Ft
Kaylynn's Reading Log Martha Day Zschock / Könyv Puha kötésű
common.buy 3 276 Ft
Village Heroes Meet the Dragon Patti Vincent / Könyv Puha kötésű
common.buy 8 094 Ft
Camping Keith Baker / Könyv Puha kötésű
common.buy 2 238 Ft
Sleeping on a Wire David Grossman / Könyv Puha kötésű
common.buy 7 872 Ft
The Last Midwife Sandra Dallas / Könyv Puha kötésű
common.buy 8 149 Ft
Evolving Human Nutrition Stanley Ulijaszek / Könyv Kemény kötésű
common.buy 63 928 Ft
Chakradance Natalie Southgate / E-könyv Adobe ePub DRM
common.buy 5 883 Ft
Uncertainty in Ai: A Journal Through Possible Worlds LAWRY JONATHAN / Könyv Kemény kötésű
common.buy 47 016 Ft
Hidden in Blackness Adaurennaya C Onyewuenyi / Könyv Kemény kötésű
common.buy 47 482 Ft
PRINCE WITHOUT SORROW WIJESEKARA MAITHREE / Könyv Puha kötésű
common.buy 5 284 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