Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

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

Limba englezăengleză
Carte Carte broșată
Carte Interactive Theorem Proving Gerwin Klein
Codul Libristo: 02779852
Editura Springer International Publishing AG, iunie 2014
This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Pro... Descrierea completă
? points 132 b
286.33 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Stadi. Architettura e mito Fabio Salomoni / Carte Carte broșată
common.buy 270.26 lei
SAMOURAI WILLIAM L ANGLAIS QUI ROMPIT L ISOLEMENT DU JAPON Milton Carte Carte broșată
common.buy 153.24 lei
Подготовка к экзамену по русскому языку как иностранному. Первый сертификационный уровень. Тесты. Письмо. B1 Е Никитина / Carte Carte broșată
common.buy 114.82 lei
Leftin
Mesnevija II Dželaluddin Rumi / Carte Carte broșată
common.buy 58.66 lei
Leucémie - Investigation moléculaire et étude immunogénétique Zainab W. Maroof / Carte Carte broșată
common.buy 164.09 lei
De la sigillographie féminine médiévale dans l’Europe méditerranéenne / Carte Carte broșată
common.buy 293.43 lei
Top
Ravensburger - 20954 That's not a hat Kartenspiel für 3-8 Personen, Partyspiel, lustige Unterhaltung ab 8 Jahren Kasper Lapp / Materiale tipărite Cărți
common.buy 58.45 lei
Theorien der Vergleichenden Regierungslehre Gisela Riescher / Carte Carte broșată
common.buy 147.39 lei
Curând
Franz Liszt und seine Zeit Wolfgang Dömling / Carte Copertă tare
common.buy 186.33 lei
Aktiv für gesunde Knochen, m. DVD Marta Agoston / Carte Carte broșată
common.buy 40.91 lei
Kreativnye mysli Evgenij Shepel' / Carte Carte broșată
common.buy 208.46 lei
Na půl žerdi Heda Bartíková / Carte Carte broșată
common.buy 18.68 lei
EinFach Deutsch Unterrichtsmodelle Heinrich von Kleist / Carte Carte broșată
common.buy 168.69 lei
Pontificato Di Leone XIII Rapporti Con l'Armenia Georges-Henri Ruyssen / Carte Carte broșată
common.buy 150.83 lei
Livre cotes de France -le- tome 2 Jean Merrien / Carte Carte broșată
common.buy 26.50 lei
Empezar de cero Jimi Hendrix / Carte Carte broșată
common.buy 162.63 lei
Dirección y gestión empresarial Fausto Pedro García Márquez / Carte Carte broșată
common.buy 180.38 lei
Eignung von Speichertechnologien zum Erhalt der Systemsicherheit (Band 13) / Carte Carte broșată
common.buy 244.37 lei
La Guérison Métaphysique: Comment guérir avec certitude Edmond Nanoukon / Carte Carte broșată
common.buy 178.92 lei
citrouille roulante JUNIA WONDERS / Carte Copertă tare
common.buy 122.65 lei
Bir Tanem Felicien Marceau / Carte Carte broșată
common.buy 67.63 lei
Carnets de jeunesse Fallet / Carte Carte broșată
common.buy 166.28 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Interactive Theorem Proving
Autor Gerwin Klein, Ruben Gamboa
Limba engleză
Legare Carte - Carte broșată
Data publicării 2014
Număr pagini 555
EAN 9783319089690
ISBN 3319089692
Codul Libristo 02779852
Editura Springer International Publishing AG
Greutatea 8657
Dimensiuni 155 x 235 x 30

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Interactive Theorem Proving Sandrine Blazy / Carte Carte broșată
common.buy 286.33 lei
Interactive Theorem Proving and Program Development Yves Bertot / Carte Carte broșată
common.buy 475.60 lei
Branded as Trouble Delores Fossen / Audiobook MP3
common.buy 105.63 lei
Interactive Television Demystified Jerry Whitaker / Carte Carte broșată
common.buy 256.69 lei
Each Leaf Shines Separate R Warren / Carte Carte broșată
common.buy 82.15 lei
Magyar Nemzet Tortenete M R J Kai / Carte Carte broșată
common.buy 173.49 lei
Scarlet Sage Gail Ylitalo / Carte Carte broșată
common.buy 84.34 lei
Mathematical Dynamic Programming Aditya Chatterjee / Carte Carte broșată
common.buy 128.08 lei
Big Book Of Low-Sodium Recipes Linda Larsen / Carte Carte broșată
common.buy 105.84 lei
Norfolk and Western Railway Stations and Depots C. Nelson Harris / Carte Carte broșată
common.buy 109.81 lei
Iconoclastic Fervor Hillary Sullivan / Carte Carte broșată
common.buy 138.00 lei
30 Years at Ballymaloe: A celebration of the world-renowned cookery school with over 100 new recipes Darina Allen / Carte Copertă tare
common.buy 189.35 lei
Environmental Management in Organizations John Brady / E-book Adobe ePub DRM
common.buy 368.28 lei
The Forty Hadith of Imam al-Nawawi Yahya Ibn Sharaf Al-Nawawi / Carte Carte broșată
common.buy 59.60 lei
Secrets of the Eternal Moon Phase Goddesses Julie Peters / Carte Copertă tare
common.buy 116.91 lei
Fields of Gold: The Orchid and the Rose Jim Stephens / Carte Carte broșată
common.buy 106.68 lei
Peeves Mike Van Waes / Carte Carte broșată
common.buy 45.19 lei
Swedish Empire History Hourly History / Carte Carte broșată
common.buy 57.20 lei
A Match for Emma Pepper Basham / Carte Carte broșată
common.buy 72.12 lei
Physical Review, Volume 12 Cornell University / Carte Carte broșată
common.buy 153.45 lei
Sacred Geometry Anthony Muni Jr. / Carte Carte broșată
common.buy 59.81 lei
Bhagavad Gita Gavin Flood / Carte Carte broșată
common.buy 104.38 lei
The Keys of Persephone Kate Gray Glass / Carte Carte broșată
common.buy 106.68 lei
Eleventh International Seaweed Symposium Carolyn J. Bird / Carte Copertă tare
common.buy 1 781.74 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo