Lecture Notes in Computer Science 4231 Advances in Conceptual Modeling-Theory and Practice ER 2006 W
CoMoGIS COSSOIS 年出版0 页ISBN:SemWAT
Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN:0198538359
Mathematical structures for computer graphics
Steven J. Janke2015 年出版392 页ISBN:1118712191