Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer International Publishing AG, červen 2014
This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Pro... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Stadi. Architettura e mito Fabio Salomoni / Kniha Brožovaná
common.buy 1 112 Kč
SAMOURAI WILLIAM L ANGLAIS QUI ROMPIT L ISOLEMENT DU JAPON Milton Kniha Brožovaná
common.buy 705 Kč
Подготовка к экзамену по русскому языку как иностранному. Первый сертификационный уровень. Тесты. Письмо. B1 Е Никитина / Kniha Brožovaná
common.buy 528 Kč
Levně
Mesnevija II Dželaluddin Rumi / Kniha Brožovaná
common.buy 270 Kč
Leucémie - Investigation moléculaire et étude immunogénétique Zainab W. Maroof / Kniha Brožovaná
common.buy 671 Kč
De la sigillographie féminine médiévale dans l’Europe méditerranéenne / Kniha Brožovaná
common.buy 1 245 Kč
Top
Ravensburger - 20954 That's not a hat Kartenspiel für 3-8 Personen, Partyspiel, lustige Unterhaltung ab 8 Jahren Kasper Lapp / Tiskovina Karty
common.buy 241 Kč
Theorien der Vergleichenden Regierungslehre Gisela Riescher / Kniha Brožovaná
common.buy 606 Kč
Připravujeme
Franz Liszt und seine Zeit Wolfgang Dömling / Kniha Pevná
common.buy 857 Kč
Aktiv für gesunde Knochen, m. DVD Marta Agoston / Kniha Brožovaná
common.buy 167 Kč
Kreativnye mysli Evgenij Shepel' / Kniha Brožovaná
common.buy 853 Kč
Na půl žerdi Heda Bartíková / Kniha Brožovaná
common.buy 83 Kč
EinFach Deutsch Unterrichtsmodelle Heinrich von Kleist / Kniha Brožovaná
common.buy 703 Kč
Pontificato Di Leone XIII Rapporti Con l'Armenia Georges-Henri Ruyssen / Kniha Brožovaná
common.buy 655 Kč
Livre cotes de France -le- tome 2 Jean Merrien / Kniha Brožovaná
common.buy 122 Kč
Empezar de cero Jimi Hendrix / Kniha Brožovaná
common.buy 718 Kč
Dirección y gestión empresarial Fausto Pedro García Márquez / Kniha Brožovaná
common.buy 830 Kč
Eignung von Speichertechnologien zum Erhalt der Systemsicherheit (Band 13) / Kniha Brožovaná
common.buy 1 000 Kč
La Guérison Métaphysique: Comment guérir avec certitude Edmond Nanoukon / Kniha Brožovaná
common.buy 732 Kč
citrouille roulante JUNIA WONDERS / Kniha Pevná
common.buy 512 Kč
Bir Tanem Felicien Marceau / Kniha Brožovaná
common.buy 280 Kč
Carnets de jeunesse Fallet / Kniha Brožovaná
common.buy 765 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Interactive Theorem Proving
Autor Gerwin Klein, Ruben Gamboa
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2014
Počet stran 555
EAN 9783319089690
ISBN 3319089692
Libristo kód 02779852
Nakladatelství Springer International Publishing AG
Váha 8657
Rozměry 155 x 235 x 30

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Počítačové sítě a komunikace > Zabezpečení sítě
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Výpočetní a informační technologie > Počítačová bezpečnost
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Interactive Theorem Proving Sandrine Blazy / Kniha Brožovaná
common.buy 1 182 Kč
Interactive Theorem Proving and Program Development Yves Bertot / Kniha Brožovaná
common.buy 1 958 Kč
Branded as Trouble Delores Fossen / Audiokniha MP3
common.buy 486 Kč
Interactive Television Demystified Jerry Whitaker / Kniha Brožovaná
common.buy 1 042 Kč
Each Leaf Shines Separate R Warren / Kniha Brožovaná
common.buy 337 Kč
Magyar Nemzet Tortenete M R J Kai / Kniha Brožovaná
common.buy 724 Kč
Scarlet Sage Gail Ylitalo / Kniha Brožovaná
common.buy 353 Kč
Mathematical Dynamic Programming Aditya Chatterjee / Kniha Brožovaná
common.buy 532 Kč
Big Book Of Low-Sodium Recipes Linda Larsen / Kniha Brožovaná
common.buy 436 Kč
Norfolk and Western Railway Stations and Depots C. Nelson Harris / Kniha Brožovaná
common.buy 474 Kč
Iconoclastic Fervor Hillary Sullivan / Kniha Brožovaná
common.buy 576 Kč
30 Years at Ballymaloe: A celebration of the world-renowned cookery school with over 100 new recipes Darina Allen / Kniha Pevná
common.buy 780 Kč
Environmental Management in Organizations John Brady / E-kniha Adobe ePub DRM
common.buy 1 694 Kč
The Forty Hadith of Imam al-Nawawi Yahya Ibn Sharaf Al-Nawawi / Kniha Brožovaná
common.buy 225 Kč
Secrets of the Eternal Moon Phase Goddesses Julie Peters / Kniha Pevná
common.buy 475 Kč
Fields of Gold: The Orchid and the Rose Jim Stephens / Kniha Brožovaná
common.buy 444 Kč
Peeves Mike Van Waes / Kniha Brožovaná
common.buy 201 Kč
Swedish Empire History Hourly History / Kniha Brožovaná
common.buy 237 Kč
A Match for Emma Pepper Basham / Kniha Brožovaná
common.buy 299 Kč
Physical Review, Volume 12 Cornell University / Kniha Brožovaná
common.buy 641 Kč
Sacred Geometry Anthony Muni Jr. / Kniha Brožovaná
common.buy 250 Kč
Bhagavad Gita Gavin Flood / Kniha Brožovaná
common.buy 428 Kč
The Keys of Persephone Kate Gray Glass / Kniha Brožovaná
common.buy 423 Kč
Eleventh International Seaweed Symposium Carolyn J. Bird / Kniha Pevná
common.buy 7 827 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet