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

5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Interactive Theorem Proving Gerwin Klein
Kod Libristo: 02779852
Wydawnictwo Springer International Publishing AG, czerwiec 2014
This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Pro... Cały opis
? points 125 b
218.69 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Stadi. Architettura e mito Fabio Salomoni / Książka Miękka
common.buy 206.06 zł
SAMOURAI WILLIAM L ANGLAIS QUI ROMPIT L ISOLEMENT DU JAPON Milton Książka Miękka
common.buy 123.37 zł
Подготовка к экзамену по русскому языку как иностранному. Первый сертификационный уровень. Тесты. Письмо. B1 Е Никитина / Książka Miękka
common.buy 92.40 zł
Tanie
Mesnevija II Dželaluddin Rumi / Książka Miękka
common.buy 47.20 zł
Leucémie - Investigation moléculaire et étude immunogénétique Zainab W. Maroof / Książka Miękka
common.buy 124.77 zł
De la sigillographie féminine médiévale dans l’Europe méditerranéenne / Książka Miękka
common.buy 227.10 zł
TOP
Ravensburger - 20954 That's not a hat Kartenspiel für 3-8 Personen, Partyspiel, lustige Unterhaltung ab 8 Jahren Kasper Lapp / Prasa Karty
common.buy 44.59 zł
Theorien der Vergleichenden Regierungslehre Gisela Riescher / Książka Miękka
common.buy 112.34 zł
Zapowiedź
Franz Liszt und seine Zeit Wolfgang Dömling / Książka Twarda
common.buy 149.93 zł
Aktiv für gesunde Knochen, m. DVD Marta Agoston / Książka Miękka
common.buy 30.96 zł
Kreativnye mysli Evgenij Shepel' / Książka Miękka
common.buy 158.45 zł
Na půl žerdi Heda Bartíková / Książka Miękka
common.buy 15.02 zł
EinFach Deutsch Unterrichtsmodelle Heinrich von Kleist / Książka Miękka
common.buy 129.28 zł
Pontificato Di Leone XIII Rapporti Con l'Armenia Georges-Henri Ruyssen / Książka Miękka
common.buy 114.55 zł
Livre cotes de France -le- tome 2 Jean Merrien / Książka Miękka
common.buy 21.34 zł
Empezar de cero Jimi Hendrix / Książka Miękka
common.buy 115.45 zł
Dirección y gestión empresarial Fausto Pedro García Márquez / Książka Miękka
common.buy 145.22 zł
Eignung von Speichertechnologien zum Erhalt der Systemsicherheit (Band 13) / Książka Miękka
common.buy 185.81 zł
La Guérison Métaphysique: Comment guérir avec certitude Edmond Nanoukon / Książka Miękka
common.buy 135.90 zł
citrouille roulante JUNIA WONDERS / Książka Twarda
common.buy 94.10 zł
Bir Tanem Felicien Marceau / Książka Miękka
common.buy 51.61 zł
Carnets de jeunesse Fallet / Książka Miękka
common.buy 157.05 zł

This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

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 Gerwin Klein, Ruben Gamboa
Język Angielski
Oprawa Książka - Miękka
Data wydania 2014
Liczba stron 555
EAN 9783319089690
ISBN 3319089692
Kod Libristo 02779852
Wydawnictwo Springer International Publishing AG
Waga 8657
Wymiary 155 x 235 x 30

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Sieci komputerowe i telekomunikacja > Bezpieczeństwo sieciowe
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
Informatyka i technologie informacyjne (IT) > Bezpieczeństwo informatyczne
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 Theorem Proving Sandrine Blazy / Książka Miękka
common.buy 218.69 zł
Interactive Theorem Proving and Program Development Yves Bertot / Książka Miękka
common.buy 362.61 zł
Branded as Trouble Delores Fossen / Audiobook MP3
common.buy 84.98 zł
Interactive Television Demystified Jerry Whitaker / Książka Miękka
common.buy 194.33 zł
Each Leaf Shines Separate R Warren / Książka Miękka
common.buy 62.63 zł
Magyar Nemzet Tortenete M R J Kai / Książka Miękka
common.buy 133.09 zł
Scarlet Sage Gail Ylitalo / Książka Miękka
common.buy 64.74 zł
Mathematical Dynamic Programming Aditya Chatterjee / Książka Miękka
common.buy 98.11 zł
Big Book Of Low-Sodium Recipes Linda Larsen / Książka Miękka
common.buy 80.67 zł
Norfolk and Western Railway Stations and Depots C. Nelson Harris / Książka Miękka
common.buy 88.29 zł
Iconoclastic Fervor Hillary Sullivan / Książka Miękka
common.buy 106.03 zł
30 Years at Ballymaloe: A celebration of the world-renowned cookery school with over 100 new recipes Darina Allen / Książka Twarda
common.buy 144.32 zł
Environmental Management in Organizations John Brady / E-book Adobe ePub DRM
common.buy 296.36 zł
The Forty Hadith of Imam al-Nawawi Yahya Ibn Sharaf Al-Nawawi / Książka Miękka
common.buy 45.09 zł
Secrets of the Eternal Moon Phase Goddesses Julie Peters / Książka Twarda
common.buy 88.49 zł
Fields of Gold: The Orchid and the Rose Jim Stephens / Książka Miękka
common.buy 81.68 zł
Peeves Mike Van Waes / Książka Miękka
common.buy 36.37 zł
Swedish Empire History Hourly History / Książka Miękka
common.buy 43.69 zł
A Match for Emma Pepper Basham / Książka Miękka
common.buy 55.31 zł
Physical Review, Volume 12 Cornell University / Książka Miękka
common.buy 117.86 zł
Sacred Geometry Anthony Muni Jr. / Książka Miękka
common.buy 45.99 zł
Bhagavad Gita Gavin Flood / Książka Miękka
common.buy 79.37 zł
The Keys of Persephone Kate Gray Glass / Książka Miękka
common.buy 82.08 zł
Eleventh International Seaweed Symposium Carolyn J. Bird / Książka Twarda
common.buy 1 433.84 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