×

找到22个文档(结果1-22)

论文选自2014年7月17日至18日和2015年4月13日在奥地利维也纳举行的第七届和第八届数字软件验证国际研讨会上的演讲。 (英文) Zbl 1325.68012号

理论计算机科学电子笔记317.阿姆斯特丹:爱思唯尔。第153页。(2015).
MSC公司:68-06 65-06 93-06 00B25型
PDF格式BibTeX公司 XML格式引用
全文: 链接

干涉重力波探测器的控制。 (英文) Zbl 1141.93386号

Fournier,Jean-Daniel(编辑)等人,《谐波分析和有理逼近》。它们在信号、控制和动力系统中的作用。柏林:施普林格出版社(ISBN 3-540-30922-5/pbk)。控制与信息科学课堂讲稿327303-311(2006)。
MSC公司:93立方厘米 83个B05 93A30型
PDF格式BibTeX公司 XML格式引用

视觉神经科学中的数学:视网膜。 (英文) Zbl 1024.92004号

James Sneyd(编辑),《生理学、细胞生物学和免疫学数学建模导论》。美国数学学会短期课程,美国洛杉矶新奥尔良,2001年1月8日至9日。普罗维登斯,RI:AMS,美国数学学会。程序。交响乐团。申请。数学。59, 33-55 (2002).
PDF格式BibTeX公司 XML格式引用

扩展线性互补问题和混合系统的建模与分析。 (英文) Zbl 0931.93036号

Antsaklis,Panos(编辑)等人,《混合动力系统V.第五届国际混合动力系统研讨会》,1997年9月11日至13日在美国印第安纳州圣母院举行。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1567, 70-85 (1999).
PDF格式BibTeX公司 XML格式引用

i.ARES操作子系统。 (英文) 兹伯利0947.70510

Casals,Alicia等人,《实验机器人V.第五届国际研讨会》,巴塞罗那,加泰罗尼亚,西班牙,1997年6月15日至18日。柏林:斯普林格。莱克特。票据控制信息科学。232, 399-409 (1998).
PDF格式BibTeX公司 XML格式引用

分布参数系统控制的几何理论。 (英语。俄文原件) Zbl 0869.93011号

J.计算。系统。科学。国际。 34,第5期,1-40页(1996年); Izv的翻译。阿卡德。特奥·诺克。修女。向上。1995年,第4期,137-179(1995)。
MSC公司:93对29 93C20美元 93-02
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份