×

兹马思-数学第一资源

找到251份文件(结果1-100)

100
马查克斯
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)。第10条,第11页。(2020年)。
理学硕士:68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Takahashi,Yutaka(ed.)等人,《排队理论与网络应用》。2018年7月25-27日,日本筑波,2018年QTNA第13届国际会议。诉讼程序。查姆:斯普林格(ISBN 978-3-319-93735-9/pbk;978-3-319-93736-6/电子书)。计算机科学课堂讲稿10932,168-181(2018年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bertrand,Nathalie(ed.)等人,《系统的定量评估》。第14届国际会议,2017年QEST,德国柏林,2017年9月5日至7日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。10503、107-122(2017年)。
理学硕士:6885年 6887年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bertrand,Nathalie(ed.)等人,《系统的定量评估》。第14届国际会议,2017年QEST,德国柏林,2017年9月5日至7日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。10503,20-35(2017年)。
理学硕士:6885年 60J20型 6887年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Thomas,Nigel(ed.)等人,《分析和随机建模技术与应用》。第24届国际会议,2017年7月10日至11日,英国泰恩河畔纽卡斯尔。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。10378,16-31(2017年)。
理学硕士:68平方米 6887年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Agha,Gul(ed.)等人,《系统的定量评估》。第13届国际会议,QEST 2016,魁北克市,魁北克市,加拿大,2016年8月23-25日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。9826364-379(2016年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Kordon,Fabrice(ed.)等人,Petri网和并发的应用和理论。第37届国际会议,2016年6月19日至24日,波兰托伦,PETRI网2016年。诉讼程序。查姆:斯普林格(ISBN 978-3-319-39085-7/pbk;978-3-319-39086-4/电子书)。计算机科学课堂讲稿9698281-300(2016)。
理学硕士:6885年 6887年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2015,日本京都,2015年7月6日至10日。加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会(ISBN 978-1-4799-8875-4)。44-55(2015年)。
理学硕士:6885年 68问25 6887年
PDF格式 BibTeX公司 XML 引用
以及并行Petri网的应用。第36届国际会议,2015年6月21日至26日,比利时布鲁塞尔,PETRI网,会议记录。查姆:斯普林格。选择。笔记计算。科学。9115200-211(2015年)。
理学硕士:6885年 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Devillers,Raymond(ed.)等人,Petri网和并发的应用和理论。第36届国际会议,2015年6月21日至26日,比利时布鲁塞尔,PETRI网,会议记录。查姆:斯普林格。选择。笔记计算。科学。9115,98-116(2015年)。
理学硕士:6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
程序。计算机。软。 第40期,第5期,229-249期(2014年); 翻译自Programmirovanie 40,No.5(2014)。
理学硕士:68平方米 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Fernández,Maribel(ed.)等人,《第八届逻辑和语义框架研讨会论文集》(LSFA 2013),巴西圣保罗,2013年9月2日至3日。阿姆斯特丹:埃尔塞维尔。理论计算机科学电子笔记305,67-83,电子版(2014)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Koutny,Maciej(ed.)等人,《Petri网上的事务和其他并发模型VIII》。柏林:斯普林格出版社(ISBN 978-3-642-40464-1/pbk)。计算机科学8100课堂讲稿。期刊亚线,142-158(2013年)。
理学硕士:68Q60型 6885年 92C40型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Colom,José-Manuel(ed.)等人,Petri网和并发的应用和理论。第34届国际会议,PETRI网2013,意大利米兰,2013年6月24日至28日。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-38696-1/pbk)。计算机科学课堂讲稿7927,230-249(2013)。
理学硕士:92C42型 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Haddad,Serge(ed.)等人,Petri网的应用和理论。第33届国际会议,PETRI网2012,汉堡,德国,2012年6月25-29日。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-31130-7/pbk)。计算机科学课堂讲稿734732-50(2012)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Kristensen,Lars M.(ed.)等人,Petri网的应用和理论。第32届国际会议,2011年6月20日至24日,英国纽卡斯尔,PETRI网2011。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-21833-0/pbk)。计算机科学课堂讲稿6709268-287(2011)。
理学硕士:6885年 60J28型 6887年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Kristensen,Lars M.(ed.)等人,Petri网的应用和理论。第32届国际会议,2011年6月20日至24日,英国纽卡斯尔,PETRI网2011。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-21833-0/pbk)。计算机科学课堂讲稿6709,17-37(2011)。
理学硕士:92C42型 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bouajjani,Ahmed(ed.)等人,《验证和分析自动化技术》。第八届国际研讨会,ATVA 2010,新加坡,2010年9月21日至24日。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-15642-7/pbk)。计算机科学课堂讲稿6252143-157(2010)。
理学硕士:6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Cha,Sungdeok(Steve)(编辑)等人,《验证和分析自动化技术》。第六届国际研讨会,ATVA 2008,首尔,韩国,2008年10月20-23日。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-540-88386-9/pbk)。计算机科学课堂讲稿5311289-302(2008)。
理学硕士:68米10 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
纽约,纽约:斯普林格(ISBN 978-0-387-33332-8/hbk)。二十三,769页。(2008年)。
理学硕士:93-01年 93A10型 93C65型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Blom,Henk A.P.(ed.)等人,《随机混杂系统》。理论和安全关键应用。柏林:斯普林格出版社(ISBN 3-540-33466-1/pbk)。《科学与控制》第31-337期讲稿。
理学硕士:93E03型 6885年 60J25型
PDF格式 BibTeX公司 XML 引用
普林斯顿应用数学系列. 新泽西州普林斯顿:普林斯顿大学出版社(ISBN 0-691-11763-2/pbk)。十一,213页。(2006年)。
理学硕士:93-01年 93E03型
PDF格式 BibTeX公司 XML 引用
de Frutos Escrig,David(ed.)等人,《网络化和分布式系统的形式化技术》——FORTE 2004。第24届IFIP工作组6.1国际会议,2004年9月27日至30日,西班牙马德里。诉讼程序。柏林:斯普林格出版社(ISBN 3-540-23252-4/pbk)。计算机科学课堂讲稿3235292-309(2004)。
理学硕士:6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
van der Aalst,Wil(ed.)等人,《Petri网的应用与理论》,2003年。第24届国际会议,2003年6月23日至27日,荷兰埃因霍温。诉讼程序。柏林:斯普林格(ISBN 3-540-40334-5/pbk)。计算机科学课堂讲稿2679181-200(2003)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Asarin,Eugene(编辑)等人,TPTS,2002年。2002年4月6日至7日,法国格勒诺布尔,第一届定时系统理论与实践研讨会论文集(2002年ETAPS卫星事件)。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记65,第6期,86-100页(2002年)。
理学硕士:68平方米 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Esparza,Javier(ed.)等人,《Petri网的应用与理论》,2002年。第23届国际会议,2002年6月24日至30日,澳大利亚阿德莱德。诉讼程序。柏林:斯普林格出版社(ISBN 3-540-43787-8)。选择。笔记计算。科学。2360254-272(2002年)。
理学硕士:68平方米 6885年
PDF格式 BibTeX公司 XML 引用
全文: 链接
Field,Tony(ed.)等人,《计算机性能评估》。建模技术和工具。第12届国际会议,2002年工具,伦敦,GB,2002年4月14-17日。诉讼程序。柏林:斯普林格出版社(ISBN 3-540-43539-5)。选择。笔记计算。科学。第2324、51-70页(2002年)。
理学硕士:68平方米 6885年
PDF格式 BibTeX公司 XML 引用
全文: 链接
Han,Yanbo(ed.)等人,《协同信息系统的工程与部署》。2002年9月17日,独联体国际会议,北京,2002年9月17日。诉讼程序。柏林:斯普林格。选择。笔记计算。科学。2480年,第64-79页(2002年)。
理学硕士:68U99 68岁35岁
PDF格式 BibTeX公司 XML 引用
全文: 链接
Chan,Raymond(ed.)等人,《应用概率论》。中国香港中文大学数学科学研究所IMS研讨会论文集。普罗维登斯,RI:AMS,美国数学学会/IP,国际出版社。AMS/IP螺柱。高级数学。第26期,第1-15页(2002年)。
理学硕士:90B15号 60平方公里 92C20
PDF格式 BibTeX公司 XML 引用

筛选结果依据…

文件类型
审查状态
全部的 前5名
作者
全部的 前5名
串行
全部的 前5名
出版年份
全部的 前3名
分类
全部的 前3名
软件