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 Kurier 12.99 zł Punkt DPD 11.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 141 b
Gwarancja
najlepszej
ceny ▸
252.66 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Pferdekrankheiten Wilfried Bellinghausen / Książka Miękka
common.buy 77.59 zł
Da soli per forza. Il ritiro sociale in adolescenza Michele Procacci / Książka Miękka
common.buy 65.41 zł
Spirou und Fantasio Gesamtausgabe Neuedition 1 André Franquin / Książka Twarda
common.buy 141.68 zł
Black Hawk Down Tonanalyse - Utopie oder Realismus Timo Leich / Książka Miękka
common.buy 70.02 zł
Deutschland, Europa und der Euro? Wolfgang K. E. Wittmann / Książka Miękka
common.buy 39.10 zł
Chromatic herbarium Massimo Gardone / Książka Miękka
common.buy 189.59 zł
Albert Einstein Johannes Wickert / Książka Miękka
common.buy 39.51 zł
Designer's guide couleur n.3 shi bukawa et takahashi ikuyoshi et yumi Książka Książka
common.buy 107.79 zł
Walt Disney Captivating History / Książka Twarda
common.buy 93.67 zł
Czciciele Ognia, Czasu I Szatana: Zaratusztrianizm, Zurwanizm, Anahityzm, Mitraizm, Manicheizm, Mazdakizm, Mazdaznanizm, Jazydyzm Andrzej Juliusz Sarwa / Książka Miękka
common.buy 39.00 zł
BROCKHAUSEN Värityskirja Vol. 5 - Värityskirja: Merirosvo Dortje Golldack / Książka Miękka
common.buy 52.51 zł
Espectroscopia Fotoelectrónica de rayos X (XPS) - Un fundamento Pedro José Rodríguez Sulbarán / Książka Miękka
common.buy 192.46 zł
"Wir und Ihr". Fremdenfeindliches Gedankengut in der postmodernen Gesellschaft und Copingstrategien der Sozialen Arbeit Belinda Peter / Książka Miękka
common.buy 70.02 zł
Matemáticas transversales, 5 y 6 Educación Primaria Rosario María González Vigil / Książka Miękka
common.buy 52.30 zł
Ridiculum Vitae Orta / Książka Miękka
common.buy 52.30 zł
Terror Ferdinand von Schirach / Książka Miękka
common.buy 47.39 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 252.66 zł
Interactive Theorem Proving Matt Kaufmann / Książka Miękka
common.buy 500.20 zł
Interactive Video Riad Hammoud / Książka Miękka
common.buy 445.33 zł
Interactive Theorem Proving and Program Development Yves Bertot / Książka Twarda
common.buy 522.52 zł
Toward the End of the Century: Essays Into Poetry Wayne Dodd / Książka Miękka
common.buy 93.97 zł
Life in the Ring: Lessons & Inspiration from the Sport of Boxing John E. Oden / Książka Miękka
common.buy 60.19 zł
TOP
Kingdom, Vol. 2 Yasuhisa Hara / Książka Miękka
common.buy 51.28 zł
Race and Redemption Jane Samson / Książka Miękka
common.buy 218.56 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 56.30 zł
TOP
Understanding the I Ching: Restoring a Brilliant, Ancient Culture Alfred Huang / Książka Miękka
common.buy 63.98 zł
The Duties of Parents John Charles Ryle / Książka Miękka
common.buy 29.17 zł
Flows, Energetics, and Waves: Mathematical Applications: Physical Sciences and Timothy S Margulies / Książka Miękka
common.buy 196.55 zł
China's Information Control Practices and the Implications for the United States Economic and Security Review Commission / Książka Miękka
common.buy 75.54 zł
Finding Father Mary Ann Loewen / Książka Miękka
common.buy 109.84 zł
Foundations of Paleoecology S. Kathleen Lyons / Książka Twarda
common.buy 778.26 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 25.38 zł
Linguistics and Cross Linguistics issues in translating English Media Kais Kadhim / Książka Miękka
common.buy 215.49 zł
Firefighters / Książka Miękka
common.buy 39.30 zł
Mastering Reinforcement Learning with Python Enes Bilgin / Książka Miękka
common.buy 214.57 zł
Architecting High-Performance Embedded Systems Jim Ledin / Książka Miękka
common.buy 231.05 zł
Mortimer: Rat Race to Space Joan Marie Galat / Książka Miękka
common.buy 45.24 zł
Cartoons That Saved the World Tom Ellen / Książka Miękka
common.buy 37.66 zł
How Big Things Get Done Dan Gardner / Książka Twarda
common.buy 92.54 zł
Richard II Tom Wheelwright / Audiobook MP3
common.buy 66.33 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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?