Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Interactive Theorem Proving

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Interactive Theorem Proving Lennart Beringer
Libristo kód: 01661818
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, júl 2012
This book constitutes the thoroughly refereed proceedings of the Third International Conference on I... Celý popis
? points 135 b
55.77 €
Skladom u dodávateľa v malom množstve Odosielame za 13-18 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Remedios naturales para síntomas habituales : guía de plantas medicinales, alimentos y estilo de vida para distintas dolencias Paula Jiménez Fonseca / Kniha Brožovaná
common.buy 26.97 €
Se débrouiller en néerlandais vite fait bien fait ! VASSEUR Kniha Brožovaná
common.buy 7.06 €
ORACLES CHALDAIQUES GEMISTE PLETHON Kniha binding.
common.buy 48.29 €
REGIA AERONAUTICA - Raid e missioni speciali Robert Robison / Kniha Brožovaná
common.buy 14.74 €
EL SORPRENDENTE JESUS DE MARCOS CASTRO SANCHEZ / Kniha Brožovaná
common.buy 32.73 €
Pokémon - Coloriages extraordinaires / Kniha Brožovaná
common.buy 6.96 €
Fantastyczna Czwórka. Tom 1 Opracowanie zbiorowe / Kniha Pevná
common.buy 29.30 €
BILBAO Y SAN SEBASTIAN DE CERCA 3 Paul Stafford / Kniha Kniha
common.buy 15.65 €
Ronaldo - Fotbalové ikony (komiks) Katarína Jančová / Kniha Brožovaná
common.buy 9.49 €
cluny musee national moyen age Kniha Kniha
common.buy 28.49 €
Einleitung In Die Konchyliologie, Oder Grundzuge Der Naturgeschichte Der Weichthiere (1853) George Johnston / Kniha Brožovaná
common.buy 49.00 €
Dunkelgraf Ludwig Bechstein / Kniha Brožovaná
common.buy 35.66 €
Estudio fenomenologico de las caracteristicas socio afectivas Marcela Victoria Marrero Calvo / Kniha Brožovaná
common.buy 48.90 €
Essais d'Impressions En Couleurs SANS AUTEUR / Kniha Brožovaná
common.buy 13.03 €
Real-Enzyklopädie für protestantische Theologie und Kirche ohne Autor / Kniha Brožovaná
common.buy 78.10 €
Spisy III Eseje, Další pátrání, Dějiny věčnosti Jorge Luis Borges / Kniha Pevná
common.buy 13.94 €
Obra-Jogo Rocha Aldene / Kniha Brožovaná
common.buy 48.90 €
Koshiki Contact Karatedo Olaf Lotze-Leoni / Kniha Brožovaná
common.buy 9.08 €
Internationale Projektfinanzierung Carola Schulz / Kniha Brožovaná
common.buy 33.94 €
Patentrecherche - Technologieuberwachung durch kunstliche Intelligenz Katharina Heil / Kniha Brožovaná
common.buy 17.07 €
Filmanalyse In this world unter der Betrachtung von Grunden fur Migration in Verbindung mit der Tsunami-Katastrophe 2004 Stefan Wurm / Kniha Brožovaná
common.buy 16.16 €
August Hermann Francke - Sein Leben Und Wirken ALS Pietistischer P dagoge Susanne Potthast / Kniha Brožovaná
common.buy 16.16 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Interactive Theorem Proving
Autor Lennart Beringer, Amy Felty
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2012
Počet strán 419
EAN 9783642323461
ISBN 3642323464
Libristo kód 01661818
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 650
Rozmery 155 x 235 x 25

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Výpočtové a informačné technológie > Informatika > Interakcia človek – počítač > Dizajn používateľského rozhrania a použiteľnosť
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Počítačové siete a komunikácia > Zabezpečenie siete
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Výpočtové a informačné technológie > Počítačová bezpečnosť
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Interactive Technologies and Sociotechnical Systems Hongbin Zha / Kniha Brožovaná
common.buy 55.77 €
Combinatorial Mathematics III A.P. Street / Kniha Brožovaná
common.buy 36.17 €
Interactive Theorem Proving and Program Development Yves Bertot / Kniha Pevná
common.buy 120.75 €
Psychoanalysis, Sleep And Dreams Andre Tridon / Kniha Brožovaná
common.buy 23.74 €
Secret Geometry of the Dollar Ken McGrath / Kniha Brožovaná
common.buy 21.72 €
Allergies Stuart H Young MD / Kniha Brožovaná
common.buy 18.28 €
Animals Word Scramble: Book 1 Michael Stachiw / Kniha Brožovaná
common.buy 8.98 €
Rambling Rhymes Clare Crooke / Kniha Brožovaná
common.buy 9.79 €
What Is Personification? Robin Johnson / Kniha Brožovaná
common.buy 9.69 €
Human Rights and the Criminal Justice System Anthony Amatrudo / Kniha Brožovaná
common.buy 73.76 €
Top
The Neville Goddard Collection Neville Goddard / Kniha Brožovaná
common.buy 25.56 €
Cognitive Psychology Eysenck / Kniha Brožovaná
common.buy 64.06 €
Tarot Spreads Jeffrey Price / Kniha Brožovaná
common.buy 14.74 €
KING of kings and LORD of lords Bible Lesson 1 K. L. Rich / Kniha Brožovaná
common.buy 11.21 €
How to Find a Niche Market...And Make Money M Morgan / Kniha Brožovaná
common.buy 7.27 €
Medical Marijuana: Patient Guidebook Dr Stephen Blythe / Kniha Brožovaná
common.buy 6.36 €
The Long List Anthology Volume 2: More Stories From the Hugo Award Nomination List David Steffen / Kniha Brožovaná
common.buy 17.17 €
The Analysis of Mind Bertrand Russell / Kniha Brožovaná
common.buy 14.95 €
Criminal Procedure, Loose-Leaf Version Joel Samaha / Kniha Brožovaná
common.buy 196.34 €
Winged with Longing for Better Things Sylvia Sweeney / Kniha Brožovaná
common.buy 15.45 €
Typography Essentials Revised and Updated Ina Saltz / Kniha Brožovaná
common.buy 18.99 €
How to Read Chinese Drama Patricia Sieber / Kniha Brožovaná
common.buy 44.96 €
Infrastructure We Ride On Joseph (City College of New York USA) Berechman / Kniha Brožovaná
common.buy 106.20 €
Head Strong Michael D. Matthews / Kniha Pevná
common.buy 46.27 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet