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

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
223.98 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

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 55.22 zł
Harry Potter - Le Coffret du sorcier Natacha Rocca / Książka Miękka
common.buy 108.08 zł
Tanie
Mesnevija II Dželaluddin Rumi / Książka Miękka
common.buy 46.08 zł
Подготовка к экзамену по русскому языку как иностранному. Первый сертификационный уровень. Тесты. Письмо. B1 Е Никитина / Książka Miękka
common.buy 94.64 zł
Leucémie - Investigation moléculaire et étude immunogénétique Zainab W. Maroof / Książka Miękka
common.buy 127.79 zł
Stadi. Architettura e mito Fabio Salomoni / Książka Miękka
common.buy 211.04 zł
SAMOURAI WILLIAM L ANGLAIS QUI ROMPIT L ISOLEMENT DU JAPON Milton Książka Miękka
common.buy 125.74 zł
Empezar de cero Jimi Hendrix / Książka Miękka
common.buy 106.95 zł
Theorien der Vergleichenden Regierungslehre Gisela Riescher / Książka Miękka
common.buy 115.06 zł
Zapowiedź
Franz Liszt und seine Zeit Wolfgang Dömling / Książka Twarda
common.buy 153.35 zł
Aktiv für gesunde Knochen, m. DVD Marta Agoston / Książka Miękka
common.buy 31.71 zł
Kreativnye mysli Evgenij Shepel' / Książka Miękka
common.buy 162.28 zł
Na půl žerdi Heda Bartíková / Książka Miękka
common.buy 15.39 zł
EinFach Deutsch Unterrichtsmodelle Heinrich von Kleist / Książka Miękka
common.buy 132.41 zł
Pontificato Di Leone XIII Rapporti Con l'Armenia Georges-Henri Ruyssen / Książka Miękka
common.buy 67.23 zł
Le Calvados et les peintres LECLERC / Książka Miękka
common.buy 184.04 zł
Dirección y gestión empresarial Fausto Pedro García Márquez / Książka Miękka
common.buy 135.28 zł
Eignung von Speichertechnologien zum Erhalt der Systemsicherheit (Band 13) / Książka Miękka
common.buy 190.31 zł
La Guérison Métaphysique: Comment guérir avec certitude Edmond Nanoukon / Książka Miękka
common.buy 139.19 zł
citrouille roulante JUNIA WONDERS / Książka Twarda
common.buy 100.28 zł
Bir Tanem Felicien Marceau / Książka Miękka
common.buy 52.65 zł
Carnets de jeunesse Fallet / Książka Miękka
common.buy 148.01 zł
Livre cotes de France -le- tome 2 Jean Merrien / Książka Miękka
common.buy 21.14 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 223.98 zł
Interactive Theorem Proving and Program Development Yves Bertot / Książka Miękka
common.buy 371.38 zł
Magyar Nemzet Tortenete M R J Kai / Książka Miękka
common.buy 136.31 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 147.81 zł
Scarlet Sage Gail Ylitalo / Książka Miękka
common.buy 66.30 zł
Sacred Geometry Anthony Muni Jr. / Książka Miękka
common.buy 36.94 zł
Big Book Of Low-Sodium Recipes Linda Larsen / Książka Miękka
common.buy 82.62 zł
Norfolk and Western Railway Stations and Depots C. Nelson Harris / Książka Miękka
common.buy 90.32 zł
Mathematical Dynamic Programming Aditya Chatterjee / Książka Miękka
common.buy 100.49 zł
Practical Guide To Self-Deliverance, A Dennis Clark / Książka Miękka
common.buy 68.46 zł
Iconoclastic Fervor Hillary Sullivan / Książka Miękka
common.buy 108.60 zł
Branded as Trouble Delores Fossen / Audiobook MP3
common.buy 88.48 zł
Environmental Management in Organizations John Brady / E-book Adobe ePub DRM
common.buy 320.67 zł
Secrets of the Eternal Moon Phase Goddesses Julie Peters / Książka Twarda
common.buy 90.63 zł
Losing Kali Kali Rae Wheeler / Książka Twarda
common.buy 100.28 zł
Fields of Gold: The Orchid and the Rose Jim Stephens / Książka Miękka
common.buy 83.65 zł
Peeves Mike Van Waes / Książka Miękka
common.buy 37.25 zł
The Forty Hadith of Imam al-Nawawi Yahya Ibn Sharaf Al-Nawawi / Książka Miękka
common.buy 46.18 zł
Peter Rabbit Hoppy Holidays Sticker Activity Book Beatrix Potter / Książka Miękka
common.buy 28.84 zł
A Match for Emma Pepper Basham / Książka Miękka
common.buy 56.65 zł
Physical Review, Volume 12 Cornell University / Książka Miękka
common.buy 120.71 zł
Swedish Empire History Hourly History / Książka Miękka
common.buy 44.75 zł
Interactive Video-On-Demand Systems T.P. Jimmy To / Książka Twarda
common.buy 761.46 zł
Bhagavad Gita Gavin Flood / Książka Miękka
common.buy 81.29 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?