×

兹马思-数学第一资源

找到75份文件(结果1-75)

100
马查克斯
Lahiri,Shuvendu Kumar(编辑)等人,计算机辅助验证。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21-24日。诉讼程序。第一部分:查姆:斯普林格。选择。笔记计算。科学。12224376-400(2020年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Ribeiro,Pedro(ed.)等人,《统一编程理论》。2019年10月8日,葡萄牙波尔图,为托尼·霍尔85岁生日举办的第七届国际研讨会。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。11885年,第22-38页(2019年)。
理学硕士:68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
青思翰(编)等,《信息与通信安全》。第19届国际会议,ICICS 2017,中国北京,2017年12月6日至8日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。10631313-324(2018年)。
理学硕士:94A60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
陈晓峰(编),信息安全与密码学。2017年11月3日至5日,中国西安,Inscrypt 2017第13届国际会议。修订精选论文。查姆:斯普林格。选择。笔记计算。科学。10726、362-382(2018年)。
理学硕士:94A60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Hung,Dang Van(ed.)等人,《计算的理论方面——ICTAC 2017》。第14届国际学术讨论会,越南河内,2017年10月23日至27日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。10580269-287(2017年)。
理学硕士:68N30型 68平方米25
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Hermenegildo,Manuel V.(ed.)等人,基于逻辑的程序综合与转换。第26届国际研讨会,LOPSTR2016,英国爱丁堡,2016年9月6日至8日。修订精选论文。查姆:斯普林格。选择。笔记计算。科学。10184131-147(2017年)。
理学硕士:68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Blanchette,Jasmin Christian(编辑)等,交互式定理证明。第七届国际会议,ITP 2016,法国南希,2016年8月22-25日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。980736-51(2016年)。
理学硕士:68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Jobstmann,Barbara(编辑)等人,验证,模型检查和抽象解释。第17届国际会议,2016年VMCAI,美国佛罗里达州圣彼得堡,2016年1月17日至19日。诉讼程序。柏林:斯普林格。选择。笔记计算。科学。9583206-225(2016年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Neykova,Rumyana(编辑)等人,2014帝国理工学院计算机学生研讨会,ICCSW’14,伦敦,英国,2014年9月25日至26日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。OASIcs–OpenAccess服务器。通知。第43、58-65页(2014年)。
理学硕士:68N30型 68吨20
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Kovács,Emőd(ed.)等人,《第九届应用信息学国际会议论文集》(ICAI 2014),匈牙利埃格尔,2014年1月29日至2月1日。第二卷。埃格尔:Eszterhazy Karoly应用科学大学(ISBN 978-615-5297-19-9)。309-316(2014年)。
理学硕士:68N30型 68N15
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2014年9月1日至3日,瑞典哥德堡,第19届ACM SIGPLAN函数式编程国际会议记录,ICFP'14。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-2873-9)。139-152(2014年)。
理学硕士:68N30型 68N18 68问55
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第40届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2013年1月23日至25日,意大利罗马,POPL'13。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-1832-7)。549-560(2013年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Jones,Andrew V.(ed.)等人,2013年帝国理工学院计算机专业学生研讨会ICCSW'13,伦敦,英国,2013年9月26日至27日。第三次研讨会论文选集。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-939897-63-7)。OASIcs–信息学中的OpenAccess系列35,95-102,仅电子版(2013年)。
理学硕士:68N30型 03B70型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Albert,Elvira(编辑),《基于逻辑的程序综合与转换》。第22届国际研讨会,2012年9月18日至20日,比利时鲁汶,LOPSTR2012。修订精选论文。柏林:斯普林格出版社(ISBN 978-3-642-38196-6/pbk)。计算机科学课堂讲稿7844176-193(2013)。
理学硕士:68N17
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Dovier,Agostino(ed.)等人,《第28届逻辑编程国际会议(ICLP 2012)技术交流》,2012年9月4日至8日,匈牙利布达佩斯。根据会议上的陈述撰写的论文。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-939897-43-9)。LIPIcs–莱布尼茨国际信息学论文集17,98-108,电子版(2012)。
理学硕士:68N30型 68N17 68N19
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'10,西班牙马德里,2010年1月17-23日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-60558-479-9)。2010年第82-71页。
理学硕士:68N30型 68问55 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Hermenegildo,Manuel(ed.)等人,《第26届逻辑程序设计国际会议(ICLP 2010)技术交流》,2010年7月16-19日,英国苏格兰爱丁堡。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-939897-17-0)。LIPIcs–莱布尼茨国际信息学论文集7303-305,仅电子版(2010年)。
理学硕士:68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接
Chatterjee,Krishnendu(ed.)等人,《时间系统的形式化建模与分析》。2010年9月8日至10日,奥地利克洛斯特纽堡,第八届国际会议,格式2010。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-15296-2/pbk)。计算机科学课堂讲稿6246243-255(2010)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
2009年第八届软件体系结构与软件协调研讨会(第八届),2009年7月11日,希腊罗兹。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记255137-158(2009)。
PDF格式 BibTeX公司 XML 引用
全文: 链接
Dubois,Catherine(编辑),测试与证明。第三届国际会议,2009年7月2日至3日,瑞士苏黎世。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-02948-6/pbk)。计算机科学课堂讲稿5668137-152(2009)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Gurevich,Yuri(编辑)等人,《测试与证明》。第一届国际会议,2007年2月12日至13日,瑞士苏黎世。修订文件。柏林:斯普林格出版社(ISBN 978-3-540-73769-8/pbk)。计算机科学课堂讲稿4454169-188(2007)。
理学硕士:68N30型 68N19 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Gurevich,Yuri(编辑)等人,《测试与证明》。第一届国际会议,2007年2月12日至13日,瑞士苏黎世。修订文件。柏林:斯普林格出版社(ISBN 978-3-540-73769-8/pbk)。计算机科学课堂讲稿4454131-148(2007)。
理学硕士:68N30型 68Q60型 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Uyar,M.Ümit(ed.)等人,《通信系统测试》。第18届IFIP TC6/WG6.1国际会议,TestCom 2006,美国纽约,2006年5月16-18日。诉讼程序。柏林:斯普林格出版社(ISBN 3-540-34184-6/pbk)。计算机科学课堂讲稿39641-18(2006)。
理学硕士:68Q60型 68米15 68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
信息来源. 亚琛:Shaker Verlag;奥格斯堡:奥格斯堡大学,Fakultät für Angewandte Informatik(Diss.)(ISBN 3-8322-5074-3/pbk)。十二,229页。(2006年)。
理学硕士:68Q60型 68-01年 6885年
PDF格式 BibTeX公司 XML 引用
全文: 链接
Vaandrager,Frits W.(ed.)等人,《混合系统:计算与控制》。第二届国际研讨会,HSCC’99。Berg en Dal,荷兰,1999年3月29日至31日。诉讼程序。柏林:斯普林格。选择。笔记计算。科学。1569年,第61-75页(1999年)。
理学硕士:93C30型 93B29型 53立方厘米 58A15型
PDF格式 BibTeX公司 XML 引用
Bārzdiš,Jānis(编辑)等人,波罗的海计算机科学。精选论文。柏林等:斯普林格·韦拉格。选择。笔记计算。科学。502360-432(1991年)。
理学硕士:68N30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
90年代计算机辅助验证程序。第二届DIMACS研讨会,新不伦瑞克/新泽西州(美国),1990年,DIMACS,Ser。谨慎。数学。理论。计算机。科学。3441-462(1991年)。
理学硕士:68Q60型 03时10分 65G99型
PDF格式 BibTeX公司 XML 引用
控制论 22号,第4期,423-431(1986年); 翻译自Kibernetika 1986,第4期,第13-19期(1986年)。
审核人:五十、 边缘
理学硕士:68Q60型 68分05秒
PDF格式 BibTeX公司 XML 引用
全文: 内政部

筛选结果依据…

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