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

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.73 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Upravlenie kachestvom v sovremennom otdelenii luchevoj diagnostiki K. V. Kushnir / Knjiga Meki uvez
common.buy 33.00 €
Klementina von Porretta Christoph Martin Wieland / Knjiga Meki uvez
common.buy 9.00 €
Age de Depart A La Retraite - Effets Sur l'Evolution Macroeconomique Belkouch Hicham / Knjiga Meki uvez
common.buy 32.09 €
Strandgut Tanja Korf / Knjiga Meki uvez
common.buy 9.10 €
Lebenserinnerungen und Denkwurdigkeiten Carl Gustav Carus / Knjiga Meki uvez
common.buy 24.19 €
Hippocrate, Tome IV, 3e Partie: Epidemies V Et VII Hippocrates / Knjiga Meki uvez
common.buy 80.80 €
Ein Motiv aus dem Kalender Florales zu jeder Jahreszeit (Puzzle) Anette Jäger / Igra/Igračka Igra
common.buy 32.60 €
Laubsäge-Vorlage Bea - das freche Schaf / Igra/Igračka Igračka
common.buy 12.65 €
Streichquintett G-Dur (Smycový kvintet G dur) op. 77, Partitur und Stimmen Antonín Dvorák / Tiskanica Note
common.buy 24.90 €
Le Manuscrit cathare M.J. Rose / Knjiga Meki uvez
common.buy 19.74 €
Interessenkollisionen Bei Der Bestellung Des (Vorlaeufigen) Insolvenzverwalters Beziehungsweise (Vorlaeufigen) Sachwalters Aus Strafrechtlicher Sicht Helge Hölken / Knjiga Tvrdi uvez
common.buy 83.63 €
Masa plastyczna Hey Clay puchate zwierzaki HCL15023 / Knjiga binding.
common.buy 27.84 €

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

Machine James Smythe / Knjiga Meki uvez
common.buy 13.26 €
The Smile of the Sphinx Marguerite Bouvet / Knjiga Meki uvez
common.buy 27.33 €
Bedouins into Bourgeois Calvert W. Jones / Knjiga Tvrdi uvez
common.buy 133.45 €
Deus Comedieta Tade Bolade / Knjiga Meki uvez
common.buy 12.34 €
Biocalorimetry Margarida Bastos / Knjiga Tvrdi uvez
common.buy 278.97 €
Harmony in Chopin David Damschroder / Knjiga Meki uvez
common.buy 48.19 €
Childbirth Trauma Stergios K Doumouchtsis / Knjiga Tvrdi uvez
common.buy 151.17 €
Shi'i Cosmopolitanisms in Africa Mara A Leichtman / Knjiga Tvrdi uvez
common.buy 92.14 €
God's Not Dead Adult Study Guide Rice Broocks / Knjiga Meki uvez
common.buy 9.71 €
Brooklyn Heights Sublet Jonah Cohen / Knjiga Meki uvez
common.buy 27.94 €
Antiviral Agents Ernst Jucker / Knjiga Meki uvez
common.buy 51.73 €
Making Divorce Work Keith Barret / Knjiga Meki uvez
common.buy 9.20 €
Who is Jesus? Thomas P. Rausch / Knjiga Meki uvez
common.buy 21.15 €
It All Started with Gogol Thomas L Aman / Knjiga Tvrdi uvez
common.buy 26.32 €
Stagecoach of Mariah Sandra K Lee / Knjiga Meki uvez
common.buy 25.20 €
Poetry of Being Vaidehi Raipat / Knjiga Meki uvez
common.buy 6.47 €
And All for What? D.W.J. Cuddeford / Knjiga Tvrdi uvez
common.buy 46.87 €

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?