语系:
簡体中文
English
日文
繁體中文
说明
登入
[NT 60476] Jump To :
概要
书目信息
主题
Computer programming - Congresses. - Mathematics
概要
作品:
1 作品在 1 项出版品 1 种语言
书目信息
Mathematics of program construction[electronic resource] :12th International Conference, MPC 2015, Konigswinter, Germany, June 29 - July 1, 2015 : proceedings /
by:
(书目-语言数据,印刷品)
主题
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Computer programming
Programming Languages, Compilers, Interpreters.
Computer programs
Computer Science.
Discrete Mathematics in Computer Science.
Math Applications in Computer Science.
处理中
...
变更密码
登入