×

兹马思-数学第一资源

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

100
马查克斯
第23届ACM混合系统国际会议记录:计算和控制,HSCC 2020,悉尼,澳大利亚和虚拟,2020年4月21-24日。纽约,纽约:计算机械协会(ACM)。第20条,第11页(2020年)。
理学硕士:68Q45号 68Q60型 93C30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Rousseau,Louis Martin(ed.)等人,《约束编程、人工智能和运筹学的集成》。第16届国际会议,2019年6月4日至7日,希腊塞萨洛尼基,CPAIOR 2019。会议记录。查姆:斯普林格。选择。笔记计算。科学。1149457-66(2019年)。
理学硕士:68吨20 90C27型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Kari,Jarkko(ed.)等人,《可逆计算》。2018年第10届国际会议,2018年9月12日至14日,英国莱斯特,会议记录。查姆:斯普林格。选择。笔记计算。科学。11106205-219(2018年)。
理学硕士:2005年第68季度 68问10 81P68页 94C10型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
汉内克,史蒂夫(编辑)等,算法学习理论国际会议。第28届会议论文集(ALT 2017),京都大学,日本京都,2017年10月15-17日。[s.l.]:机器学习研究论文集PMLR。机器学习研究论文集(PMLR)76360-371(2017)。
理学硕士:68T05型
PDF格式 BibTeX公司 XML 引用
全文: 链接
Devitt,Simon(ed.)等人,《可逆计算》。第八届国际会议,RC 2016,意大利博洛尼亚,2016年7月7-8日。会议记录。查姆:斯普林格。选择。笔记计算。科学。9720、307-321(2016年)。
理学硕士:2005年第68季度 68问10 81P68页 94C10型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Altenkirch,Thorsten(编辑),第13届lambda型结石及其应用国际会议,TLCA'15,华沙,波兰,2015年7月1-3日。会议记录。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。38,60-75(2015年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第20届ACM SIGPLAN函数式编程国际会议论文集,ICFP’15,加拿大温哥华,2015年9月1日至3日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-3669-7)。328-341(2015年)。
理学硕士:68牛顿 68N19 68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2015年1月12日至18日,印度孟买,POPL'15。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-3300-9)。357-368(2015年)。
理学硕士:68Q45号 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
罗斯。数学。 第59期,第11期,第26-35期(2015年); 翻译自Izv。维什。乌奇博恩。扎维德,马特。2015年,第11期,第32-45期(2015年)。
理学硕士:2005年第68季度 68分05秒 68问12 81P68页
PDF格式 BibTeX公司 XML 引用
全文: 内政部
自动驾驶。远程控制 75,第7号,1173-1194(2014年); 翻译自Avtom。泰勒梅克。2014年,第7期,第17-42期(2014年)。
理学硕士:94C10型 94C15
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Merelli,Emanuela(ed.)等人,《第四届计算机科学与生物学相互作用国际研讨会论文集》(CS2Bio'13),佛罗伦萨,意大利,2013年6月6日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记29985-100(2013)。
理学硕士:92C42型 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
罗斯。数学。 第57期,第3期,第46-50页(2013年); 翻译自Izv。维什。乌奇博恩。扎维德,马特。2013年,第3期,第56-61期(2013年)。
理学硕士:2005年第68季度 68问15
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Kuncak,Viktor(编辑)等人,验证,模型检查和抽象解释。2012年第13届国际会议,美国宾夕法尼亚州费城,2012年1月22-24日。会议记录。柏林:斯普林格出版社(ISBN 978-3-642-27939-3/pbk)。计算机科学课堂讲稿7148104-118(2012)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
蔡尔南,伊凡娜(编辑)等,SOFSEM2011:计算机科学理论与实践。第37届计算机科学理论与实践趋势会议,NovýSmokovec,斯洛伐克,2011年1月22-28日,会议录。柏林:斯普林格出版社(ISBN 978-3-642-18380-5/pbk)。计算机科学课堂讲稿6543135-145(2011)。
理学硕士:68问25 68分05秒
PDF格式 BibTeX公司 XML 引用
全文: 内政部
鞑靼大学数学论文62.塔尔图:塔尔图大学出版社;塔尔图:塔尔图大学,计算机科学学院(ISBN 978-9949-19-374-5/pbk);978-9949-19-375-2/电子书)。87页(2010年)。
理学硕士:05-02年 05C90型 E1920号
PDF格式 BibTeX公司 XML 引用
全文: 链接 链接
维斯顿。圣彼得堡。大学数学。 43,第2号,92-97(2010年); 维斯顿翻译。圣彼得堡。大学,爵士。一、 垫子。梅克。阿童木。2010年,第2期,91-98(2010年)。
理学硕士:68分05秒
PDF格式 BibTeX公司 XML 引用
全文: 内政部
吴伟丽(编),组合优化与应用。2010年第四届可可国际会议,2010年12月18-20日,美国HI,Kailua Kona,2010年。会议记录,第二部分。柏林:斯普林格出版社(ISBN 978-3-642-17460-5/pbk)。计算机科学课堂讲稿6509,16-30(2010)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Ranka,Sanjay(编辑)等人,《当代计算》。第三届国际会议,IC3 2010,印度诺伊达,2010年8月9日至11日。柏林:斯普林格出版社(ISBN 978-3-642-14833-0/pbk;978-3-642-14834-7/电子书)。计算机与信息科学通信94,160-170(2010)。
理学硕士:68米15 68米10
PDF格式 BibTeX公司 XML 引用
全文: 内政部
卡鲁德,克里斯蒂安S(等,理论计算机科学。第六届IFIP工作组2.2国际会议,TCS 2010,作为世界计算机大会(WCC 2010)的一部分举行,澳大利亚布里斯班,2010年9月20-23日。会议记录。柏林:斯普林格出版社(ISBN 978-3-642-15239-9/hbk;978-3-642-15240-5/电子书)。IFIP信息和通信技术进步323286-300(2010)。
理学硕士:68R10型 68问25 68周05分
PDF格式 BibTeX公司 XML 引用
全文: 内政部
费姆勒,克里斯蒂安G(等,编程逻辑,人工智能和推理。第17届国际会议,LPAR-17,印度尼西亚日惹,2010年10月10-15日。会议记录。柏林:斯普林格出版社(ISBN 978-3-642-16241-1/pbk)。计算机科学课堂讲稿6397504-518(2010)。
理学硕士:68N17 68问25
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Janhunen,Tomi(ed.)等人,《人工智能中的逻辑》。第12届欧洲会议,2010年9月13日至15日,芬兰赫尔辛基,JELIA,会议记录。柏林:斯普林格出版社(ISBN 978-3-642-15674-8/pbk)。计算机科学讲义6341。人工智能讲义,260-272(2010)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
可靠性工程中的Springer级数. 伦敦:斯普林格(ISBN 978-1-84996-413-5/hbk;978-1-84996-414-2/电子书)。十三,238页(2010年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
van Leeuwen,Jan(ed.)等人,SOFSEM 2010:计算机科学理论与实践。第36届计算机科学理论与实践趋势会议,2010年1月23日至29日,捷克共和国,平德勒v Mlýn。柏林:斯普林格出版社(ISBN 978-3-642-11265-2/pbk)。计算机科学课堂讲稿5901224-234(2010)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Ferré,Sébastien(ed.)等人,形式概念分析。第七届国际会议,2009年ICFCA,德国达姆施塔特,2009年5月21-24日。会议记录。柏林:斯普林格出版社(ISBN 978-3-642-01814-5/pbk)。计算机科学讲义5548。人工智能讲义,194-209(2009)。
理学硕士:68T30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Nielsen,Mogens(ed.)等人,SOFSEM 2009:计算机科学理论与实践。第35届计算机科学理论与实践趋势会议,2009年1月24日至30日,捷克共和国,平德勒v Mlýn。柏林:斯普林格出版社(ISBN 978-3-540-95890-1/pbk)。计算机科学课堂讲稿5404129-140(2009)。
理学硕士:68分05秒 68问25
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Halava,Vesa(ed.)等人,《计算模型中可达性问题第二次研讨会论文集》(RP 2008),英国利物浦,2008年9月15-17日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记223137-151(2008)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Agrawal,Manindra(ed.)等人,《计算模型的理论与应用》。第五届国际会议,2008年4月25日至29日,西安,中国。柏林:斯普林格出版社(ISBN 978-3-540-79227-7/pbk)。计算机科学课堂讲稿4978306-317(2008)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Geffert,Viliam(ed.)等人,SOFSEM 2008:计算机科学理论与实践。第34届计算机科学理论与实践趋势会议,NovýSmokovec,斯洛伐克,2008年1月19-25日,会议录。柏林:斯普林格出版社(ISBN 978-3-540-77565-2/pbk)。计算机科学课堂讲稿4910174-185(2008)。
理学硕士:68分05秒 68问17
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bernardo,Marco(ed.)等人,《绩效评估的正式方法》。2007年5月28日至6月2日,意大利贝蒂诺罗,第七所计算机、通信和软件系统设计正规方法国际学校,高级讲座。柏林:斯普林格出版社(ISBN 978-3-540-72482-7/pbk)。计算机科学课堂讲稿4486371-394(2007)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
自动驾驶。远程控制 65号,第6938-954号(2004年); 翻译自Avtom。泰勒梅克。2004年,第6号,112-128(2004年)。
理学硕士:90B50型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

筛选结果依据…

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