Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Interactive Theorem Proving

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

Język AngielskiAngielski
Książka Miękka
Książka Interactive Theorem Proving Marko Van Eekelen
Kod Libristo: 01658528
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, sierpień 2011
This book constitutes the refereed proceedings of the Second International Conference on Interactive... Cały opis
? points 142 b
Gwarancja
najlepszej
ceny ▸
247.90 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

30 dni na zwrot towaru

Klienci kupili także

Pferdekrankheiten Wilfried Bellinghausen / Książka Miękka
common.buy 76.07 zł
Da soli per forza. Il ritiro sociale in adolescenza Michele Procacci / Książka Miękka
common.buy 64.33 zł
Spirou und Fantasio Gesamtausgabe Neuedition 1 André Franquin / Książka Twarda
common.buy 121.43 zł
Black Hawk Down Tonanalyse - Utopie oder Realismus Timo Leich / Książka Miękka
common.buy 68.64 zł
Deutschland, Europa und der Euro? Wolfgang K. E. Wittmann / Książka Miękka
common.buy 38.33 zł
Chromatic herbarium Massimo Gardone / Książka Miękka
common.buy 285.94 zł
Albert Einstein Johannes Wickert / Książka Miękka
common.buy 38.73 zł
Designer's guide couleur n.3 shi bukawa et takahashi ikuyoshi et yumi Książka Książka
common.buy 106.18 zł
Walt Disney Captivating History / Książka Twarda
common.buy 91.83 zł
Czciciele Ognia, Czasu I Szatana: Zaratusztrianizm, Zurwanizm, Anahityzm, Mitraizm, Manicheizm, Mazdakizm, Mazdaznanizm, Jazydyzm Andrzej Juliusz Sarwa / Książka Miękka
common.buy 38.23 zł
BROCKHAUSEN Värityskirja Vol. 5 - Värityskirja: Merirosvo Dortje Golldack / Książka Miękka
common.buy 51.48 zł
Espectroscopia Fotoelectrónica de rayos X (XPS) - Un fundamento Pedro José Rodríguez Sulbarán / Książka Miękka
common.buy 188.68 zł
"Wir und Ihr". Fremdenfeindliches Gedankengut in der postmodernen Gesellschaft und Copingstrategien der Sozialen Arbeit Belinda Peter / Książka Miękka
common.buy 68.64 zł
Matemáticas transversales, 5 y 6 Educación Primaria Rosario María González Vigil / Książka Miękka
common.buy 56.80 zł
Ridiculum Vitae Orta / Książka Miękka
common.buy 56.80 zł
TOP
Terror Ferdinand von Schirach / Książka Miękka
common.buy 46.46 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Interactive Theorem Proving
Autor Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
Język Angielski
Oprawa Książka - Miękka
Data wydania 2011
Liczba stron 383
EAN 9783642228629
ISBN 3642228623
Kod Libristo 01658528
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 605
Wymiary 155 x 235 x 23

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Interactive Technologies and Sociotechnical Systems Hongbin Zha / Książka Miękka
common.buy 247.90 zł
Interactive Theorem Proving Matt Kaufmann / Książka Miękka
common.buy 490.39 zł
Interactive Video Riad Hammoud / Książka Miękka
common.buy 436.59 zł
Interactive Theorem Proving and Program Development Yves Bertot / Książka Twarda
common.buy 512.27 zł
Toward the End of the Century: Essays Into Poetry Wayne Dodd / Książka Miękka
common.buy 92.33 zł
Life in the Ring: Lessons & Inspiration from the Sport of Boxing John E. Oden / Książka Miękka
common.buy 59.01 zł
TOP
Kingdom, Vol. 2 Yasuhisa Hara / Książka Miękka
common.buy 47.87 zł
Race and Redemption Jane Samson / Książka Miękka
common.buy 214.27 zł
Moments With The King: A Treasury Of Devotional Essays To Build And Strengthen Your Faith Kirby D Jones / Książka Miękka
common.buy 55.19 zł
Understanding the I Ching: Restoring a Brilliant, Ancient Culture Alfred Huang / Książka Miękka
common.buy 62.72 zł
The Duties of Parents John Charles Ryle / Książka Miękka
common.buy 28.59 zł
Flows, Energetics, and Waves: Mathematical Applications: Physical Sciences and Timothy S Margulies / Książka Miękka
common.buy 192.70 zł
China's Information Control Practices and the Implications for the United States Economic and Security Review Commission / Książka Miękka
common.buy 74.06 zł
Finding Father Mary Ann Loewen / Książka Miękka
common.buy 107.68 zł
Foundations of Paleoecology S. Kathleen Lyons / Książka Twarda
common.buy 763.09 zł
Tanie
The Art of Lying: A Moral Guide on How to Properly Lie, Cheat, Deceive, and Manipulate Sally Fairfax / Książka Miękka
common.buy 19.06 zł
Linguistics and Cross Linguistics issues in translating English Media Kais Kadhim / Książka Miękka
common.buy 211.26 zł
Firefighters / Książka Miękka
common.buy 38.53 zł
Mastering Reinforcement Learning with Python Enes Bilgin / Książka Miękka
common.buy 210.36 zł
Architecting High-Performance Embedded Systems Jim Ledin / Książka Miękka
common.buy 226.52 zł
Mortimer: Rat Race to Space Joan Marie Galat / Książka Miękka
common.buy 44.35 zł
Cartoons That Saved the World Tom Ellen / Książka Miękka
common.buy 36.93 zł
TOP
How Big Things Get Done Dan Gardner / Książka Twarda
common.buy 97.05 zł
Richard II Tom Wheelwright / Audiobook MP3
common.buy 63.92 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo