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 335 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 6 979 Ft
Da soli per forza. Il ritiro sociale in adolescenza Michele Procacci / Könyv Puha kötésű
common.buy 5 658 Ft
Spirou und Fantasio Gesamtausgabe Neuedition 1 André Franquin / Könyv Kemény kötésű
common.buy 11 196 Ft
Black Hawk Down Tonanalyse - Utopie oder Realismus Timo Leich / Könyv Puha kötésű
common.buy 6 288 Ft
Deutschland, Europa und der Euro? Wolfgang K. E. Wittmann / Könyv Puha kötésű
common.buy 3 527 Ft
Chromatic herbarium Massimo Gardone / Könyv Puha kötésű
common.buy 16 428 Ft
Albert Einstein Johannes Wickert / Könyv Puha kötésű
common.buy 3 554 Ft
Designer's guide couleur n.3 shi bukawa et takahashi ikuyoshi et yumi Könyv Könyv
common.buy 8 921 Ft
Walt Disney Captivating History / Könyv Kemény kötésű
common.buy 8 466 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 452 Ft
BROCKHAUSEN Värityskirja Vol. 5 - Värityskirja: Merirosvo Dortje Golldack / Könyv Puha kötésű
common.buy 4 671 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 313 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 288 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 745 Ft
Ridiculum Vitae Orta / Könyv Puha kötésű
common.buy 4 745 Ft
Toplistás
Terror Ferdinand von Schirach / Könyv Puha kötésű
common.buy 4 245 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 335 Ft
Interactive Theorem Proving Matt Kaufmann / Könyv Puha kötésű
common.buy 44 042 Ft
Interactive Video Riad Hammoud / Könyv Puha kötésű
common.buy 39 793 Ft
Interactive Theorem Proving and Program Development Yves Bertot / Könyv Kemény kötésű
common.buy 46 776 Ft
Toward the End of the Century: Essays Into Poetry Wayne Dodd / Könyv Puha kötésű
common.buy 7 966 Ft
Life in the Ring: Lessons & Inspiration from the Sport of Boxing John E. Oden / Könyv Puha kötésű
common.buy 5 394 Ft
Toplistás
Kingdom, Vol. 2 Yasuhisa Hara / Könyv Puha kötésű
common.buy 4 495 Ft
Race and Redemption Jane Samson / Könyv Puha kötésű
common.buy 19 560 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 4 996 Ft
Toplistás
Understanding the I Ching: Restoring a Brilliant, Ancient Culture Alfred Huang / Könyv Puha kötésű
common.buy 5 686 Ft
The Duties of Parents John Charles Ryle / Könyv Puha kötésű
common.buy 2 586 Ft
Flows, Energetics, and Waves: Mathematical Applications: Physical Sciences and Timothy S Margulies / Könyv Puha kötésű
common.buy 17 471 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 729 Ft
Finding Father Mary Ann Loewen / Könyv Puha kötésű
common.buy 9 639 Ft
Foundations of Paleoecology S. Kathleen Lyons / Könyv Kemény kötésű
common.buy 65 614 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 603 Ft
Linguistics and Cross Linguistics issues in translating English Media Kais Kadhim / Könyv Puha kötésű
common.buy 19 384 Ft
Firefighters / Könyv Puha kötésű
common.buy 3 485 Ft
Mastering Reinforcement Learning with Python Enes Bilgin / Könyv Puha kötésű
common.buy 19 014 Ft
Architecting High-Performance Embedded Systems Jim Ledin / Könyv Puha kötésű
common.buy 20 469 Ft
Mortimer: Rat Race to Space Joan Marie Galat / Könyv Puha kötésű
common.buy 3 925 Ft
Cartoons That Saved the World Tom Ellen / Könyv Puha kötésű
common.buy 3 304 Ft
How Big Things Get Done Dan Gardner / Könyv Kemény kötésű
common.buy 8 448 Ft
Richard II Tom Wheelwright / Hangoskönyv MP3
common.buy 5 348 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?