×

兹马思-数学第一资源

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

100
马查克斯
Lahiri,Shuvendu Kumar(编辑)等人,计算机辅助验证。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21-24日。诉讼程序。第一部分。查姆:斯普林格(ISBN 978-3-030-53287-1/pbk;978-3-030-53288-8/电子书)。计算机科学课堂讲稿12224582-603(2020年)。
理学硕士: 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Lahiri,Shuvendu Kumar(编辑)等人,计算机辅助验证。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21-24日。诉讼程序。第一部分。查姆:斯普林格(ISBN 978-3-030-53287-1/pbk;978-3-030-53288-8/电子书)。计算机科学课堂讲稿12224485-507(2020年)。
理学硕士: 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第33条,第2页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第32条,第2页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第31条,第2页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第30条,第2页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第29条,第11页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第28条,第7页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第27条,第11页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第26条,第11页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第25条,第11页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第24条,第10页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。(纽约计算机协会IS7018-1-978)。第23条,第11页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第22条,第11页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第21条,第11页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第20条,第11页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第19条,第8页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第18条,第11页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第17条,第7页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。(纽约计算机协会IS7018-1-978)。第16条,第10页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第15条,第11页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第14条,第11页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第13条,第12页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第12条,第7页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第11条,第13页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第10条,第11页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第9条,第10页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第8条,第10页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第7条,第12页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第6条,第11页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第5条,第11页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第4条,第11页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第3条,第11页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第2条,第10页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。第1条,第10页(2020年)。
理学硕士: 68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
奔驰üLer,Christoph(ed.)等人,《智能计算机数学》。第13届国际会议,CICM 2020,意大利贝蒂诺罗,2020年7月26日至31日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12236,71-88(2020年)。
理学硕士: 68V15型 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Felty,Amy(ed.)等人,第14届逻辑和语义框架及其应用国际研讨会,LSFA 2019,巴西纳塔尔,2019年8月。阿姆斯特丹:爱思唯尔。《电子科学》第3461-348页《理论科学》一书。
理学硕士: 03B45型 68V15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。第14届国际会议,2020年3月4日至6日,意大利米兰,2020年。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12038184-195(2020年)。
理学硕士: 68Q45号 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。第14届国际会议,2020年3月4日至6日,意大利米兰,2020年。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12038170-183(2020年)。
理学硕士: 68Q60型 68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Leporati,Alberto(ed.)等人,《语言与自动机理论与应用》。第14届国际会议,2020年3月4日至6日,意大利米兰,2020年。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12038157-169(2020年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Chatzigeorgiou,Alexander(编辑)等人,《SOFSEM 2020:计算机科学理论与实践》。第46届国际信息学理论与实践趋势国际会议,SOFSEM 2020,利马索尔,塞浦路斯,2020年1月20日至24日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12011、161-173(2020年)。
理学硕士: 68Q60型 68Q45号 91A80型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-7018-9)。33篇文章,未连续翻页(2020年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
数学教科书. 佛罗里达州博卡拉顿:CRC出版社(ISBN 978-0-367-22570-4/hbk;978-1-4987-7532-8/pbk;978-0-429-18418-5/电子书)。十七,294 p(2020年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Nowak,Thomas(编辑),《第38届ACM分布式计算原理研讨会论文集》,PODC'19,加拿大安大略省多伦多,2019年7月29日至8月2日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-6217-7)。306年(2019年)。
理学硕士: 68米14 68度15度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
陈玉芳(编),自动化验证与分析技术。第17届国际研讨会,2019年ATVA,台湾台北,2019年10月28-31日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。11781、445-461(2019年)。
理学硕士: 68Q45号 68Q60型 68周40
PDF格式 BibTeX公司 XML 引用
全文: 内政部
陈玉芳(编),自动化验证与分析技术。第17届国际研讨会,2019年ATVA,台湾台北,2019年10月28-31日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。11781404-422(2019年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
陈玉芳(编),自动化验证与分析技术。第17届国际研讨会,2019年ATVA,台湾台北,2019年10月28-31日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。117811、115-130(2019年)。
理学硕士: 68Q60型 68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
菲亚迪罗,乔斯é Luiz(ed.)等人,《代数发展技术的最新趋势》。第24届IFIP工作组1.3国际研讨会,2018年7月2日至5日,英国埃格姆,瓦特2018年。修订精选论文。查姆:斯普林格。选择。笔记计算。科学。11563119-138(2019年)。
理学硕士: 68Q42号 18度C50 68N30型 68问65
PDF格式 BibTeX公司 XML 引用
全文: 内政部
加尔布雷斯,史蒂文D(ed.)等人,《密码学的进展——ASIACRYPT 2019》。第25届国际密码学与信息安全理论与应用会议,日本神户,2019年12月8日至12日。诉讼程序。第一部分。查姆:斯普林格。选择。笔记计算。科学。11921488-517(2019年)。
理学硕士: 94A60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
安德烈é, Étienne(ed.)等人,《时间系统的形式化建模与分析》。第17届国际会议,2019年8月27日至29日,荷兰阿姆斯特丹。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。11750,3-22(2019年)。
理学硕士: 68周27分 68Q45号 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
理论计算机科学电子会议(EPTCS)305滑铁卢:开放出版协会(OPA)。182 p、 ,仅电子版,开放存取(2019年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接
Kern Isberner,Gabriele(ed.)等人,《不确定性推理的符号和定量方法》。第15届欧洲会议,2019年埃斯卡鲁,塞尔维亚贝尔格莱德,2019年9月18日至20日。诉讼程序。查姆:斯普林格(ISBN 978-3-030-29764-0/pbk;978-3-030-29765-7/电子书)。计算机科学课堂讲稿11726。人工智能课堂讲稿,469-480(2019年)。
理学硕士: 68T37型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

筛选结果依据…

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