×

找到205个文档(结果1–100)

随机事件的HYPE。 (英语) Zbl 1457.68179号

Massink,Mieke(编辑)等人,第九届编程语言定量方面研讨会论文集,德国萨尔布吕肯,2011年4月1日至3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)57120-133(2011年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

非线性概率混合系统分析。 (英语) 兹比尔1457.68159

Massink,Mieke(编辑)等人,第九届编程语言定量方面研讨会论文集,德国萨尔布吕肯,2011年4月1日至3日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)57104-119(2011)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

线性混合系统的高效精确综合。 (英语) Zbl 1457.68139号

D'Agostino,Giovanna(编辑)等人,第二届游戏、自动机、逻辑和形式验证国际研讨会,意大利Minori,2011年6月15日至17日。诉讼程序。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)54,263-277(2011)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

三维多线性系统可达性的判定。 (英语) Zbl 1457.68110号

D'Agostino,Giovanna(编辑)等人,第二届游戏、自动机、逻辑和形式验证国际研讨会,意大利Minori,2011年6月15日至17日。诉讼程序。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)54,250-262(2011)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

关于力学的经典和函数方法。 (俄语。英文摘要) Zbl 1449.82002号

理学硕士:82二氧化碳
PDF格式BibTeX公司 XML格式引用
全文: 内政部 MNR公司

规范理论中旋量有效作用的质量依赖性。 (英语) Zbl 1331.81194号

阿亚拉、亚历杭德罗(编辑)等,第十二届墨西哥粒子与场研讨会,墨西哥马扎特兰,2009年11月9日至14日。根据研讨会上的演示选择论文。纽约州梅尔维尔:美国物理研究所(AIP)(ISBN 978-0-7354-0919-4/pbk)。AIP会议记录1361,262-266(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

校样和程序有什么区别? (英语) Zbl 1319.03044号

van Benthem,Johan(编辑)等人,《证明、计算和代理》。十字路口的逻辑。多德雷赫特:施普林格出版社(ISBN 978-94-007-0920-1/套;978-94-007-0079-6/hbk;978-94-007-0080-2/电子书)。Synthese Library 35281-97(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

基于效果的程序转换的Kripke逻辑关系。 (英语) Zbl 1323.68230号

2011年9月19-21日在日本东京举行的第16届ACM SIGPLAN功能编程国际会议记录,ICFP’11。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0865-6)。ACM SIGPLAN Notices 46,No.9,445-456(2011)。
理学硕士:68号30 68甲18 68N20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过多语言语义提供对等的CPS翻译。 (英语) Zbl 1323.68088号

2011年9月19-21日在日本东京举行的第16届ACM SIGPLAN功能编程国际会议记录,ICFP’11。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0865-6)。ACM SIGPLAN Notices 46,No.9,431-444(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一级控制下推流量分析。 (英语) Zbl 1323.68169号

2011年9月19-21日在日本东京举行的第16届ACM SIGPLAN功能编程国际会议记录,ICFP’11。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0865-6)。ACM SIGPLAN通知46,第9号,69-80(2011)。
理学硕士:68甲18 60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

2011年4月12日至14日,美国伊利诺伊州芝加哥,HSCC 2011,第14届ACM混合系统国际会议论文集:计算与控制。 (英语) Zbl 1300.93003号

纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0629-4)。x、 第319页。,仅电子版(2011年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用模式匹配的代数数据类型验证高阶函数程序。 (英语) Zbl 1284.68193号

2011年1月26日至28日,美国德克萨斯州奥斯汀,POPL'11,第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0490-0)。587-598 (2011).
理学硕士:68号30 68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

ML和汇编之间的Kripke逻辑关系。 (英语) Zbl 1284.68148号

2011年1月26日至28日,美国德克萨斯州奥斯汀,POPL'11,第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0490-0)。133-146 (2011).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

哈伯德模型的超群方法。 (英语。俄文原件) Zbl 1274.82100号

西奥。数学。物理学。 166,第2期,210-223(2011); 来自Teor的翻译。材料Fiz。166,第2期,245-260(2011)。
理学硕士:82D55型
PDF格式BibTeX公司 XML格式引用

哈伯德模型中无自旋代数的超相干态的有效泛函。 (英语。俄文原件) Zbl 1259.82139号

俄罗斯物理。J。 54,第6期,658-667(2011); Izv的翻译。维什。乌切布。扎韦德。,Fiz.公司。,第6期,39-46(2011)。
理学硕士:82D55型 17A70型 81立方米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

\使用Fourier-Jacobi模型的辛群的(L)-函数。 (英语) Zbl 1325.11042号

Cogdell,James(编辑)等人,《算术几何与自守形式》。在斯蒂芬·库德拉60岁生日之际,费斯特施里夫向他致敬。马萨诸塞州萨默维尔:国际出版社;北京:高等教育出版社(ISBN 978-1-57146-229-9/pbk)。数学高级讲座(ALM)19,183-207(2011)。
理学硕士:11楼66 11楼70 22E55型
PDF格式BibTeX公司 XML格式引用
全文: 链接

层压板的单侧问题:对偶空间中带约束的变分公式。 (英语) Zbl 1273.74067号

Zavarise,Giorgio(编辑)等人,《计算接触力学趋势》。论文基于2009年9月16日至18日在意大利莱切举行的第一届计算接触力学国际会议上的陈述。柏林:施普林格出版社(ISBN 978-3-642-22166-8/hbk;978-3-442-22167-5/电子书)。应用和计算力学课堂讲稿58,321-338(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加权Schur类函数及其不变子空间的内外因式分解。 (英语) Zbl 1269.47019号

Janas,Jan(编辑)等人,《光谱理论与分析》。2008年算子理论、分析和数学物理会议(OTAMP),波兰贝德卢奥。柏林:施普林格出版社(ISBN 978-3-7643-9993-1/hbk;978-94-007-0431-2/电子书)。《算符理论:进展与应用》214125-134(2011)。
理学硕士:47A68型 47A56型 47A45型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于模板的仿射混合自动机无界时间验证。 (英语) Zbl 1348.68100号

Yang,Hongseok(编辑),《编程语言和系统》。第九届亚洲研讨会,2011年APLAS,2011年12月5日至7日,台湾垦丁。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-25317-1/pbk)。计算机科学课堂讲稿7078,34-49(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

辨识变分问题中极值的跟踪参数。 (俄语、英语。英文摘要) Zbl 1249.41036号

维斯特。新西卜。戈斯。州立大学。马特·梅赫。通知。 11,第3期,95-113(2011); J.Math中的翻译。科学。,纽约195,第6期,791-804(2013)。
理学硕士:41A29号
PDF格式BibTeX公司 XML格式引用

谱密度快速下降未知随机信号的最优模型匹配问题。 (英语。俄文原件) Zbl 1261.93089号

多克。数学。 83,第1期,126-130(2011); Dokl翻译。阿卡德。Nauk 436,第1期,第29-33页(2011年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行