×

兹马思-数学第一资源

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

100
马查克斯
PDF格式 BibTeX公司 XML 引用
Changat,Manoj(ed.)等人,《算法与离散应用数学》。第六届国际会议,卡尔达姆2020,印度海得拉巴,2020年2月13-15日。会议记录。查姆:斯普林格。选择。笔记计算。科学。12016331-346(2020年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Cinquemani,Eugenio(编辑)等,杂交系统生物学。第五届国际研讨会,HSB 2016,法国格勒诺布尔,2016年10月20-21日。会议记录。查姆:斯普林格。选择。笔记计算。科学。995797-112(2016年)。
理学硕士: 92B20型 92-08年 92-04年
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接
Bodik,Rastislav(ed.)等人,《第43届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》,POPL'16,圣彼得堡,佛罗里达州,美国,2016年1月20-22日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-3549-2)。57-68(2016年)。
理学硕士: 68Q60型 68N18 68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
EACSL第二十三届计算机科学逻辑年会和2014年第29届ACM/IEEE计算机科学逻辑研讨会联席会议记录,2014年7月14日至18日,奥地利维也纳,加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会(ISBN 978-1-4503-2886-9)。51号文件,10页(2014年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Hömberg,Dietmar(ed.)等人,《系统建模与优化》。第25届IFIP TC 7系统建模与优化会议,CSMO 2011,柏林,德国,2011年9月12日至16日。修订部分论文。海德堡:斯普林格(ISBN 978-3-642-36061-9/hbk;978-3-642-36062-6/电子书)。IFIP信息和通信技术进步391306-317(2013)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Ito,Masami(ed.)等人,自动机,形式语言和代数系统。AFLAS 2008会议录,日本京都,2008年9月20-22日。新泽西州哈肯萨克:世界科学(ISBN 978-981-4317-60-3/hbk;978-981-4317-61-0/电子书)。47-62(2010年)。
理学硕士: 03B44号 03C07型 68问70
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Cannata,Nicola(ed.)等人,《第二届研讨会论文集——从生物学到并发性和倒退》(FBTC 2008),冰岛雷克雅未克,2008年7月12日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记229,No.11965-182(2009)。
理学硕士: 92C42型 6887年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Duparc,Jacques(编辑)等人,《计算机科学逻辑》。2007年9月11日至15日,瑞士卢萨内,第21届国际研讨会,2007年CSL,第16届EACSL年会。柏林:斯普林格出版社(ISBN 978-3-540-74914-1/pbk)。计算机科学课堂讲稿4646343-357(2007)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Garavel,Hubert(ed.)等人,《系统构建和分析的工具和算法》。2003年第9届TACAS国际会议,作为欧洲软件理论与实践联合会议的一部分,2003年4月7日至11日,波兰华沙,ETAPS 2003。柏林:斯普林格。选择。笔记计算。科学。2619442-457(2003年)。
理学硕士: 6885年 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 链接
Brauer,Wilfried(ed.)等人,《形式与自然计算》。献给格尔兹罗森伯格的论文。柏林:斯普林格出版社(ISBN 3-540-43190-X)。选择。笔记计算。科学。2300年,第26-38页(2002年)。
理学硕士: 6885年 68Q45号 03B44号
PDF格式 BibTeX公司 XML 引用
全文: 链接
骄傲。梅克。泰克。菲兹。 41,第1期,162-172页(2000年); 翻译J。申请。机械。技术物理。41,第1号,149-158(2000年)。
理学硕士: 74D99型 28A80型
PDF格式 BibTeX公司 XML 引用
Barringer,Howard(ed.)等人,《时间逻辑的进展》。第二届国际时态逻辑会议论文选集,ICTL,曼彻斯特,英国,1997年。多德雷赫特:Kluwer学术出版社。申请。日志。爵士。第16、47-70页(2000年)。
理学硕士: 03B70型 68Q60型 03B44号
PDF格式 BibTeX公司 XML 引用
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Golubitsky,Martin(ed.)等人,连续和耦合系统中的模式形成。研讨会论文集,1997年IMA计划的组成部分,明尼阿波利斯,明尼苏达州,美国,1998年5月11日至15日。献给约翰·大卫·克劳福德(1954-1998年)。纽约,纽约:斯普林格。数学卷。申请。115249-264(1999年)。
PDF格式 BibTeX公司 XML 引用
Meinel,Christoph(ed.)等人,Stacs99。第16届计算机科学理论方面年度研讨会,德国特里尔,1999年3月4日至6日。会议记录。柏林:斯普林格。选择。笔记计算。科学。1563年,第32-46页(1999年)。
理学硕士: 03B44号 03D05年 20米35 03B10号
PDF格式 BibTeX公司 XML 引用
90年代计算机辅助验证程序。第二届DIMACS研讨会,新不伦瑞克/新泽西州(美国),1990年,DIMACS,Ser。谨慎。数学。理论。计算机。科学。3207-218(1991年)。
理学硕士: 68Q60型
PDF格式 BibTeX公司 XML 引用

筛选结果依据…

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