Hung, Dang.
Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings / [electronic resource] : edited by Dang Hung, Martin Wirsing. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3722 0302-9743 ; . - Lecture Notes in Computer Science, 3722 .
9783540320722
10.1007/11560647 doi
Computer science.
Computer Communication Networks.
Logic design.
Computer Science.
Computation by Abstract Devices.
Computer Communication Networks.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
QA75.5-76.95
004.0151
Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings / [electronic resource] : edited by Dang Hung, Martin Wirsing. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3722 0302-9743 ; . - Lecture Notes in Computer Science, 3722 .
9783540320722
10.1007/11560647 doi
Computer science.
Computer Communication Networks.
Logic design.
Computer Science.
Computation by Abstract Devices.
Computer Communication Networks.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
QA75.5-76.95
004.0151