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

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Interactive Theorem Proving Marko Van Eekelen
Libristo kód: 01658528
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, august 2011
This book constitutes the refereed proceedings of the Second International Conference on Interactive... 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

Pferdekrankheiten Wilfried Bellinghausen / Kniha Brožovaná
common.buy 17.88 €
Da soli per forza. Il ritiro sociale in adolescenza Michele Procacci / Kniha Brožovaná
common.buy 15.86 €
Spirou und Fantasio Gesamtausgabe Neuedition 1 André Franquin / Kniha Pevná
common.buy 28.59 €
Black Hawk Down Tonanalyse - Utopie oder Realismus Timo Leich / Kniha Brožovaná
common.buy 16.16 €
Deutschland, Europa und der Euro? Wolfgang K. E. Wittmann / Kniha Brožovaná
common.buy 8.98 €
Chromatic herbarium Massimo Gardone / Kniha Brožovaná
common.buy 67.39 €
Albert Einstein Johannes Wickert / Kniha Brožovaná
common.buy 9.08 €
Designer's guide couleur n.3 shi bukawa et takahashi ikuyoshi et yumi Kniha Kniha
common.buy 25.05 €
Walt Disney Captivating History / Kniha Pevná
common.buy 20.30 €
Czciciele Ognia, Czasu I Szatana: Zaratusztrianizm, Zurwanizm, Anahityzm, Mitraizm, Manicheizm, Mazdakizm, Mazdaznanizm, Jazydyzm Andrzej Juliusz Sarwa / Kniha Brožovaná
common.buy 8.48 €
BROCKHAUSEN Värityskirja Vol. 5 - Värityskirja: Merirosvo Dortje Golldack / Kniha Brožovaná
common.buy 11.51 €
Espectroscopia Fotoelectrónica de rayos X (XPS) - Un fundamento Pedro José Rodríguez Sulbarán / Kniha Brožovaná
common.buy 44.45 €
"Wir und Ihr". Fremdenfeindliches Gedankengut in der postmodernen Gesellschaft und Copingstrategien der Sozialen Arbeit Belinda Peter / Kniha Brožovaná
common.buy 16.16 €
Matemáticas transversales, 5 y 6 Educación Primaria Rosario María González Vigil / Kniha Brožovaná
common.buy 13.33 €
Ridiculum Vitae Orta / Kniha Brožovaná
common.buy 13.33 €
Top
Terror Ferdinand von Schirach / Kniha Brožovaná
common.buy 10.90 €

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.

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 Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2011
Počet strán 383
EAN 9783642228629
ISBN 3642228623
Libristo kód 01658528
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 605
Rozmery 155 x 235 x 23

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 > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
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 > 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
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 €
Interactive Theorem Proving Matt Kaufmann / Kniha Brožovaná
common.buy 110.44 €
Interactive Video Riad Hammoud / Kniha Brožovaná
common.buy 102.86 €
Interactive Theorem Proving and Program Development Yves Bertot / Kniha Pevná
common.buy 120.75 €
Toward the End of the Century: Essays Into Poetry Wayne Dodd / Kniha Brožovaná
common.buy 20.81 €
Life in the Ring: Lessons & Inspiration from the Sport of Boxing John E. Oden / Kniha Brožovaná
common.buy 13.94 €
Top
Kingdom, Vol. 2 Yasuhisa Hara / Kniha Brožovaná
common.buy 12.12 €
Race and Redemption Jane Samson / Kniha Brožovaná
common.buy 50.52 €
Moments With The King: A Treasury Of Devotional Essays To Build And Strengthen Your Faith Kirby D Jones / Kniha Brožovaná
common.buy 12.32 €
Understanding the I Ching: Restoring a Brilliant, Ancient Culture Alfred Huang / Kniha Brožovaná
common.buy 14.04 €
The Duties of Parents John Charles Ryle / Kniha Brožovaná
common.buy 6.36 €
Flows, Energetics, and Waves: Mathematical Applications: Physical Sciences and Timothy S Margulies / Kniha Brožovaná
common.buy 43.04 €
China's Information Control Practices and the Implications for the United States Economic and Security Review Commission / Kniha Brožovaná
common.buy 16.56 €
Finding Father Mary Ann Loewen / Kniha Brožovaná
common.buy 24.34 €
Foundations of Paleoecology S. Kathleen Lyons / Kniha Pevná
common.buy 172.39 €
Lacno
The Art of Lying: A Moral Guide on How to Properly Lie, Cheat, Deceive, and Manipulate Sally Fairfax / Kniha Brožovaná
common.buy 4.54 €
Linguistics and Cross Linguistics issues in translating English Media Kais Kadhim / Kniha Brožovaná
common.buy 49.81 €
Firefighters / Kniha Brožovaná
common.buy 9.08 €
Mastering Reinforcement Learning with Python Enes Bilgin / Kniha Brožovaná
common.buy 47.18 €
Architecting High-Performance Embedded Systems Jim Ledin / Kniha Brožovaná
common.buy 50.82 €
Mortimer: Rat Race to Space Joan Marie Galat / Kniha Brožovaná
common.buy 10.40 €
Cartoons That Saved the World Tom Ellen / Kniha Brožovaná
common.buy 8.68 €
Top
How Big Things Get Done Dan Gardner / Kniha Pevná
common.buy 21.41 €
Richard II Tom Wheelwright / Audiokniha MP3
common.buy 15.05 €

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