English  |  正體中文  |  简体中文  |  总笔数 :2856753  
造访人次 :  53860345    在线人数 :  1273
教育部委托研究计画      计画执行:国立台湾大学图书馆
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
关于TAIR

浏览

消息

著作权

相关连结

"abdulla p a"的相关文件

回到依作者浏览
依题名排序 依日期排序

显示项目 1-2 / 2 (共1页)
1 
每页显示[10|25|50]项目

机构 日期 题名 作者
臺大學術典藏 2018-09-10T03:26:28Z Algorithmic analysis of programs with well quasi-ordered domains Abdulla, P.A.;?erans, K.;Jonsson, B.;Tsay, Y.-K.; Abdulla, P.A.; ?erans, K.; Jonsson, B.; Tsay, Y.-K.; YIH-KUEN TSAY
國立臺灣大學 2000 Algorithmic Analysis of Programs with Well Quasi-Ordered Domains Abdulla, P. A.; Cerans, K.; Jonsson, B.; Tsay, Y.K.

显示项目 1-2 / 2 (共1页)
1 
每页显示[10|25|50]项目