語系
Hlineny, Petr.
概要
作品: | 0 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Mathematical foundations of computer science 2010 = 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, proceedings /
by:
Hlineny, Petr.; Kucera, Antonin.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Mathematical and engineering methods in computer science = 9th International Doctoral Workshop, MEMICS 2014, Telc, Czech Republic, October 17 - 19, 2014 : revised selected papers /
by:
Hlineny, Petr.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software engineering
Artificial intelligence
Software Engineering.
Game Theory/Mathematical Methods.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Data Structures.
Management of Computing and Information Systems.
Computer logic
Computer science- Mathematics
Computer science
Computer Science.
Discrete Mathematics in Computer Science.
Computer Communication Networks.