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 Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 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

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Interactive Theorem Proving Christian Urban
Koda Libristo: 09378411
Založba Springer International Publishing AG, avgust 2015
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Pro... Celoten opis
? points 118 b
48.79 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Le Manuscrit cathare M.J. Rose / Knjiga Mehka
common.buy 18.78 €
Interessenkollisionen Bei Der Bestellung Des (Vorlaeufigen) Insolvenzverwalters Beziehungsweise (Vorlaeufigen) Sachwalters Aus Strafrechtlicher Sicht Helge Hölken / Knjiga Trda
common.buy 83.44 €
Historien Tacitus / Knjiga Trda
common.buy 19.59 €
Psí průšviháři - Nenapravitelný boxer Tui T. Sutherland / Knjiga Mehka
common.buy 6.36 €
Laubsäge-Vorlage Bea - das freche Schaf / Igra/Igrača Igrača
common.buy 11.91 €
Ein Motiv aus dem Kalender Florales zu jeder Jahreszeit (Puzzle) Anette Jäger / Igra/Igrača Igra
common.buy 30.70 €
Karl der Grosse und die Mauren Robert Schneider / Knjiga Mehka
common.buy 15.25 €
Masa plastyczna Hey Clay puchate zwierzaki HCL15023 / Knjiga binding.
common.buy 26.26 €
Hippocrate, Tome IV, 3e Partie: Epidemies V Et VII Hippocrates / Knjiga Mehka
common.buy 76.98 €
Lebenserinnerungen und Denkwurdigkeiten Carl Gustav Carus / Knjiga Mehka
common.buy 22.72 €
Klementina von Porretta Christoph Martin Wieland / Knjiga Mehka
common.buy 8.48 €
Upravlenie kachestvom v sovremennom otdelenii luchevoj diagnostiki K. V. Kushnir / Knjiga Mehka
common.buy 31.01 €
Age de Depart A La Retraite - Effets Sur l'Evolution Macroeconomique Belkouch Hicham / Knjiga Mehka
common.buy 30.20 €
Strandgut Tanja Korf / Knjiga Mehka
common.buy 8.58 €
Live-Arrangement, m. DVD Jürgen Terhag / Knjiga Mehka
common.buy 22.92 €

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.

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 Christian Urban, Xingyuan Zhang
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2015
Število strani 469
EAN 9783319221014
ISBN 3319221019
Koda Libristo 09378411
Založba Springer International Publishing AG
Teža 7256
Mere 155 x 235 x 28

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

Bedouins into Bourgeois Calvert W. Jones / Knjiga Trda
common.buy 127.09 €
Deus Comedieta Tade Bolade / Knjiga Mehka
common.buy 11.71 €
Biocalorimetry Margarida Bastos / Knjiga Trda
common.buy 264.39 €
Botanical, 20 Umschläge Pepin van Roojen / Knjiga Mehka
common.buy 13.73 €
The Smile of the Sphinx Marguerite Bouvet / Knjiga Mehka
common.buy 25.65 €
Harmony in Chopin David Damschroder / Knjiga Mehka
common.buy 45.86 €
Childbirth Trauma Stergios K Doumouchtsis / Knjiga Trda
common.buy 142.44 €
Shi'i Cosmopolitanisms in Africa Mara A Leichtman / Knjiga Trda
common.buy 88.19 €
God's Not Dead Adult Study Guide Rice Broocks / Knjiga Mehka
common.buy 9.08 €
Brooklyn Heights Sublet Jonah Cohen / Knjiga Mehka
common.buy 26.46 €
Antiviral Agents Ernst Jucker / Knjiga Mehka
common.buy 48.79 €
Machine James Smythe / Knjiga Mehka
common.buy 13.23 €
Making Divorce Work Keith Barret / Knjiga Mehka
common.buy 8.58 €
Encyclopedia of Mystics, Saints & Sages Judika Illes / Knjiga Trda
common.buy 24.64 €
Who is Jesus? Thomas P. Rausch / Knjiga Mehka
common.buy 19.89 €
And All for What? D.W.J. Cuddeford / Knjiga Trda
common.buy 44.44 €
Jutland 1916 Charles London / Knjiga Mehka
common.buy 19.29 €
It All Started with Gogol Thomas L Aman / Knjiga Trda
common.buy 25.05 €
Stagecoach of Mariah Sandra K Lee / Knjiga Mehka
common.buy 24.04 €
Poetry of Being Vaidehi Raipat / Knjiga Mehka
common.buy 6.05 €

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?