Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Interactive Theorem Proving

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Interactive Theorem Proving Matt Kaufmann
Koda Libristo: 01656145
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junij 2010
This book constitutes the refereed proceedings of the First International Conference on Interactive... Celoten opis
? points 267 b
109.92 €
Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 10-16 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Quelques Mots Sur La Maxime: 'le Roi Regne Et Ne Gouverne Pas' Sans Auteur / Knjiga Mehka
common.buy 11.35 €
Die Edda - Götter- und Heldenlieder der Germanen Brynjólfur Sveinsson / Knjiga Trda
common.buy 8.04 €
Participación de las empresas en la comunidad (CCE) en la industria minera de Zimbabue / Knjiga Mehka
common.buy 54.22 €
Une Page de l'Histoire de Napoleon 1er Le Moine-O / Knjiga Mehka
common.buy 13.77 €
Aristoteles: Metaphysik IX, 1-3. Vom Wesen und Wirklichkeit der Kraft (Sommersemester 1931). Buch.IX Martin Heidegger / Knjiga Mehka
common.buy 28.35 €
DF 81 ALEJ MAGNO IV INDIA A BABILONIA / Knjiga Knjiga
common.buy 9.24 €
Aufsuchende Soziale Arbeit Barbara Bräutigam / Knjiga Mehka
common.buy 28.45 €
Kmalu
EL CORAZON DEL GUERRERO DEL SOL TAN / Knjiga Mehka
common.buy 18.80 €
Haltestelle Brussel Hermann Bausinger / Knjiga Mehka
common.buy 18.29 €
Test der verschiedenen Proteinanteile Serge Munganga Kabate / Knjiga Mehka
common.buy 36.70 €
Europaisches Wettbewerbsrecht am Beispiel der Fernsehrechtsproblematik der UEFA Champions League und der FIFA WM 2006 Tobias Schoener / Knjiga Mehka
common.buy 15.18 €
Rolle des Filmkameramanns bei der Produktion von Spielfilmen - Exemplarisch dargestellt anhand der Arbeit des Kameramanns Frank Griebe Torben Asmussen / Knjiga Mehka
common.buy 37.62 €
Obstbau E. Voges / Knjiga Mehka
common.buy 16.79 €
Nach Spanien Und Portugal H. Obersteiner / Knjiga Mehka
common.buy 25.03 €
Jak vznikla a hospodařila TJ Letové sporty Tleskač v Praze / Knjiga Mehka
common.buy 6.63 €
Криптвоюматика 2.0. Стань сыном маминой подруги Алексей Марков / Knjiga Trda
common.buy 16.48 €
OTRO CUENTO NAVIDEÑO MERINO VERDUGO / Knjiga Mehka
common.buy 10.75 €
Profi-Nonogramm 3er-Band. Nr.16. Nr.16 Conceptis Puzzles / Knjiga Mehka
common.buy 8.44 €
Solo-Klaviermusik Vol.6 Miklos Spanyi / Zvok Zvočni CD
common.buy 15.48 €
Nitra Vladimír Barta / Knjiga Trda
common.buy 29.76 €
Contribution a la lutte contre la cybercriminalite des jeunes Dinde Fernand Agbo / Knjiga Mehka
common.buy 68.58 €
Dibujar : trucos, técnicas y recursos para la inspiración visual Helen Birch / Knjiga Mehka
common.buy 16.89 €
Politische Gesprache der Toten Anonymus / Knjiga Mehka
common.buy 33.38 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Interactive Theorem Proving
Avtor Matt Kaufmann, Lawrence C. Paulson
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2010
Število strani 495
EAN 9783642140518
ISBN 3642140513
Koda Libristo 01656145
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 759
Mere 155 x 238 x 33

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Interactive Theorem Proving and Program Development Yves Bertot / Knjiga Trda
common.buy 113.54 €
Interactive Video Riad Hammoud / Knjiga Mehka
common.buy 96.84 €
Experimental Robotics Oussama Khatib / Knjiga Mehka
common.buy 193.40 €
Interactive Theorem Proving Marko Van Eekelen / Knjiga Mehka
common.buy 55.71 €
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Knjiga Mehka
common.buy 55.71 €
Kmalu
Europe in Autumn Dave Hutchinson / Knjiga Mehka
common.buy 8.04 €
You Bantering Me? Chris Hughes / Knjiga Mehka
common.buy 16.48 €
Homo Sapiens to Homo 'X' Lawrence Nyaguti Ochieng / Knjiga Trda
common.buy 31.17 €
Rite of Rejection Sarah Negovetich / Knjiga Mehka
common.buy 11.46 €
Oblomov Ivan Aleksandrovich Goncharov / Knjiga Mehka
common.buy 9.75 €
Science vs. Bible vs. Quran (3) the Moon: The Quran preceded the modern sciences while the editors of the Bible contradict the sciences and corrupt th Dr Ibrahim Khalil Aly / Knjiga Mehka
common.buy 11.86 €
Long Life in Florida Hilton Hotema / Knjiga Mehka
common.buy 29.87 €
We Were Free-Range: An American Childhood 1950-1962 John Erwin / Knjiga Mehka
common.buy 12.27 €
Annihilation Jeff VanderMeer / Knjiga Mehka
common.buy 12.36 €
Classification, Disease and Evidence Philippe Huneman / Knjiga Mehka
common.buy 48.59 €
From The Sun To The Stars James B. Kaler / Knjiga Mehka
common.buy 33.88 €
Kaylynn's Reading Log Martha Day Zschock / Knjiga Mehka
common.buy 7.83 €
Village Heroes Meet the Dragon Patti Vincent / Knjiga Mehka
common.buy 17.79 €
Camping Keith Baker / Knjiga Mehka
common.buy 6.33 €
Sleeping on a Wire David Grossman / Knjiga Mehka
common.buy 18.81 €
The Last Midwife Sandra Dallas / Knjiga Mehka
common.buy 20.00 €
Chakradance Natalie Southgate / E-knjiga Adobe ePub DRM
common.buy 14.68 €
Uncertainty in Ai: A Journal Through Possible Worlds LAWRY JONATHAN / Knjiga Trda
common.buy 117.86 €
Hidden in Blackness Adaurennaya C Onyewuenyi / Knjiga Trda
common.buy 120.38 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?