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 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Interactive Theorem Proving

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Interactive Theorem Proving Sandrine Blazy
Libristo kod: 01664057
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipanj 2013
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Th... Cijeli opis
? points 125 b
51.63 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Diccionario visual inglés / Knjiga Meki uvez
common.buy 13.03 €
Zpět o sto let na výlet Renata Šindelářová / Knjiga Meki uvez
common.buy 3.22 €
metodo Mystery. Un approccio infallibile per sedurre le donne più belle del mondo Mystery / Knjiga Meki uvez
common.buy 13.33 €
TEMARIO DE TROMBON VICENTE MONZO / Knjiga Meki uvez
common.buy 314.06 €
Angielski. Przewodnik językowy Patrycja Karnik / Knjiga Meki uvez
common.buy 12.42 €
Clef Junich Tanizaki / Knjiga Meki uvez
common.buy 11.51 €
Manual práctico de Defensa Personal para mujeres MANUEL MONTERO KIESOW / Knjiga Meki uvez
common.buy 24.14 €
Coches muy antiguos Ruiz Palacio / Knjiga Meki uvez
common.buy 19.70 €
Der Kreis Husum K. Sönnichsen / Knjiga Meki uvez
common.buy 24.14 €
Kostenfalle Messe? Anja Steinrücken / Knjiga Meki uvez
common.buy 51.63 €
Theaterhandwerk Alan Ayckbourn / Knjiga Meki uvez
common.buy 19.70 €
Aus der Praxis der Zuckerindustrie Otto Mittelstaedt / Knjiga Meki uvez
common.buy 13.53 €
Laubgewind Jakob Chr. Heer / Knjiga Meki uvez
common.buy 26.77 €
Brasilien im IBSA-Dialogforum Claudia Liebeswar / Knjiga Meki uvez
common.buy 16.16 €
Widerstand im totalitaren System - a priori chancenlos? Steffen Radtke / Knjiga Meki uvez
common.buy 16.16 €
USA und der internationale Klimaschutz Jan Hollmann / Knjiga Meki uvez
common.buy 16.16 €

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.

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 Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2013
Broj stranica 498
EAN 9783642396335
ISBN 364239633X
Libristo kod 01664057
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 777
Dimenzije 155 x 235 x 29

Kategorija

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
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 Gerwin Klein / Knjiga Meki uvez
common.buy 51.63 €
Horizons in Cancer Research Hiroto S Watanabe / Knjiga Tvrdi uvez
common.buy 321.84 €
Nubia Lake Paddleboarding: A Guide To Flat Water Stand Up Paddling Vie Binga / Knjiga Meki uvez
common.buy 13.03 €
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 / Knjiga Tvrdi uvez
common.buy 39.20 €
How to Write Fanfiction Howexpert Press / Knjiga Meki uvez
common.buy 19.29 €
How Claims Spread Joel Best / Knjiga Meki uvez
common.buy 52.34 €
Tide Running Oonya Kempadoo / Knjiga Meki uvez
common.buy 22.02 €
Journey to Meet Beethoven Pat Champness / Knjiga Meki uvez
common.buy 10.80 €
Teaching Is a Privilege Elizabeth Cervini Manvell / Knjiga Tvrdi uvez
common.buy 146.82 €
Birds of Myanmar Kyaw Nyunt Lwin / Knjiga Meki uvez
common.buy 50.21 €
Beauchamp Hall Danielle Steel / Knjiga Meki uvez
common.buy 28.79 €
Boost Your Immune System: Change Understanding About Healthy Eating, Change Your Mindset and Attitude Towards Healthy Living. Michal Kloczkowski / Knjiga Meki uvez
common.buy 6.15 €
Beyond 2.0 Steve Collins / Knjiga Meki uvez
common.buy 34.04 €
Time Series Analysis and Inverse Theory for Geophysicists David Gubbins / Knjiga Meki uvez
common.buy 91.14 €
Cinema of the 70s: 101 Iconic Movies John H Foote / Knjiga Meki uvez
common.buy 21.21 €

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