×

兹马思-数学第一资源

找到9份文件(结果1-9)

100
马查克斯
Majumdar,Rupak(ed.)等人,《混合系统:计算与控制》。第12届国际会议,2009年4月13-15日,美国加利福尼亚州旧金山市。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-00601-2/pbk)。计算机科学课堂讲稿5469485-489(2009)。
理学硕士: 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Cha,Sungdeok(Steve)(编辑)等人,《验证和分析自动化技术》。第六届国际研讨会,ATVA 2008,首尔,韩国,2008年10月20-23日。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-540-88386-9/pbk)。计算机科学课堂讲稿5311258-273(2008)。
理学硕士: 68Q60型 68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
伊巴拉,奥斯卡·H(自动化的应用程序。第八届国际会议,CIAA 2003,加利福尼亚州圣巴巴拉,美国,2003年7月16-18日。诉讼程序。柏林:斯普林格(ISBN 3-540-40561-5/pbk)。选择。笔记计算。科学。2759176-187(2003年)。
理学硕士: 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

筛选结果依据…

文件类型
全部的 前5名
出版年份
分类
全部的 前3名
软件