Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Interactive Theorem Proving

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Interactive Theorem Proving Matt Kaufmann
Libristo kod: 01656145
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipanj 2010
This book constitutes the refereed proceedings of the First International Conference on Interactive... Cijeli opis
? points 280 b
115.88 €
Vanjske zalihe u manjem broju Šaljemo za 14-21 dana

Do 30 dana za povrat

Kupci su kupili i

Obstbau E. Voges / Knjiga Meki uvez
common.buy 17.92 €
Haltestelle Brussel Hermann Bausinger / Knjiga Meki uvez
common.buy 19.64 €
Participación de las empresas en la comunidad (CCE) en la industria minera de Zimbabue / Knjiga Meki uvez
common.buy 57.94 €
Quelques Mots Sur La Maxime: 'le Roi Regne Et Ne Gouverne Pas' Sans Auteur / Knjiga Meki uvez
common.buy 11.34 €
Une Page de l'Histoire de Napoleon 1er Le Moine-O / Knjiga Meki uvez
common.buy 13.56 €
Aristoteles: Metaphysik IX, 1-3. Vom Wesen und Wirklichkeit der Kraft (Sommersemester 1931). Buch.IX Martin Heidegger / Knjiga Meki uvez
common.buy 30.28 €
DF 81 ALEJ MAGNO IV INDIA A BABILONIA / Knjiga Knjiga
common.buy 9.31 €
Aufsuchende Soziale Arbeit Barbara Bräutigam / Knjiga Meki uvez
common.buy 30.48 €
Pripremamo
EL CORAZON DEL GUERRERO DEL SOL TAN / Knjiga Meki uvez
common.buy 19.04 €
Test der verschiedenen Proteinanteile Serge Munganga Kabate / Knjiga Meki uvez
common.buy 39.30 €
Rolle des Filmkameramanns bei der Produktion von Spielfilmen - Exemplarisch dargestellt anhand der Arbeit des Kameramanns Frank Griebe Torben Asmussen / Knjiga Meki uvez
common.buy 40.21 €
Nitra Vladimír Barta / Knjiga Tvrdi uvez
common.buy 32.00 €
Nach Spanien Und Portugal H. Obersteiner / Knjiga Meki uvez
common.buy 26.84 €
Jak vznikla a hospodařila TJ Letové sporty Tleskač v Praze / Knjiga Meki uvez
common.buy 6.47 €
Криптвоюматика 2.0. Стань сыном маминой подруги Алексей Марков / Knjiga Tvrdi uvez
common.buy 17.31 €
OTRO CUENTO NAVIDEÑO MERINO VERDUGO / Knjiga Meki uvez
common.buy 10.83 €
Profi-Nonogramm 3er-Band. Nr.16. Nr.16 Conceptis Puzzles / Knjiga Meki uvez
common.buy 9.01 €
Solo-Klaviermusik Vol.6 Miklos Spanyi / Audio Audio CD
common.buy 16.50 €
Politische Gesprache der Toten Anonymus / Knjiga Meki uvez
common.buy 35.75 €
Dibujar : trucos, técnicas y recursos para la inspiración visual Helen Birch / Knjiga Meki uvez
common.buy 14.88 €
Contribution a la lutte contre la cybercriminalite des jeunes Dinde Fernand Agbo / Knjiga Meki uvez
common.buy 71.21 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Interactive Theorem Proving
Autor Matt Kaufmann, Lawrence C. Paulson
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2010
Broj stranica 495
EAN 9783642140518
ISBN 3642140513
Libristo kod 01656145
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 759
Dimenzije 155 x 238 x 33

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Interactive Theorem Proving and Program Development Yves Bertot / Knjiga Tvrdi uvez
common.buy 121.05 €
Interactive Video Riad Hammoud / Knjiga Meki uvez
common.buy 103.12 €
Experimental Robotics Oussama Khatib / Knjiga Meki uvez
common.buy 206.04 €
Interactive Theorem Proving Marko Van Eekelen / Knjiga Meki uvez
common.buy 55.91 €
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Knjiga Meki uvez
common.buy 55.91 €
You Bantering Me? Chris Hughes / Knjiga Meki uvez
common.buy 16.30 €
Mouthful of Tongues Paul Di Filippo / Knjiga Tvrdi uvez
common.buy 29.77 €
Rite of Rejection Sarah Negovetich / Knjiga Meki uvez
common.buy 12.15 €
Oblomov Ivan Aleksandrovich Goncharov / Knjiga Meki uvez
common.buy 10.32 €
Long Life in Florida Hilton Hotema / Knjiga Meki uvez
common.buy 31.70 €
We Were Free-Range: An American Childhood 1950-1962 John Erwin / Knjiga Meki uvez
common.buy 13.06 €
Annihilation Jeff VanderMeer / Knjiga Meki uvez
common.buy 13.46 €
Classification, Disease and Evidence Philippe Huneman / Knjiga Meki uvez
common.buy 51.76 €
From The Sun To The Stars James B. Kaler / Knjiga Meki uvez
common.buy 34.84 €
Kaylynn's Reading Log Martha Day Zschock / Knjiga Meki uvez
common.buy 8.40 €
Village Heroes Meet the Dragon Patti Vincent / Knjiga Meki uvez
common.buy 17.21 €
Camping Keith Baker / Knjiga Meki uvez
common.buy 5.66 €
Sleeping on a Wire David Grossman / Knjiga Meki uvez
common.buy 20.25 €
Homo Sapiens to Homo 'X' Lawrence Nyaguti Ochieng / Knjiga Tvrdi uvez
common.buy 34.13 €
The Last Midwife Sandra Dallas / Knjiga Meki uvez
common.buy 20.96 €
Chakradance Natalie Southgate / E-knjiga Adobe ePub DRM
common.buy 15.89 €
Uncertainty in Ai: A Journal Through Possible Worlds LAWRY JONATHAN / Knjiga Tvrdi uvez
common.buy 124.19 €
Hidden in Blackness Adaurennaya C Onyewuenyi / Knjiga Tvrdi uvez
common.buy 126.72 €
PRINCE WITHOUT SORROW WIJESEKARA MAITHREE / Knjiga Meki uvez
common.buy 13.36 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?