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

First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Interactive Theorem Proving Matt Kaufmann
Codul Libristo: 01656145
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iunie 2010
This book constitutes the refereed proceedings of the First International Conference on Interactive... Descrierea completă
? points 292 b
634.73 lei
În depozitul extern Expediem în 9-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Jak vznikla a hospodařila TJ Letové sporty Tleskač v Praze / Carte Carte broșată
common.buy 35.86 lei
Obstbau E. Voges / Carte Carte broșată
common.buy 99.89 lei
Rolle des Filmkameramanns bei der Produktion von Spielfilmen - Exemplarisch dargestellt anhand der Arbeit des Kameramanns Frank Griebe Torben Asmussen / Carte Carte broșată
common.buy 223.46 lei
Europaisches Wettbewerbsrecht am Beispiel der Fernsehrechtsproblematik der UEFA Champions League und der FIFA WM 2006 Tobias Schoener / Carte Carte broșată
common.buy 89.88 lei
Test der verschiedenen Proteinanteile Serge Munganga Kabate / Carte Carte broșată
common.buy 218.03 lei
Aristoteles: Metaphysik IX, 1-3. Vom Wesen und Wirklichkeit der Kraft (Sommersemester 1931). Buch.IX Martin Heidegger / Carte Carte broșată
common.buy 167.46 lei
Nitra Vladimír Barta / Carte Copertă tare
common.buy 178.10 lei
DF 81 ALEJ MAGNO IV INDIA A BABILONIA / Carte Carte
common.buy 54.74 lei
Nach Spanien Und Portugal H. Obersteiner / Carte Carte broșată
common.buy 149.00 lei
Криптвоюматика 2.0. Стань сыном маминой подруги Алексей Марков / Carte Copertă tare
common.buy 96.45 lei
Top
Profi-Nonogramm 3er-Band. Nr.16. Nr.16 Conceptis Puzzles / Carte Carte broșată
common.buy 50.36 lei
Haltestelle Brussel Hermann Bausinger / Carte Carte broșată
common.buy 108.96 lei
Contribution a la lutte contre la cybercriminalite des jeunes Dinde Fernand Agbo / Carte Carte broșată
common.buy 346.61 lei
Politische Gesprache der Toten Anonymus / Carte Carte broșată
common.buy 198.43 lei
Dibujar : trucos, técnicas y recursos para la inspiración visual Helen Birch / Carte Carte broșată
common.buy 82.47 lei
Solo-Klaviermusik Vol.6 Miklos Spanyi / Audio Audio CD
common.buy 92.28 lei
Une Page de l'Histoire de Napoleon 1er Le Moine-O / Carte Carte broșată
common.buy 85.50 lei
Quelques Mots Sur La Maxime: 'le Roi Regne Et Ne Gouverne Pas' Sans Auteur / Carte Carte broșată
common.buy 70.17 lei

This book constitutes the refereed proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. The 33 revised full papers presented were carefully reviewed and selected from 74 submissions. The papers are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.

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 Matt Kaufmann, Lawrence C. Paulson
Limba engleză
Legare Carte - Carte broșată
Data publicării 2010
Număr pagini 495
EAN 9783642140518
ISBN 3642140513
Codul Libristo 01656145
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 759
Dimensiuni 155 x 238 x 33

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Medicine & Nursing > Clinical & internal medicine > Diseases & disorders > Immunology
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
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
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 and Program Development Yves Bertot / Carte Copertă tare
common.buy 670.08 lei
Interactive Video Riad Hammoud / Carte Carte broșată
common.buy 570.50 lei
Experimental Robotics Oussama Khatib / Carte Carte broșată
common.buy 1 139.23 lei
Interactive Theorem Proving Marko Van Eekelen / Carte Carte broșată
common.buy 307.30 lei
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Carte Carte broșată
common.buy 307.30 lei
You Bantering Me? Chris Hughes / Carte Carte broșată
common.buy 94.88 lei
Homo Sapiens to Homo 'X' Lawrence Nyaguti Ochieng / Carte Copertă tare
common.buy 179.14 lei
Rite of Rejection Sarah Negovetich / Carte Carte broșată
common.buy 67.04 lei
Oblomov Ivan Aleksandrovich Goncharov / Carte Carte broșată
common.buy 57.13 lei
Long Life in Florida Hilton Hotema / Carte Carte broșată
common.buy 174.13 lei
We Were Free-Range: An American Childhood 1950-1962 John Erwin / Carte Carte broșată
common.buy 72.05 lei
Annihilation Jeff VanderMeer / Carte Carte broșată
common.buy 74.86 lei
Classification, Disease and Evidence Philippe Huneman / Carte Carte broșată
common.buy 286.02 lei
From The Sun To The Stars James B. Kaler / Carte Carte broșată
common.buy 190.61 lei
Kaylynn's Reading Log Martha Day Zschock / Carte Carte broșată
common.buy 46.91 lei
Village Heroes Meet the Dragon Patti Vincent / Carte Carte broșată
common.buy 116.99 lei
Camping Keith Baker / Carte Carte broșată
common.buy 31.90 lei
Sleeping on a Wire David Grossman / Carte Carte broșată
common.buy 112.71 lei
The Last Midwife Sandra Dallas / Carte Carte broșată
common.buy 116.78 lei
Evolving Human Nutrition Stanley Ulijaszek / Carte Copertă tare
common.buy 924.20 lei
Chakradance Natalie Southgate / E-book Adobe ePub DRM
common.buy 87.27 lei
Uncertainty in Ai: A Journal Through Possible Worlds LAWRY JONATHAN / Carte Copertă tare
common.buy 680.30 lei
Hidden in Blackness Adaurennaya C Onyewuenyi / Carte Copertă tare
common.buy 704.70 lei
PRINCE WITHOUT SORROW WIJESEKARA MAITHREE / Carte Carte broșată
common.buy 75.38 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