沃德·道格拉斯·莫勒 部分定义的计算机指令和保护。 (英语) Zbl 1156.68018号 科学。计算。程序。 72,第3期,220-239(2008).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{W.D.Maurer},科学。计算。程序。72,第3号,220--239(2008;Zbl 1156.68018) 全文: 内政部
尼库·弗鲁贾。 旨在证明的类型安全性。净CIL。 (英语) Zbl 1154.68359号 科学。计算。程序。 72,第3号,176-219(2008).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{N.G.Fruja},科学。计算。程序。72,第3号,176--219(2008;Zbl 1154.68359) 全文: 内政部
库尔克,G.P。;C.弗霍夫。 量化需求波动影响。 (英语) 兹比尔1151.91721 科学。计算。程序。 72,第3号,136-175(2008).MSC公司:91B84号 91B28型 PDF格式BibTeX公司 XML格式引用 \textit{G.P.Kulk}和\textit{C.Verhoef},科学。计算。程序。72,第3号,136--175(2008;Zbl 1151.91721) 全文: 内政部 链接
《日光》,埃德加·G·。;阿诺特·范德卡佩尔;弗朗基·卡托尔 EASYMAP背后的形式主义:用于基于细化的层次数据组织探索的预编译器。 (英语) Zbl 1154.68368号 科学。计算。程序。 72,第3期,71-135(2008).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Daylight}等人,科学。计算。程序。72,编号3,71--135(2008;Zbl 1154.68368) 全文: 内政部