Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Interactive Theorem Proving

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Interactive Theorem Proving Christian Urban
Libristo kód: 09378411
Nakladateľstvo Springer International Publishing AG, august 2015
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Pro... Celý popis
? points 125 b
51.62 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Le Manuscrit cathare M.J. Rose / Kniha Brožovaná
common.buy 20.60 €
Interessenkollisionen Bei Der Bestellung Des (Vorlaeufigen) Insolvenzverwalters Beziehungsweise (Vorlaeufigen) Sachwalters Aus Strafrechtlicher Sicht Helge Hölken / Kniha Pevná
common.buy 83.44 €
Historien Tacitus / Kniha Pevná
common.buy 22.01 €
Psí průšviháři - Nenapravitelný boxer Tui T. Sutherland / Kniha Brožovaná
common.buy 6.76 €
Laubsäge-Vorlage Bea - das freche Schaf / Hra/Hračka Hračka
common.buy 13.33 €
Ein Motiv aus dem Kalender Florales zu jeder Jahreszeit (Puzzle) Anette Jäger / Hra/Hračka Hra
common.buy 34.34 €
Karl der Grosse und die Mauren Robert Schneider / Kniha Brožovaná
common.buy 16.16 €
Masa plastyczna Hey Clay puchate zwierzaki HCL15023 / Kniha binding.
common.buy 29.29 €
Hippocrate, Tome IV, 3e Partie: Epidemies V Et VII Hippocrates / Kniha Brožovaná
common.buy 84.25 €
Lebenserinnerungen und Denkwurdigkeiten Carl Gustav Carus / Kniha Brožovaná
common.buy 24.14 €
Klementina von Porretta Christoph Martin Wieland / Kniha Brožovaná
common.buy 8.98 €
Upravlenie kachestvom v sovremennom otdelenii luchevoj diagnostiki K. V. Kushnir / Kniha Brožovaná
common.buy 32.93 €
Age de Depart A La Retraite - Effets Sur l'Evolution Macroeconomique Belkouch Hicham / Kniha Brožovaná
common.buy 32.02 €
Strandgut Tanja Korf / Kniha Brožovaná
common.buy 9.08 €
Live-Arrangement, m. DVD Jürgen Terhag / Kniha Brožovaná
common.buy 24.44 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Interactive Theorem Proving
Autor Christian Urban, Xingyuan Zhang
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2015
Počet strán 469
EAN 9783319221014
ISBN 3319221019
Libristo kód 09378411
Nakladateľstvo Springer International Publishing AG
Váha 7256
Rozmery 155 x 235 x 28

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Matematika a veda > Matematika > Matematické základy > Matematická logika
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Algoritmy a dátové štruktúry
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Počítačové siete a komunikácia > Zabezpečenie siete
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Výpočtové a informačné technológie > Počítačová bezpečnosť
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

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

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?