Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Interactive Theorem Proving

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Interactive Theorem Proving Marko Van Eekelen
Libristo kod: 01658528
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, kolovoz 2011
This book constitutes the refereed proceedings of the Second International Conference on Interactive... Cijeli opis
? points 135 b
55.91 €
Vanjske zalihe u manjem broju Šaljemo za 13-18 dana

Do 30 dana za povrat

Kupci su kupili i

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

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Interactive Theorem Proving
Autor Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2011
Broj stranica 383
EAN 9783642228629
ISBN 3642228623
Libristo kod 01658528
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 605
Dimenzije 155 x 235 x 23

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Interactive Technologies and Sociotechnical Systems Hongbin Zha / Knjiga Meki uvez
common.buy 55.91 €
Interactive Theorem Proving Matt Kaufmann / Knjiga Meki uvez
common.buy 115.88 €
Interactive Video Riad Hammoud / Knjiga Meki uvez
common.buy 103.12 €
Interactive Theorem Proving and Program Development Yves Bertot / Knjiga Tvrdi uvez
common.buy 121.05 €
Toward the End of the Century: Essays Into Poetry Wayne Dodd / Knjiga Meki uvez
common.buy 20.76 €
Life in the Ring: Lessons & Inspiration from the Sport of Boxing John E. Oden / Knjiga Meki uvez
common.buy 13.97 €
Top
Kingdom, Vol. 2 Yasuhisa Hara / Knjiga Meki uvez
common.buy 11.84 €
Race and Redemption Jane Samson / Knjiga Meki uvez
common.buy 50.64 €
Moments With The King: A Treasury Of Devotional Essays To Build And Strengthen Your Faith Kirby D Jones / Knjiga Meki uvez
common.buy 13.06 €
Top
Understanding the I Ching: Restoring a Brilliant, Ancient Culture Alfred Huang / Knjiga Meki uvez
common.buy 14.78 €
The Duties of Parents John Charles Ryle / Knjiga Meki uvez
common.buy 6.78 €
Flows, Energetics, and Waves: Mathematical Applications: Physical Sciences and Timothy S Margulies / Knjiga Meki uvez
common.buy 45.48 €
China's Information Control Practices and the Implications for the United States Economic and Security Review Commission / Knjiga Meki uvez
common.buy 17.52 €
Finding Father Mary Ann Loewen / Knjiga Meki uvez
common.buy 25.42 €
Foundations of Paleoecology S. Kathleen Lyons / Knjiga Tvrdi uvez
common.buy 172.71 €
Povoljno
The Art of Lying: A Moral Guide on How to Properly Lie, Cheat, Deceive, and Manipulate Sally Fairfax / Knjiga Meki uvez
common.buy 5.87 €
Linguistics and Cross Linguistics issues in translating English Media Kais Kadhim / Knjiga Meki uvez
common.buy 49.93 €
Firefighters / Knjiga Meki uvez
common.buy 9.11 €
Mastering Reinforcement Learning with Python Enes Bilgin / Knjiga Meki uvez
common.buy 49.73 €
Architecting High-Performance Embedded Systems Jim Ledin / Knjiga Meki uvez
common.buy 53.48 €
Mortimer: Rat Race to Space Joan Marie Galat / Knjiga Meki uvez
common.buy 10.42 €
Cartoons That Saved the World Tom Ellen / Knjiga Meki uvez
common.buy 8.70 €
How Big Things Get Done Dan Gardner / Knjiga Tvrdi uvez
common.buy 21.47 €
Richard II Tom Wheelwright / Audio knjiga MP3
common.buy 14.48 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?