Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.99 € Zbirna točka DPD 3.49 € Kurirska služba GLS 5.99 € Kurir DPD 3.99 € Kurirska služba Express One 3.99 € Zbirno mesto Express One 3.99 € Zbirno mesto Pošte Slovenije 3.99 € Dostava preko Pošte Slovenije 3.99 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

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 AngleščinaAngleščina
Knjiga Mehka
Knjiga Interactive Theorem Proving Gerwin Klein
Koda Libristo: 02779852
Založba Springer International Publishing AG, junij 2014
This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Pro... Celoten opis
? points 118 b
48.60 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

LECCIONARI DE LA MISSA COMENTAT - CICLE C FARNES SHERER / Knjiga Knjiga
common.buy 12.47 €
Подготовка к экзамену по русскому языку как иностранному. Первый сертификационный уровень. Тесты. Письмо. B1 Е Никитина / Knjiga Mehka
common.buy 19.31 €
Instructiestrategieën voor het onderwijzen van kritisch denken Charoula Angeli / Knjiga Mehka
common.buy 40.95 €
Mesnevija II Dželaluddin Rumi / Knjiga Mehka
common.buy 14.98 €
Stadi. Architettura e mito Fabio Salomoni / Knjiga Mehka
common.buy 29.58 €
Leucémie - Investigation moléculaire et étude immunogénétique Zainab W. Maroof / Knjiga Mehka
common.buy 27.56 €
Harry Potter - Le Coffret du sorcier Natacha Rocca / Knjiga Mehka
common.buy 21.63 €
Aktiv für gesunde Knochen, m. DVD Marta Agoston / Knjiga Mehka
common.buy 6.93 €
De la sigillographie féminine médiévale dans l’Europe méditerranéenne / Knjiga Mehka
common.buy 36.12 €
Theorien der Vergleichenden Regierungslehre Gisela Riescher / Knjiga Mehka
common.buy 24.95 €
Kmalu
Franz Liszt und seine Zeit Wolfgang Dömling / Knjiga Trda
common.buy 31.29 €
Ravensburger - 20954 That's not a hat Kartenspiel für 3-8 Personen, Partyspiel, lustige Unterhaltung ab 8 Jahren Kasper Lapp / Tiskani izdelki Karte
common.buy 9.95 €
EinFach Deutsch Unterrichtsmodelle Heinrich von Kleist / Knjiga Mehka
common.buy 28.87 €
Quelques Considerations Sur Notre Temps Jacquinet-M-N / Knjiga Mehka
common.buy 25.55 €
Alpha plus - Deutsch als Zweitsprache - Basiskurs Alphabetisierung - A1 Anita Grunwald / Knjiga Mehka
common.buy 18.91 €
Pontificato Di Leone XIII Rapporti Con l'Armenia Georges-Henri Ruyssen / Knjiga Mehka
common.buy 15.09 €
Cocina Tradicional Vasca / Knjiga Mehka
common.buy 6.93 €
Empezar de cero Jimi Hendrix / Knjiga Mehka
common.buy 24.55 €
Dirección y gestión empresarial Fausto Pedro García Márquez / Knjiga Mehka
common.buy 30.99 €
Eignung von Speichertechnologien zum Erhalt der Systemsicherheit (Band 13) / Knjiga Mehka
common.buy 43.28 €
Histoire Ecclesiastique Et Monastique de Douai Depuis l'Etablissement Du Christianisme DUTHILLOEUL-H-R-J / Knjiga Mehka
common.buy 18.81 €
Kreativnye mysli Evgenij Shepel' / Knjiga Mehka
common.buy 35.01 €
La Guérison Métaphysique: Comment guérir avec certitude Edmond Nanoukon / Knjiga Mehka
common.buy 30.08 €
citrouille roulante JUNIA WONDERS / Knjiga Trda
common.buy 22.53 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Interactive Theorem Proving
Avtor Gerwin Klein, Ruben Gamboa
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2014
Število strani 555
EAN 9783319089690
ISBN 3319089692
Koda Libristo 02779852
Založba Springer International Publishing AG
Teža 8657
Mere 155 x 235 x 30

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Interactive Theorem Proving Sandrine Blazy / Knjiga Mehka
common.buy 48.60 €
Interactive Theorem Proving and Program Development Yves Bertot / Knjiga Mehka
common.buy 80.50 €
The Front Yard: And Other Italian Stories (1895) Constance Fenimore Woolson / Knjiga Mehka
common.buy 30.78 €
Big Book Of Low-Sodium Recipes Linda Larsen / Knjiga Mehka
common.buy 17.91 €
Norfolk and Western Railway Stations and Depots C. Nelson Harris / Knjiga Mehka
common.buy 18.61 €
Practical Guide To Self-Deliverance, A Dennis Clark / Knjiga Mehka
common.buy 14.79 €
Iconoclastic Fervor Hillary Sullivan / Knjiga Mehka
common.buy 24.34 €
Secrets of the Eternal Moon Phase Goddesses Julie Peters / Knjiga Trda
common.buy 20.02 €
Losing Kali Kali Rae Wheeler / Knjiga Trda
common.buy 22.13 €
Fields of Gold: The Orchid and the Rose Jim Stephens / Knjiga Mehka
common.buy 18.71 €
Asbestos Standard for the Construction Industry U S Department of Labor / Knjiga Mehka
common.buy 14.38 €
Peeves Mike Van Waes / Knjiga Mehka
common.buy 8.04 €
The Melaki Chronicle Volume II William Thrash / Knjiga Mehka
common.buy 16.09 €
Peter Rabbit Hoppy Holidays Sticker Activity Book Beatrix Potter / Knjiga Mehka
common.buy 6.23 €
Culinary Rockstar: 120 Pages I 6x9 I Graph Paper 5x5 I Funny Culinary, Grill & BBQ Gifts Funny Notebooks / Knjiga Mehka
common.buy 8.24 €
A Match for Emma Pepper Basham / Knjiga Mehka
common.buy 12.57 €
Physical Review, Volume 12 Cornell University / Knjiga Mehka
common.buy 27.06 €
30 Years at Ballymaloe: A celebration of the world-renowned cookery school with over 100 new recipes Darina Allen / Knjiga Trda
common.buy 32.01 €
Swedish Empire History Hourly History / Knjiga Mehka
common.buy 9.95 €
The Forty Hadith of Imam al-Nawawi Yahya Ibn Sharaf Al-Nawawi / Knjiga Mehka
common.buy 10.15 €
Managing the Injured Athlete Zoe Hudson / E-knjiga Adobe ePub DRM
common.buy 35.62 €
Environmental Management in Organizations John Brady / E-knjiga Adobe ePub DRM
common.buy 68.52 €
Mindfulness-Based Cognitive Therapy for Bipolar Disorder Thilo Deckersbach / E-knjiga Adobe ePub DRM
common.buy 65.81 €
Branded as Trouble Delores Fossen / Zvočnica MP3
common.buy 18.61 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?