钱伯斯(Marcus J.Chambers)。;J.罗德里克·麦克罗里 时间聚集高斯协整系统的频域估计。 (英语) Zbl 1418.62307号 《经济学杂志》。 136,第1期,1-29页(2007年).MSC公司:62米10 62M15型 2012年12月62日 62第20页 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Chambers}和\textit{J.R.McCorrie},J.Econom。136,编号1,1--29(2007年;兹bl 1418.62307) 全文: 内政部
魏斯,P。;伊梅尔曼,N。 词上FO(^{2})的结构定理和严格交替层次。 (英语) Zbl 1168.03328号 Duparc,Jacques(编辑)等人,《计算机科学逻辑》。2007年9月11日至15日,第21届国际研讨会,2007年CSL,第16届EACSL年会,瑞士卢桑。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74914-1/pbk)。计算机科学课堂讲稿4646343-357(2007)。MSC公司:03立方厘米13 03B44号 03C07号机组 05年3月 2017年第68季度 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Weis}和\textit{N.Immerman},莱克特。注释计算。科学。4646、343--357(2007年;Zbl 1168.03328) 全文: 内政部
Jonker,天主教M。;Martijn C.舒特。;简·特雷尔;尤姆,帕纳 通过形式化、模拟和验证分析会议协议。 (英语) 兹比尔1132.68783 计算。数学。器官。理论 13,第3号,283-314(2007).MSC公司:68T50型 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Jonker}等人,《计算》。数学。器官。理论13,第3号,283--314(2007;Zbl 1132.68783) 全文: 内政部 链接
亚历山大·拉比诺维奇 具有不可通约距离的时间逻辑是不可判定的。 (英语) 邮编1128.03009 Inf.计算。 205,编号5,707-715(2007). 审核人:托马斯·斯图德(伯尔尼) MSC公司:03B44号 03天35分 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich},Inf.计算。205,第5号,707--715(2007;Zbl 1128.03009) 全文: 内政部
唐文婷;傅云;卢德米拉·切尔卡索娃;阿明·瓦达特 建模并生成真实的流媒体服务器工作负载。 (英语) Zbl 1118.68021号 计算。Netw公司。 51,第1号,336-356(2007).MSC公司:68M10个 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{W.Tang}等人,计算。Netw公司。51,No.1,336--356(2007;Zbl 1118.68021) 全文: 内政部