語系
Valencia, Frank D.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Theoretical Aspects of Computing - ICTAC 2015 = 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
by:
Leucker, Martin.; Valencia, Frank D.; SpringerLink (Online service); Rueda, Camilo.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Theoretical aspects of computing - ICTAC 2015 = 12th International Colloquium Cali, Colombia, October 29-31, 2015 : proceedings /
by:
Rueda, Camilo.; SpringerLink (Online service); Leucker, Martin.; Workshop on the Preservation of Stability under Discretization ((2001 :); Valencia, Frank D.
(書目-語言資料,印刷品)
主題
Mathematical logic.
Software Engineering.
Computer science—Mathematics.
Computer logic.
Software engineering.
Computer science.
Discrete Mathematics in Computer Science.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Computer science
Mathematical Logic and Formal Languages.