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

6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Interactive Theorem Proving Christian Urban
Codul Libristo: 09378411
Editura Springer International Publishing AG, august 2015
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Pro... Descrierea completă
? points 132 b
285.22 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Le Manuscrit cathare M.J. Rose / Carte Carte broșată
common.buy 108.03 lei
Masa plastyczna Hey Clay puchate zwierzaki HCL15023 / Carte binding.
common.buy 153.78 lei
Historien Tacitus / Carte Copertă tare
common.buy 115.62 lei
Interessenkollisionen Bei Der Bestellung Des (Vorlaeufigen) Insolvenzverwalters Beziehungsweise (Vorlaeufigen) Sachwalters Aus Strafrechtlicher Sicht Helge Hölken / Carte Copertă tare
common.buy 437.87 lei
Psí průšviháři - Nenapravitelný boxer Tui T. Sutherland / Carte Carte broșată
common.buy 37.84 lei
Laubsäge-Vorlage Bea - das freche Schaf / Joc / Jucărie Jucărie
common.buy 69.97 lei
Ein Motiv aus dem Kalender Florales zu jeder Jahreszeit (Puzzle) Anette Jäger / Joc / Jucărie Joc
common.buy 179.99 lei
Hippocrate, Tome IV, 3e Partie: Epidemies V Et VII Hippocrates / Carte Carte broșată
common.buy 442.13 lei
Lebenserinnerungen und Denkwurdigkeiten Carl Gustav Carus / Carte Carte broșată
common.buy 134.03 lei
Klementina von Porretta Christoph Martin Wieland / Carte Carte broșată
common.buy 50.21 lei
Upravlenie kachestvom v sovremennom otdelenii luchevoj diagnostiki K. V. Kushnir / Carte Carte broșată
common.buy 183.00 lei
Age de Depart A La Retraite - Effets Sur l'Evolution Macroeconomique Belkouch Hicham / Carte Carte broșată
common.buy 178.22 lei
Strandgut Tanja Korf / Carte Carte broșată
common.buy 50.63 lei
Streichquintett G-Dur (Smycový kvintet G dur) op. 77, Partitur und Stimmen Antonín Dvorák / Materiale tipărite Note muzicale
common.buy 138.19 lei
Live-Arrangement, m. DVD Jürgen Terhag / Carte Carte broșată
common.buy 136.21 lei

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 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 Christian Urban, Xingyuan Zhang
Limba engleză
Legare Carte - Carte broșată
Data publicării 2015
Număr pagini 469
EAN 9783319221014
ISBN 3319221019
Codul Libristo 09378411
Editura Springer International Publishing AG
Greutatea 7256
Dimensiuni 155 x 235 x 28

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

God's Not Dead Adult Study Guide Rice Broocks / Carte Carte broșată
common.buy 53.44 lei
Bedouins into Bourgeois Calvert W. Jones / Carte Copertă tare
common.buy 731.00 lei
Deus Comedieta Tade Bolade / Carte Carte broșată
common.buy 67.79 lei
Biocalorimetry Margarida Bastos / Carte Copertă tare
common.buy 1 533.14 lei
Botanical, 20 Umschläge Pepin van Roojen / Carte Carte broșată
common.buy 79.85 lei
The Smile of the Sphinx Marguerite Bouvet / Carte Carte broșată
common.buy 152.43 lei
Harmony in Chopin David Damschroder / Carte Carte broșată
common.buy 263.69 lei
Childbirth Trauma Stergios K Doumouchtsis / Carte Copertă tare
common.buy 834.98 lei
Shi'i Cosmopolitanisms in Africa Mara A Leichtman / Carte Copertă tare
common.buy 501.92 lei
Brooklyn Heights Sublet Jonah Cohen / Carte Carte broșată
common.buy 153.06 lei
Jutland 1916 Charles London / Carte Carte broșată
common.buy 113.85 lei
Antiviral Agents Ernst Jucker / Carte Carte broșată
common.buy 285.22 lei
Machine James Smythe / Carte Carte broșată
common.buy 69.45 lei
Making Divorce Work Keith Barret / Carte Carte broșată
common.buy 50.84 lei
Encyclopedia of Mystics, Saints & Sages Judika Illes / Carte Copertă tare
common.buy 147.86 lei
Who is Jesus? Thomas P. Rausch / Carte Carte broșată
common.buy 117.18 lei
It All Started with Gogol Thomas L Aman / Carte Copertă tare
common.buy 144.22 lei
Stagecoach of Mariah Sandra K Lee / Carte Carte broșată
common.buy 138.19 lei
Poetry of Being Vaidehi Raipat / Carte Carte broșată
common.buy 35.24 lei
And All for What? D.W.J. Cuddeford / Carte Copertă tare
common.buy 257.25 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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?