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

4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Interactive Theorem Proving Sandrine Blazy
Codul Libristo: 01664057
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iunie 2013
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Th... 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

Diccionario visual inglés / Carte Carte broșată
common.buy 76.72 lei
Zpět o sto let na výlet Renata Šindelářová / Carte Carte broșată
common.buy 18.05 lei
metodo Mystery. Un approccio infallibile per sedurre le donne più belle del mondo Mystery / Carte Carte broșată
common.buy 74.11 lei
TEMARIO DE TROMBON VICENTE MONZO / Carte Carte broșată
common.buy 1 724.33 lei
Angielski. Przewodnik językowy Patrycja Karnik / Carte Carte broșată
common.buy 69.52 lei
Clef Junich Tanizaki / Carte Carte broșată
common.buy 63.46 lei
Manual práctico de Defensa Personal para mujeres MANUEL MONTERO KIESOW / Carte Carte broșată
common.buy 133.30 lei
Coches muy antiguos Ruiz Palacio / Carte Carte broșată
common.buy 109.60 lei
Der Kreis Husum K. Sönnichsen / Carte Carte broșată
common.buy 134.55 lei
Kostenfalle Messe? Anja Steinrücken / Carte Carte broșată
common.buy 288.00 lei
Theaterhandwerk Alan Ayckbourn / Carte Carte broșată
common.buy 110.23 lei
Aus der Praxis der Zuckerindustrie Otto Mittelstaedt / Carte Carte broșată
common.buy 75.26 lei
Laubgewind Jakob Chr. Heer / Carte Carte broșată
common.buy 149.17 lei
Brasilien im IBSA-Dialogforum Claudia Liebeswar / Carte Carte broșată
common.buy 89.97 lei
Widerstand im totalitaren System - a priori chancenlos? Steffen Radtke / Carte Carte broșată
common.buy 89.97 lei
USA und der internationale Klimaschutz Jan Hollmann / Carte Carte broșată
common.buy 89.97 lei

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013.§The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.

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 Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Limba engleză
Legare Carte - Carte broșată
Data publicării 2013
Număr pagini 498
EAN 9783642396335
ISBN 364239633X
Codul Libristo 01664057
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 777
Dimensiuni 155 x 235 x 29

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 Gerwin Klein / Carte Carte broșată
common.buy 286.33 lei
Horizons in Cancer Research Hiroto S Watanabe / Carte Copertă tare
common.buy 1 788.73 lei
Nubia Lake Paddleboarding: A Guide To Flat Water Stand Up Paddling Vie Binga / Carte Carte broșată
common.buy 72.12 lei
Golden Treasury of the History, Topography, Literature, Science, Art, and Religion of the Various Countries of the Globe James (University of the Highlands and Islands) Hunter / Carte Copertă tare
common.buy 216.29 lei
How to Write Fanfiction Howexpert Press / Carte Carte broșată
common.buy 106.68 lei
How Claims Spread Joel Best / Carte Carte broșată
common.buy 288.42 lei
Tide Running Oonya Kempadoo / Carte Carte broșată
common.buy 120.46 lei
Journey to Meet Beethoven Pat Champness / Carte Carte broșată
common.buy 59.81 lei
Teaching Is a Privilege Elizabeth Cervini Manvell / Carte Copertă tare
common.buy 773.22 lei
Birds of Myanmar Kyaw Nyunt Lwin / Carte Carte broșată
common.buy 276.31 lei
Beauchamp Hall Danielle Steel / Carte Carte broșată
common.buy 160.44 lei
Boost Your Immune System: Change Understanding About Healthy Eating, Change Your Mindset and Attitude Towards Healthy Living. Michal Kloczkowski / Carte Carte broșată
common.buy 34.33 lei
Beyond 2.0 Steve Collins / Carte Carte broșată
common.buy 186.95 lei
Time Series Analysis and Inverse Theory for Geophysicists David Gubbins / Carte Carte broșată
common.buy 479.77 lei
Cinema of the 70s: 101 Iconic Movies John H Foote / Carte Carte broșată
common.buy 119.10 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