Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červenec 2012
This book constitutes the thoroughly refereed proceedings of the Third International Conference on I... Celý popis
? points 135 b
1 352 Kč
Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

30 dní na vrácení zboží

Zákazníci také koupili

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 654 Kč
Se débrouiller en néerlandais vite fait bien fait ! VASSEUR Kniha Brožovaná
common.buy 171 Kč
ORACLES CHALDAIQUES GEMISTE PLETHON Kniha binding.
common.buy 1 170 Kč
REGIA AERONAUTICA - Raid e missioni speciali Robert Robison / Kniha Brožovaná
common.buy 339 Kč
EL SORPRENDENTE JESUS DE MARCOS CASTRO SANCHEZ / Kniha Brožovaná
common.buy 793 Kč
Pokémon - Coloriages extraordinaires / Kniha Brožovaná
common.buy 169 Kč
Fantastyczna Czwórka. Tom 1 Opracowanie zbiorowe / Kniha Pevná
common.buy 709 Kč
BILBAO Y SAN SEBASTIAN DE CERCA 3 Paul Stafford / Kniha Kniha
common.buy 325 Kč
Ronaldo - Fotbalové ikony (komiks) Katarína Jančová / Kniha Brožovaná
common.buy 239 Kč
cluny musee national moyen age Kniha Kniha
common.buy 691 Kč
Einleitung In Die Konchyliologie, Oder Grundzuge Der Naturgeschichte Der Weichthiere (1853) George Johnston / Kniha Brožovaná
common.buy 1 186 Kč
Dunkelgraf Ludwig Bechstein / Kniha Brožovaná
common.buy 813 Kč
Estudio fenomenologico de las caracteristicas socio afectivas Marcela Victoria Marrero Calvo / Kniha Brožovaná
common.buy 1 115 Kč
Essais d'Impressions En Couleurs SANS AUTEUR / Kniha Brožovaná
common.buy 315 Kč
Real-Enzyklopädie für protestantische Theologie und Kirche ohne Autor / Kniha Brožovaná
common.buy 1 782 Kč
Spisy III Eseje, Další pátrání, Dějiny věčnosti Jorge Luis Borges / Kniha Pevná
common.buy 314 Kč
Obra-Jogo Rocha Aldene / Kniha Brožovaná
common.buy 1 115 Kč
Koshiki Contact Karatedo Olaf Lotze-Leoni / Kniha Brožovaná
common.buy 207 Kč
Internationale Projektfinanzierung Carola Schulz / Kniha Brožovaná
common.buy 774 Kč
Patentrecherche - Technologieuberwachung durch kunstliche Intelligenz Katharina Heil / Kniha Brožovaná
common.buy 389 Kč
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 369 Kč
August Hermann Francke - Sein Leben Und Wirken ALS Pietistischer P dagoge Susanne Potthast / Kniha Brožovaná
common.buy 369 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Interactive Theorem Proving
Autor Lennart Beringer, Amy Felty
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2012
Počet stran 419
EAN 9783642323461
ISBN 3642323464
Libristo kód 01661818
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 650
Rozměry 155 x 235 x 25

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Výpočetní a informační technologie > Informatika > Interakce člověk – počítač > Design uživatelského rozhraní a použitelnost
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Počítačové sítě a komunikace > Zabezpečení sítě
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Výpočetní a informační technologie > Počítačová bezpečnost
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Interactive Technologies and Sociotechnical Systems Hongbin Zha / Kniha Brožovaná
common.buy 1 352 Kč
Combinatorial Mathematics III A.P. Street / Kniha Brožovaná
common.buy 828 Kč
Interactive Theorem Proving and Program Development Yves Bertot / Kniha Pevná
common.buy 2 762 Kč
Psychoanalysis, Sleep And Dreams Andre Tridon / Kniha Brožovaná
common.buy 576 Kč
Secret Geometry of the Dollar Ken McGrath / Kniha Brožovaná
common.buy 526 Kč
Allergies Stuart H Young MD / Kniha Brožovaná
common.buy 444 Kč
Animals Word Scramble: Book 1 Michael Stachiw / Kniha Brožovaná
common.buy 217 Kč
Rambling Rhymes Clare Crooke / Kniha Brožovaná
common.buy 237 Kč
What Is Personification? Robin Johnson / Kniha Brožovaná
common.buy 221 Kč
Human Rights and the Criminal Justice System Anthony Amatrudo / Kniha Brožovaná
common.buy 1 787 Kč
Top
The Neville Goddard Collection Neville Goddard / Kniha Brožovaná
common.buy 588 Kč
Cognitive Psychology Eysenck / Kniha Brožovaná
common.buy 1 551 Kč
Tarot Spreads Jeffrey Price / Kniha Brožovaná
common.buy 358 Kč
KING of kings and LORD of lords Bible Lesson 1 K. L. Rich / Kniha Brožovaná
common.buy 271 Kč
How to Find a Niche Market...And Make Money M Morgan / Kniha Brožovaná
common.buy 176 Kč
Medical Marijuana: Patient Guidebook Dr Stephen Blythe / Kniha Brožovaná
common.buy 154 Kč
The Long List Anthology Volume 2: More Stories From the Hugo Award Nomination List David Steffen / Kniha Brožovaná
common.buy 416 Kč
The Analysis of Mind Bertrand Russell / Kniha Brožovaná
common.buy 362 Kč
Criminal Procedure, Loose-Leaf Version Joel Samaha / Kniha Brožovaná
common.buy 4 756 Kč
Winged with Longing for Better Things Sylvia Sweeney / Kniha Brožovaná
common.buy 374 Kč
Typography Essentials Revised and Updated Ina Saltz / Kniha Brožovaná
common.buy 459 Kč
How to Read Chinese Drama Patricia Sieber / Kniha Brožovaná
common.buy 1 088 Kč
Infrastructure We Ride On Joseph (City College of New York USA) Berechman / Kniha Brožovaná
common.buy 2 438 Kč
Head Strong Michael D. Matthews / Kniha Pevná
common.buy 1 071 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet