phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

Interactive Theorem Proving

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 154 b
61.30 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Harmony in Chopin David Damschroder / Brožovaná
common.buy 45.80 €
Deus Comedieta Tade Bolade / Brožovaná
common.buy 13.18 €
God's Not Dead Adult Study Guide Rice Broocks / Brožovaná
common.buy 11.57 €
Poetry of Being Vaidehi Raipat / Brožovaná
common.buy 6.84 €
And All for What? D.W.J. Cuddeford / Pevná
common.buy 49.72 €
Klementina von Porretta Christoph Martin Wieland / Brožovaná
common.buy 16.70 €
PRIPRAVUJEME
Khaqani, Poet-Philosopher of Medieval Persia Alireza Korangy / Brožovaná
common.buy 109.53 €
Brooklyn Heights Sublet Jonah Cohen / Brožovaná
common.buy 26.77 €
Streichquintett G-Dur (Smycový kvintet G dur) op. 77, Partitur und Stimmen Antonín Dvorák / Noty
common.buy 23.45 €
Strandgut Tanja Korf / Brožovaná
common.buy 23.55 €
Shi'i Cosmopolitanisms in Africa Mara A Leichtman / Pevná
common.buy 97.85 €
Age de Depart A La Retraite - Effets Sur l'Evolution Macroeconomique Belkouch Hicham / Brožovaná
common.buy 46.70 €
Upravlenie kachestvom v sovremennom otdelenii luchevoj diagnostiki K. V. Kushnir / Brožovaná
common.buy 35.13 €

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.

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

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