×

兹马思-数学第一资源

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

100
马查克斯
Steven Lavalle C.等人,《机器人基础》。第十四届机器人算法基础研讨会论文集。查姆:斯普林格。斯普林格程序。高级机器人。17432-449年(2021年)。
理学硕士:68吨40 03B44号 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
兄弟姐妹。数学。J。 62,3号,503-510(2021年); 从Sib翻译。垫子。中。62,第3号,623-632(2021年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Mojtahedi,Mojtaba(编辑)等,数学,逻辑和他们的哲学。为默罕默德阿德希尔写的文章。查姆:斯普林格。日志。认识论。统一科学。49411-431年(2021年)。
理学硕士:03A05型 03Bxx号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
理学硕士:68Q60型 03B44号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
De Giacomo,Giuseppe(编辑)等人,ECAI 2020。第24届欧洲人工智能会议,2020年8月29日至9月8日,西班牙圣地亚哥德孔波斯特拉。包括第十届人工智能应用大会,PAIS 2020。阿姆斯特丹:IOS出版社。前面。人工制品。因特尔。申请。325696-703(2020年)。
理学硕士:68T27型 03B44号 03B52型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
De Giacomo,Giuseppe(编辑)等人,ECAI 2020。第24届欧洲人工智能会议,2020年8月29日至9月8日,西班牙圣地亚哥德孔波斯特拉。包括第十届人工智能应用大会,PAIS 2020。阿姆斯特丹:IOS出版社。前面。人工制品。因特尔。申请。325624-631(2020年)。
理学硕士:68T27型 03B44号 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
De Giacomo,Giuseppe(编辑)等人,ECAI 2020。第24届欧洲人工智能会议,2020年8月29日至9月8日,西班牙圣地亚哥德孔波斯特拉。包括第十届人工智能应用大会,PAIS 2020。阿姆斯特丹:IOS出版社。前面。人工制品。因特尔。申请。325569-576(2020年)。
理学硕士:68T27型 03B44号 68N17
PDF格式 BibTeX公司 XML 引用
全文: 内政部
De Giacomo,Giuseppe(编辑)等人,ECAI 2020。第24届欧洲人工智能会议,2020年8月29日至9月8日,西班牙圣地亚哥德孔波斯特拉。包括第十届人工智能应用大会,PAIS 2020。阿姆斯特丹:IOS出版社。前面。人工制品。因特尔。申请。325155-162(2020年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bertrand,Nathalie(ed.)等人,《时间系统的形式化建模与分析》。第18届国际会议,格式2020,维也纳,奥地利,2020年9月1日至3日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12288196-214(2020年)。
理学硕士:68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bertrand,Nathalie(ed.)等人,《时间系统的形式化建模与分析》。第18届国际会议,格式2020,维也纳,奥地利,2020年9月1日至3日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。1228876-93(2020年)。
理学硕士:68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bertrand,Nathalie(ed.)等人,《时间系统的形式化建模与分析》。第18届国际会议,格式2020,维也纳,奥地利,2020年9月1日至3日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。12288年1月22日(2020年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)。第11条,第13页。(2020年)。
理学硕士:68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)。第9条,第10页。(2020年)。
理学硕士:68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)。第8条,第10页。(2020年)。
理学硕士:68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第23届ACM混合动力系统国际会议论文集:计算与控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机机械协会(ACM)。第7条,第12页。(2020年)。
理学硕士:68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约,纽约:计算机机械协会(ACM)。831-844(2020年)。
理学硕士:68-XX号 03B44号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约,纽约:计算机机械协会(ACM)。237-251(2020年)。
理学硕士:03B70型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
LIPIcs–莱布尼茨国际信息学论文集178Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-95977-167-2)。xi,19篇文章,非连续页面,仅电子版,开放获取(2020年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接
Ju,Shier(ed.)等人,非经典逻辑及其应用。第八届逻辑与认知国际研讨会会后论文集,2016年12月5-9日,中国广州,2016年。新加坡:斯普林格。日志。亚洲:种马。日志。伦敦图书馆,67-83(2020年)。
理学硕士:03Bxx号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
数学教科书. 佛罗里达州博卡拉顿:CRC出版社(ISBN 978-0-367-22570-4/hbk;978-1-4987-7532-8/pbk;978-0-429-18418-5/电子书)。十七,第294页。(2020年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Alpcan,Tansu(ed.)等人,《安全决策与博弈论》。第十届国际会议,2019年10月30日至11月1日,瑞典斯德哥尔摩。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。11836385-403(2019年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
陈玉芳(编),自动化验证与分析技术。第17届国际研讨会,2019年ATVA,台湾台北,2019年10月28-31日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。11781423-441(2019年)。
理学硕士:68Q60型 03B44号 68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
陈玉芳(编),自动化验证与分析技术。第17届国际研讨会,2019年ATVA,台湾台北,2019年10月28-31日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。11781404-422(2019年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
陈玉芳(编),自动化验证与分析技术。第17届国际研讨会,2019年ATVA,台湾台北,2019年10月28-31日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。11781、151-170(2019年)。
理学硕士:68Q60型 03B44号
PDF格式 BibTeX公司 XML 引用
全文: 内政部

筛选结果依据…

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