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 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Poštovani korisnici, zbog državnog praznika korisnička podrška danas nije dostupna. Na vaše zahtjeve odgovorit ćemo sljedeći radni dan. Hvala vam na razumijevanju.
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Interactive Theorem Proving Gerwin Klein
Libristo kod: 02779852
Nakladnici Springer International Publishing AG, lipanj 2014
This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Pro... Cijeli opis
? points 125 b
51.69 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Stadi. Architettura e mito Fabio Salomoni / Knjiga Meki uvez
common.buy 48.66 €
SAMOURAI WILLIAM L ANGLAIS QUI ROMPIT L ISOLEMENT DU JAPON Milton Knjiga Meki uvez
common.buy 27.81 €
Подготовка к экзамену по русскому языку как иностранному. Первый сертификационный уровень. Тесты. Письмо. B1 Е Никитина / Knjiga Meki uvez
common.buy 20.53 €
Povoljno
Mesnevija II Dželaluddin Rumi / Knjiga Meki uvez
common.buy 11.12 €
Leucémie - Investigation moléculaire et étude immunogénétique Zainab W. Maroof / Knjiga Meki uvez
common.buy 29.43 €
De la sigillographie féminine médiévale dans l’Europe méditerranéenne / Knjiga Meki uvez
common.buy 53.61 €
Top
Ravensburger - 20954 That's not a hat Kartenspiel für 3-8 Personen, Partyspiel, lustige Unterhaltung ab 8 Jahren Kasper Lapp / Tiskanica Karte
common.buy 10.51 €
Theorien der Vergleichenden Regierungslehre Gisela Riescher / Knjiga Meki uvez
common.buy 26.50 €
Pripremamo
Franz Liszt und seine Zeit Wolfgang Dömling / Knjiga Tvrdi uvez
common.buy 33.58 €
Aktiv für gesunde Knochen, m. DVD Marta Agoston / Knjiga Meki uvez
common.buy 7.27 €
Kreativnye mysli Evgenij Shepel' / Knjiga Meki uvez
common.buy 37.43 €
Na půl žerdi Heda Bartíková / Knjiga Meki uvez
common.buy 3.33 €
EinFach Deutsch Unterrichtsmodelle Heinrich von Kleist / Knjiga Meki uvez
common.buy 30.55 €
Pontificato Di Leone XIII Rapporti Con l'Armenia Georges-Henri Ruyssen / Knjiga Meki uvez
common.buy 28.72 €
Livre cotes de France -le- tome 2 Jean Merrien / Knjiga Meki uvez
common.buy 4.85 €
Empezar de cero Jimi Hendrix / Knjiga Meki uvez
common.buy 29.63 €
Dirección y gestión empresarial Fausto Pedro García Márquez / Knjiga Meki uvez
common.buy 32.77 €
Eignung von Speichertechnologien zum Erhalt der Systemsicherheit (Band 13) / Knjiga Meki uvez
common.buy 43.90 €
La Guérison Métaphysique: Comment guérir avec certitude Edmond Nanoukon / Knjiga Meki uvez
common.buy 32.06 €
citrouille roulante JUNIA WONDERS / Knjiga Tvrdi uvez
common.buy 22.25 €
Bir Tanem Felicien Marceau / Knjiga Meki uvez
common.buy 12.23 €
Carnets de jeunesse Fallet / Knjiga Meki uvez
common.buy 30.24 €

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.

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 Gerwin Klein, Ruben Gamboa
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2014
Broj stranica 555
EAN 9783319089690
ISBN 3319089692
Libristo kod 02779852
Nakladnici Springer International Publishing AG
Težina 8657
Dimenzije 155 x 235 x 30

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer networking & communications > Network security
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
Computing & Information Technology > Computer security
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 Theorem Proving Sandrine Blazy / Knjiga Meki uvez
common.buy 51.69 €
Interactive Theorem Proving and Program Development Yves Bertot / Knjiga Meki uvez
common.buy 85.69 €
Branded as Trouble Delores Fossen / Audio knjiga MP3
common.buy 19.01 €
Interactive Television Demystified Jerry Whitaker / Knjiga Meki uvez
common.buy 45.92 €
Each Leaf Shines Separate R Warren / Knjiga Meki uvez
common.buy 14.76 €
Magyar Nemzet Tortenete M R J Kai / Knjiga Meki uvez
common.buy 31.46 €
Scarlet Sage Gail Ylitalo / Knjiga Meki uvez
common.buy 15.27 €
Mathematical Dynamic Programming Aditya Chatterjee / Knjiga Meki uvez
common.buy 23.16 €
Big Book Of Low-Sodium Recipes Linda Larsen / Knjiga Meki uvez
common.buy 19.01 €
Norfolk and Western Railway Stations and Depots C. Nelson Harris / Knjiga Meki uvez
common.buy 19.62 €
Iconoclastic Fervor Hillary Sullivan / Knjiga Meki uvez
common.buy 25.08 €
30 Years at Ballymaloe: A celebration of the world-renowned cookery school with over 100 new recipes Darina Allen / Knjiga Tvrdi uvez
common.buy 34.09 €
Environmental Management in Organizations John Brady / E-knjiga Adobe ePub DRM
common.buy 66.87 €
The Forty Hadith of Imam al-Nawawi Yahya Ibn Sharaf Al-Nawawi / Knjiga Meki uvez
common.buy 10.61 €
Secrets of the Eternal Moon Phase Goddesses Julie Peters / Knjiga Tvrdi uvez
common.buy 20.93 €
Fields of Gold: The Orchid and the Rose Jim Stephens / Knjiga Meki uvez
common.buy 19.32 €
Peeves Mike Van Waes / Knjiga Meki uvez
common.buy 8.08 €
Swedish Empire History Hourly History / Knjiga Meki uvez
common.buy 10.31 €
A Match for Emma Pepper Basham / Knjiga Meki uvez
common.buy 13.04 €
Physical Review, Volume 12 Cornell University / Knjiga Meki uvez
common.buy 27.81 €
Sacred Geometry Anthony Muni Jr. / Knjiga Meki uvez
common.buy 10.82 €
Bhagavad Gita Gavin Flood / Knjiga Meki uvez
common.buy 18.71 €
The Keys of Persephone Kate Gray Glass / Knjiga Meki uvez
common.buy 19.42 €
Eleventh International Seaweed Symposium Carolyn J. Bird / Knjiga Tvrdi uvez
common.buy 323.56 €

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