語系
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.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Computer science
Software engineering.
Mathematical Logic and Formal Languages.
Computer science.
Discrete Mathematics in Computer Science.