Nakano, Keisuke.
概要
作品: | 0 作品在 0 項出版品 0 種語言 |
---|
書目資訊
Software Foundations for Data Interoperability = 5th International Workshop, SFDI 2021, Copenhagen, Denmark, August 16, 2021, Revised Selected Papers /
by:
Fletcher, George.; SpringerLink (Online service); Sasaki, Yuya.; Nakano, Keisuke.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Functional and Logic Programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings /
by:
SpringerLink (Online service); Sagonas, Konstantinos.; Nakano, Keisuke.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Computer engineering.
Computer science—Mathematics.
Data Structures and Information Theory.
Computer logic.
Computer networks .
Artificial intelligence.
Information theory.
Software engineering.
Data structures (Computer science).
Mathematics of Computing.
Computer programming.
Programming Techniques.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer Engineering and Networks.
Artificial Intelligence.