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

6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Interactive Theorem Proving Christian Urban
Libristo kod: 09378411
Nakladnici Springer International Publishing AG, kolovoz 2015
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Pro... Cijeli opis
? points 125 b
51.65 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Interessenkollisionen Bei Der Bestellung Des (Vorlaeufigen) Insolvenzverwalters Beziehungsweise (Vorlaeufigen) Sachwalters Aus Strafrechtlicher Sicht Helge Hölken / Knjiga Tvrdi uvez
common.buy 83.49 €
Historien Tacitus / Knjiga Tvrdi uvez
common.buy 20.82 €
Psí průšviháři - Nenapravitelný boxer Tui T. Sutherland / Knjiga Meki uvez
common.buy 6.76 €
Karl der Grosse und die Mauren Robert Schneider / Knjiga Meki uvez
common.buy 16.17 €
Le Manuscrit cathare M.J. Rose / Knjiga Meki uvez
common.buy 19.50 €
Masa plastyczna Hey Clay puchate zwierzaki HCL15023 / Knjiga binding.
common.buy 27.79 €
No God in Eden 02 Diana Hesse / Knjiga Meki uvez
common.buy 7.37 €
Var tids vagpirater stal mobiltelefoner Diverse / E-knjiga Adobe ePub DRM
common.buy 3.83 €
Laubsäge-Vorlage Bea - das freche Schaf / Igra/Igračka Igračka
common.buy 12.53 €
Ein Motiv aus dem Kalender Florales zu jeder Jahreszeit (Puzzle) Anette Jäger / Igra/Igračka Igra
common.buy 32.54 €
Hippocrate, Tome IV, 3e Partie: Epidemies V Et VII Hippocrates / Knjiga Meki uvez
common.buy 100.07 €
Lebenserinnerungen und Denkwurdigkeiten Carl Gustav Carus / Knjiga Meki uvez
common.buy 24.05 €
Klementina von Porretta Christoph Martin Wieland / Knjiga Meki uvez
common.buy 8.99 €
Upravlenie kachestvom v sovremennom otdelenii luchevoj diagnostiki K. V. Kushnir / Knjiga Meki uvez
common.buy 32.95 €
Age de Depart A La Retraite - Effets Sur l'Evolution Macroeconomique Belkouch Hicham / Knjiga Meki uvez
common.buy 32.04 €
Strandgut Tanja Korf / Knjiga Meki uvez
common.buy 9.09 €
Live-Arrangement, m. DVD Jürgen Terhag / Knjiga Meki uvez
common.buy 24.45 €

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

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 Christian Urban, Xingyuan Zhang
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2015
Broj stranica 469
EAN 9783319221014
ISBN 3319221019
Libristo kod 09378411
Nakladnici Springer International Publishing AG
Težina 7256
Dimenzije 155 x 235 x 28

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

Antiviral Agents Ernst Jucker / Knjiga Meki uvez
common.buy 51.65 €
Bedouins into Bourgeois Calvert W. Jones / Knjiga Tvrdi uvez
common.buy 133.23 €
Deus Comedieta Tade Bolade / Knjiga Meki uvez
common.buy 12.32 €
Botanical, 20 Umschläge Pepin van Roojen / Knjiga Meki uvez
common.buy 14.45 €
The Smile of the Sphinx Marguerite Bouvet / Knjiga Meki uvez
common.buy 27.29 €
Biocalorimetry Margarida Bastos / Knjiga Tvrdi uvez
common.buy 292.36 €
Questions and Answers for Dental Nurses Carole Hollins / E-knjiga Adobe ePub DRM
common.buy 32.44 €
Harmony in Chopin David Damschroder / Knjiga Meki uvez
common.buy 48.11 €
Childbirth Trauma Stergios K Doumouchtsis / Knjiga Tvrdi uvez
common.buy 150.92 €
Shi'i Cosmopolitanisms in Africa Mara A Leichtman / Knjiga Tvrdi uvez
common.buy 91.99 €
God's Not Dead Adult Study Guide Rice Broocks / Knjiga Meki uvez
common.buy 9.70 €
Brooklyn Heights Sublet Jonah Cohen / Knjiga Meki uvez
common.buy 25.77 €
And All for What? D.W.J. Cuddeford / Knjiga Tvrdi uvez
common.buy 46.80 €
Poetry of Being Vaidehi Raipat / Knjiga Meki uvez
common.buy 6.46 €
Stagecoach of Mariah Sandra K Lee / Knjiga Meki uvez
common.buy 22.53 €
It All Started with Gogol Thomas L Aman / Knjiga Tvrdi uvez
common.buy 24.15 €
Jutland 1916 Charles London / Knjiga Meki uvez
common.buy 20.51 €
Machine James Smythe / Knjiga Meki uvez
common.buy 13.23 €
Who is Jesus? Thomas P. Rausch / Knjiga Meki uvez
common.buy 21.12 €
Encyclopedia of Mystics, Saints & Sages Judika Illes / Knjiga Tvrdi uvez
common.buy 26.38 €
Making Divorce Work Keith Barret / Knjiga Meki uvez
common.buy 9.19 €

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?