Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

0 Mėgstami
0Krepšelis

Theoretical Aspects of Computing - ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

-22% su kodu: BOOKS
66,05 
Įprasta kaina: 84,68 
-22% su kodu: BOOKS
Kupono kodas: BOOKS
Akcija baigiasi: 2025-03-09
-22% su kodu: BOOKS
66,05 
Įprasta kaina: 84,68 
-22% su kodu: BOOKS
Kupono kodas: BOOKS
Akcija baigiasi: 2025-03-09
-22% su kodu: BOOKS
2025-02-28 66.05 InStock
Nemokamas pristatymas į paštomatus per 11-15 darbo dienų užsakymams nuo 10,00 

Knygos aprašymas

This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017. The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; automata; SMT solvers and algorithms; and security.

Informacija

Leidėjas: Springer Nature Switzerland
Išleidimo metai: 2017
Knygos puslapių skaičius: 328
ISBN-10: 3319677284
ISBN-13: 9783319677286
Formatas: 235 x 155 x 18 mm. Knyga minkštu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Theoretical Aspects of Computing - ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings“

Būtina įvertinti prekę

Goodreads reviews for „Theoretical Aspects of Computing - ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings“