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 gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 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

Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Interactive Theorem Proving Marko Van Eekelen
Libristo kód: 01658528
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, augusztus 2011
This book constitutes the refereed proceedings of the Second International Conference on Interactive... Teljes leírás
? points 145 b
21 734 Ft
Beszállítói készleten alacsony példányszámban Küldés 13-18 napon belül

Akár 30 napos visszaküldési lehetőség

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

Pferdekrankheiten Wilfried Bellinghausen / Könyv Puha kötésű
common.buy 7 100 Ft
Da soli per forza. Il ritiro sociale in adolescenza Michele Procacci / Könyv Puha kötésű
common.buy 5 678 Ft
Spirou und Fantasio Gesamtausgabe Neuedition 1 André Franquin / Könyv Kemény kötésű
common.buy 11 412 Ft
Black Hawk Down Tonanalyse - Utopie oder Realismus Timo Leich / Könyv Puha kötésű
common.buy 6 410 Ft
Deutschland, Europa und der Euro? Wolfgang K. E. Wittmann / Könyv Puha kötésű
common.buy 3 595 Ft
Chromatic herbarium Massimo Gardone / Könyv Puha kötésű
common.buy 16 655 Ft
Albert Einstein Johannes Wickert / Könyv Puha kötésű
common.buy 3 623 Ft
Designer's guide couleur n.3 shi bukawa et takahashi ikuyoshi et yumi Könyv Könyv
common.buy 8 989 Ft
Walt Disney Captivating History / Könyv Kemény kötésű
common.buy 8 630 Ft
Czciciele Ognia, Czasu I Szatana: Zaratusztrianizm, Zurwanizm, Anahityzm, Mitraizm, Manicheizm, Mazdakizm, Mazdaznanizm, Jazydyzm Andrzej Juliusz Sarwa / Könyv Puha kötésű
common.buy 3 519 Ft
BROCKHAUSEN Värityskirja Vol. 5 - Värityskirja: Merirosvo Dortje Golldack / Könyv Puha kötésű
common.buy 4 761 Ft
Espectroscopia Fotoelectrónica de rayos X (XPS) - Un fundamento Pedro José Rodríguez Sulbarán / Könyv Puha kötésű
common.buy 17 648 Ft
"Wir und Ihr". Fremdenfeindliches Gedankengut in der postmodernen Gesellschaft und Copingstrategien der Sozialen Arbeit Belinda Peter / Könyv Puha kötésű
common.buy 6 410 Ft
Matemáticas transversales, 5 y 6 Educación Primaria Rosario María González Vigil / Könyv Puha kötésű
common.buy 4 870 Ft
Ridiculum Vitae Orta / Könyv Puha kötésű
common.buy 4 870 Ft
Terror Ferdinand von Schirach / Könyv Puha kötésű
common.buy 4 327 Ft

This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. §The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, 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ő Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2011
Oldalszám 383
EAN 9783642228629
ISBN 3642228623
Libristo kód 01658528
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 605
Méretek 155 x 235 x 23

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
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 Technologies and Sociotechnical Systems Hongbin Zha / Könyv Puha kötésű
common.buy 21 734 Ft
Interactive Theorem Proving Matt Kaufmann / Könyv Puha kötésű
common.buy 44 893 Ft
Interactive Video Riad Hammoud / Könyv Puha kötésű
common.buy 40 562 Ft
Interactive Theorem Proving and Program Development Yves Bertot / Könyv Kemény kötésű
common.buy 47 680 Ft
Toward the End of the Century: Essays Into Poetry Wayne Dodd / Könyv Puha kötésű
common.buy 8 073 Ft
Life in the Ring: Lessons & Inspiration from the Sport of Boxing John E. Oden / Könyv Puha kötésű
common.buy 5 664 Ft
Toplistás
Kingdom, Vol. 2 Yasuhisa Hara / Könyv Puha kötésű
common.buy 4 568 Ft
Race and Redemption Jane Samson / Könyv Puha kötésű
common.buy 20 118 Ft
Moments With The King: A Treasury Of Devotional Essays To Build And Strengthen Your Faith Kirby D Jones / Könyv Puha kötésű
common.buy 5 092 Ft
Toplistás
Understanding the I Ching: Restoring a Brilliant, Ancient Culture Alfred Huang / Könyv Puha kötésű
common.buy 5 796 Ft
The Duties of Parents John Charles Ryle / Könyv Puha kötésű
common.buy 2 636 Ft
Flows, Energetics, and Waves: Mathematical Applications: Physical Sciences and Timothy S Margulies / Könyv Puha kötésű
common.buy 17 808 Ft
China's Information Control Practices and the Implications for the United States Economic and Security Review Commission / Könyv Puha kötésű
common.buy 6 859 Ft
Finding Father Mary Ann Loewen / Könyv Puha kötésű
common.buy 9 825 Ft
Foundations of Paleoecology S. Kathleen Lyons / Könyv Kemény kötésű
common.buy 66 835 Ft
Olcsón
The Art of Lying: A Moral Guide on How to Properly Lie, Cheat, Deceive, and Manipulate Sally Fairfax / Könyv Puha kötésű
common.buy 1 984 Ft
Linguistics and Cross Linguistics issues in translating English Media Kais Kadhim / Könyv Puha kötésű
common.buy 19 759 Ft
Firefighters / Könyv Puha kötésű
common.buy 3 774 Ft
Mastering Reinforcement Learning with Python Enes Bilgin / Könyv Puha kötésű
common.buy 19 381 Ft
Architecting High-Performance Embedded Systems Jim Ledin / Könyv Puha kötésű
common.buy 20 864 Ft
Mortimer: Rat Race to Space Joan Marie Galat / Könyv Puha kötésű
common.buy 4 001 Ft
Cartoons That Saved the World Tom Ellen / Könyv Puha kötésű
common.buy 3 368 Ft
Toplistás
How Big Things Get Done Dan Gardner / Könyv Kemény kötésű
common.buy 8 507 Ft
Richard II Tom Wheelwright / Hangoskönyv MP3
common.buy 5 527 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?