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 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Interactive Theorem Proving

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Interactive Theorem Proving Sandrine Blazy
Koda Libristo: 01664057
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junij 2013
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Th... Celoten opis
? points 118 b
48.91 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

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

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.

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 Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2013
Število strani 498
EAN 9783642396335
ISBN 364239633X
Koda Libristo 01664057
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 777
Mere 155 x 235 x 29

Kategorije

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
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 Gerwin Klein / Knjiga Mehka
common.buy 48.91 €
Horizons in Cancer Research Hiroto S Watanabe / Knjiga Trda
common.buy 304.65 €
Nubia Lake Paddleboarding: A Guide To Flat Water Stand Up Paddling Vie Binga / Knjiga Mehka
common.buy 12.35 €
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 Trda
common.buy 37.36 €
How to Write Fanfiction Howexpert Press / Knjiga Mehka
common.buy 18.32 €
How Claims Spread Joel Best / Knjiga Mehka
common.buy 49.92 €
Tide Running Oonya Kempadoo / Knjiga Mehka
common.buy 21.16 €
Journey to Meet Beethoven Pat Champness / Knjiga Mehka
common.buy 10.32 €
Teaching Is a Privilege Elizabeth Cervini Manvell / Knjiga Trda
common.buy 147.15 €
Birds of Myanmar Kyaw Nyunt Lwin / Knjiga Mehka
common.buy 48.00 €
Beauchamp Hall Danielle Steel / Knjiga Mehka
common.buy 27.23 €
Boost Your Immune System: Change Understanding About Healthy Eating, Change Your Mindset and Attitude Towards Healthy Living. Michal Kloczkowski / Knjiga Mehka
common.buy 5.86 €
Beyond 2.0 Steve Collins / Knjiga Mehka
common.buy 32.70 €
Time Series Analysis and Inverse Theory for Geophysicists David Gubbins / Knjiga Mehka
common.buy 91.35 €
Cinema of the 70s: 101 Iconic Movies John H Foote / Knjiga Mehka
common.buy 19.84 €

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?