Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 3.49 € Kuriér GLS 4.49 € Zberné miesto GLS 2.99 € SPS 4.49 € SPS Parcel Shop 3.49 € Packeta kurýr 4.49 € Slovenská pošta 4.49 € Zberné miesto DPD 3.49 € Packeta 3.49 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Interactive Theorem Proving Gerwin Klein
Libristo kód: 02779852
Nakladateľstvo Springer International Publishing AG, jún 2014
This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Pro... Celý popis
? points 125 b
51.42 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Interactive Theorem Proving
Autor Gerwin Klein, Ruben Gamboa
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2014
Počet strán 555
EAN 9783319089690
ISBN 3319089692
Libristo kód 02779852
Nakladateľstvo Springer International Publishing AG
Váha 8657
Rozmery 155 x 235 x 30

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Matematika a veda > Matematika > Matematické základy > Matematická logika
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Algoritmy a dátové štruktúry
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Počítačové siete a komunikácia > Zabezpečenie siete
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Výpočtové a informačné technológie > Počítačová bezpečnosť
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

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

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?