Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Interactive Theorem Proving

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Interactive Theorem Proving Marko Van Eekelen
Koda Libristo: 01658528
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, avgust 2011
This book constitutes the refereed proceedings of the Second International Conference on Interactive... Celoten opis
? points 129 b
53.20 €
Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 13-18 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

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

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Interactive Theorem Proving
Avtor Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2011
Število strani 383
EAN 9783642228629
ISBN 3642228623
Koda Libristo 01658528
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 605
Mere 155 x 235 x 23

Kategorije

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Interactive Technologies and Sociotechnical Systems Hongbin Zha / Knjiga Mehka
common.buy 53.20 €
Interactive Theorem Proving Matt Kaufmann / Knjiga Mehka
common.buy 110.55 €
Interactive Video Riad Hammoud / Knjiga Mehka
common.buy 97.40 €
Interactive Theorem Proving and Program Development Yves Bertot / Knjiga Trda
common.buy 114.10 €
Toward the End of the Century: Essays Into Poetry Wayne Dodd / Knjiga Mehka
common.buy 19.82 €
Life in the Ring: Lessons & Inspiration from the Sport of Boxing John E. Oden / Knjiga Mehka
common.buy 13.14 €
Top
Kingdom, Vol. 2 Yasuhisa Hara / Knjiga Mehka
common.buy 11.02 €
Race and Redemption Jane Samson / Knjiga Mehka
common.buy 47.74 €
Moments With The King: A Treasury Of Devotional Essays To Build And Strengthen Your Faith Kirby D Jones / Knjiga Mehka
common.buy 12.33 €
Top
Understanding the I Ching: Restoring a Brilliant, Ancient Culture Alfred Huang / Knjiga Mehka
common.buy 14.05 €
The Duties of Parents John Charles Ryle / Knjiga Mehka
common.buy 6.36 €
Flows, Energetics, and Waves: Mathematical Applications: Physical Sciences and Timothy S Margulies / Knjiga Mehka
common.buy 43.08 €
China's Information Control Practices and the Implications for the United States Economic and Security Review Commission / Knjiga Mehka
common.buy 16.58 €
Finding Father Mary Ann Loewen / Knjiga Mehka
common.buy 24.37 €
Foundations of Paleoecology S. Kathleen Lyons / Knjiga Trda
common.buy 164.98 €
Poceni
The Art of Lying: A Moral Guide on How to Properly Lie, Cheat, Deceive, and Manipulate Sally Fairfax / Knjiga Mehka
common.buy 4.54 €
Linguistics and Cross Linguistics issues in translating English Media Kais Kadhim / Knjiga Mehka
common.buy 46.93 €
Firefighters / Knjiga Mehka
common.buy 8.69 €
Mastering Reinforcement Learning with Python Enes Bilgin / Knjiga Mehka
common.buy 47.23 €
Architecting High-Performance Embedded Systems Jim Ledin / Knjiga Mehka
common.buy 50.87 €
Mortimer: Rat Race to Space Joan Marie Galat / Knjiga Mehka
common.buy 9.90 €
Cartoons That Saved the World Tom Ellen / Knjiga Mehka
common.buy 8.08 €
Top
How Big Things Get Done Dan Gardner / Knjiga Trda
common.buy 19.92 €
Richard II Tom Wheelwright / Zvočnica MP3
common.buy 13.44 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?