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

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
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, srpen 2011
This book constitutes the refereed proceedings of the Second International Conference on Interactive... 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

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

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 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 Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2011
Počet stran 383
EAN 9783642228629
ISBN 3642228623
Libristo kód 01658528
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 605
Rozměry 155 x 235 x 23

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 > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
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 > 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
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č
Interactive Theorem Proving Matt Kaufmann / Kniha Brožovaná
common.buy 2 675 Kč
Interactive Video Riad Hammoud / Kniha Brožovaná
common.buy 2 357 Kč
Interactive Theorem Proving and Program Development Yves Bertot / Kniha Pevná
common.buy 2 762 Kč
Toward the End of the Century: Essays Into Poetry Wayne Dodd / Kniha Brožovaná
common.buy 504 Kč
Life in the Ring: Lessons & Inspiration from the Sport of Boxing John E. Oden / Kniha Brožovaná
common.buy 318 Kč
Top
Kingdom, Vol. 2 Yasuhisa Hara / Kniha Brožovaná
common.buy 273 Kč
Race and Redemption Jane Samson / Kniha Brožovaná
common.buy 1 155 Kč
Moments With The King: A Treasury Of Devotional Essays To Build And Strengthen Your Faith Kirby D Jones / Kniha Brožovaná
common.buy 299 Kč
Understanding the I Ching: Restoring a Brilliant, Ancient Culture Alfred Huang / Kniha Brožovaná
common.buy 321 Kč
The Duties of Parents John Charles Ryle / Kniha Brožovaná
common.buy 154 Kč
Flows, Energetics, and Waves: Mathematical Applications: Physical Sciences and Timothy S Margulies / Kniha Brožovaná
common.buy 1 043 Kč
China's Information Control Practices and the Implications for the United States Economic and Security Review Commission / Kniha Brožovaná
common.buy 402 Kč
Finding Father Mary Ann Loewen / Kniha Brožovaná
common.buy 589 Kč
Foundations of Paleoecology S. Kathleen Lyons / Kniha Pevná
common.buy 4 175 Kč
Levně
The Art of Lying: A Moral Guide on How to Properly Lie, Cheat, Deceive, and Manipulate Sally Fairfax / Kniha Brožovaná
common.buy 109 Kč
Linguistics and Cross Linguistics issues in translating English Media Kais Kadhim / Kniha Brožovaná
common.buy 1 135 Kč
Firefighters / Kniha Brožovaná
common.buy 210 Kč
Mastering Reinforcement Learning with Python Enes Bilgin / Kniha Brožovaná
common.buy 1 143 Kč
Architecting High-Performance Embedded Systems Jim Ledin / Kniha Brožovaná
common.buy 1 167 Kč
Mortimer: Rat Race to Space Joan Marie Galat / Kniha Brožovaná
common.buy 239 Kč
Cartoons That Saved the World Tom Ellen / Kniha Brožovaná
common.buy 197 Kč
Top
How Big Things Get Done Dan Gardner / Kniha Pevná
common.buy 482 Kč
Richard II Tom Wheelwright / Audiokniha MP3
common.buy 365 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