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

Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Interactive Theorem Proving Lennart Beringer
Libristo kód: 01661818
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, július 2012
This book constitutes the thoroughly refereed proceedings of the Third International Conference on I... Teljes leírás
? points 145 b
21 311 Ft
Beszállítói készleten alacsony példányszámban Küldés 13-18 napon belül

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

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

Remedios naturales para síntomas habituales : guía de plantas medicinales, alimentos y estilo de vida para distintas dolencias Paula Jiménez Fonseca / Könyv Puha kötésű
common.buy 9 586 Ft
Se débrouiller en néerlandais vite fait bien fait ! VASSEUR Könyv Puha kötésű
common.buy 2 505 Ft
ORACLES CHALDAIQUES GEMISTE PLETHON Könyv binding.
common.buy 17 147 Ft
REGIA AERONAUTICA - Raid e missioni speciali Robert Robison / Könyv Puha kötésű
common.buy 5 921 Ft
EL SORPRENDENTE JESUS DE MARCOS CASTRO SANCHEZ / Könyv Puha kötésű
common.buy 11 624 Ft
Pokémon - Coloriages extraordinaires / Könyv Puha kötésű
common.buy 2 477 Ft
Fantastyczna Czwórka. Tom 1 Opracowanie zbiorowe / Könyv Kemény kötésű
common.buy 10 390 Ft
BILBAO Y SAN SEBASTIAN DE CERCA 3 Paul Stafford / Könyv Könyv
common.buy 5 569 Ft
Ronaldo - Fotbalové ikony (komiks) Katarína Jančová / Könyv Puha kötésű
common.buy 3 795 Ft
cluny musee national moyen age Könyv Könyv
common.buy 10 126 Ft
Einleitung In Die Konchyliologie, Oder Grundzuge Der Naturgeschichte Der Weichthiere (1853) George Johnston / Könyv Puha kötésű
common.buy 19 685 Ft
Dunkelgraf Ludwig Bechstein / Könyv Puha kötésű
common.buy 13 833 Ft
Estudio fenomenologico de las caracteristicas socio afectivas Marcela Victoria Marrero Calvo / Könyv Puha kötésű
common.buy 18 996 Ft
Essais d'Impressions En Couleurs SANS AUTEUR / Könyv Puha kötésű
common.buy 5 218 Ft
Real-Enzyklopädie für protestantische Theologie und Kirche ohne Autor / Könyv Puha kötésű
common.buy 30 338 Ft
Spisy III Eseje, Další pátrání, Dějiny věčnosti Jorge Luis Borges / Könyv Kemény kötésű
common.buy 5 070 Ft
Obra-Jogo Rocha Aldene / Könyv Puha kötésű
common.buy 18 996 Ft
Koshiki Contact Karatedo Olaf Lotze-Leoni / Könyv Puha kötésű
common.buy 3 531 Ft
Internationale Projektfinanzierung Carola Schulz / Könyv Puha kötésű
common.buy 13 177 Ft
Patentrecherche - Technologieuberwachung durch kunstliche Intelligenz Katharina Heil / Könyv Puha kötésű
common.buy 6 637 Ft
Filmanalyse In this world unter der Betrachtung von Grunden fur Migration in Verbindung mit der Tsunami-Katastrophe 2004 Stefan Wurm / Könyv Puha kötésű
common.buy 6 272 Ft
August Hermann Francke - Sein Leben Und Wirken ALS Pietistischer P dagoge Susanne Potthast / Könyv Puha kötésű
common.buy 6 272 Ft

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics; program abstraction and logics; data structures and synthesis; security; (non-)termination and automata; program verification; theorem prover development; reasoning about program execution; and prover infrastructure and modeling styles.

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ő Lennart Beringer, Amy Felty
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2012
Oldalszám 419
EAN 9783642323461
ISBN 3642323464
Libristo kód 01661818
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 650
Méretek 155 x 235 x 25

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éptudomány > Ember-számítógép interakció > Használói interfész dizájn és használhatóság
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 Technologies and Sociotechnical Systems Hongbin Zha / Könyv Puha kötésű
common.buy 21 311 Ft
Combinatorial Mathematics III A.P. Street / Könyv Puha kötésű
common.buy 13 953 Ft
Interactive Theorem Proving and Program Development Yves Bertot / Könyv Kemény kötésű
common.buy 46 653 Ft
Psychoanalysis, Sleep And Dreams Andre Tridon / Könyv Puha kötésű
common.buy 9 572 Ft
Secret Geometry of the Dollar Ken McGrath / Könyv Puha kötésű
common.buy 8 689 Ft
Allergies Stuart H Young MD / Könyv Puha kötésű
common.buy 7 418 Ft
Animals Word Scramble: Book 1 Michael Stachiw / Könyv Puha kötésű
common.buy 3 619 Ft
Rambling Rhymes Clare Crooke / Könyv Puha kötésű
common.buy 3 956 Ft
What Is Personification? Robin Johnson / Könyv Puha kötésű
common.buy 3 739 Ft
Human Rights and the Criminal Justice System Anthony Amatrudo / Könyv Puha kötésű
common.buy 29 358 Ft
Toplistás
The Neville Goddard Collection Neville Goddard / Könyv Puha kötésű
common.buy 10 288 Ft
Cognitive Psychology Eysenck / Könyv Puha kötésű
common.buy 26 090 Ft
Tarot Spreads Jeffrey Price / Könyv Puha kötésű
common.buy 6 156 Ft
KING of kings and LORD of lords Bible Lesson 1 K. L. Rich / Könyv Puha kötésű
common.buy 4 502 Ft
How to Find a Niche Market...And Make Money M Morgan / Könyv Puha kötésű
common.buy 2 930 Ft
Medical Marijuana: Patient Guidebook Dr Stephen Blythe / Könyv Puha kötésű
common.buy 2 579 Ft
The Long List Anthology Volume 2: More Stories From the Hugo Award Nomination List David Steffen / Könyv Puha kötésű
common.buy 6 947 Ft
The Analysis of Mind Bertrand Russell / Könyv Puha kötésű
common.buy 6 036 Ft
Criminal Procedure, Loose-Leaf Version Joel Samaha / Könyv Puha kötésű
common.buy 78 558 Ft
Winged with Longing for Better Things Sylvia Sweeney / Könyv Puha kötésű
common.buy 6 434 Ft
Typography Essentials Revised and Updated Ina Saltz / Könyv Puha kötésű
common.buy 8 444 Ft
How to Read Chinese Drama Patricia Sieber / Könyv Puha kötésű
common.buy 17 706 Ft
Infrastructure We Ride On Joseph (City College of New York USA) Berechman / Könyv Puha kötésű
common.buy 40 876 Ft
Head Strong Michael D. Matthews / Könyv Kemény kötésű
common.buy 17 193 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?