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

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

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Hung, Dang Van. (Editor), Kapur, Deepak. (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Theoretical Computer Science and General Issues ; 10580
Subjects:
Computer logic.
Programming languages (Electronic computers).
Artificial intelligence.
Software engineering.
Mathematical logic.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Artificial Intelligence.
Software Engineering.
Mathematical Logic and Formal Languages.

Sistema de Bibliotecas del Tecnológico de Costa Rica

Holdings details from Sistema de Bibliotecas del Tecnológico de Costa Rica
Copy Available

Similar Items