×

兹马思-数学第一资源

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

100
马查克斯
Khomenko,Victor(ed.)等人,Petri网和并发的应用和理论。第39届国际会议,PETRI网2018,斯洛伐克布拉迪斯拉发,2018年6月24日至29日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。1087782-98(2018年)。
理学硕士:6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Legay,Axel(ed.)等人,《用于系统构建和分析的工具和算法》。第23届国际会议,2017年TACAS,作为欧洲软件理论与实践联合会议的一部分,2017年4月22日至29日,瑞典乌普萨拉,ETAPS 2017。诉讼程序。第一部分:柏林:斯普林格。选择。笔记计算。科学。10205481-498(2017年)。
理学硕士:68N30型 68Q60型 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
理学硕士:68N15 68N19
PDF格式 BibTeX公司 XML 引用
Bonchi,Filippo(ed.)等人,第七届计算机科学代数和coalgebra会议,CALCO 2017,2017年6月14-16日,斯洛文尼亚卢布尔雅那。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。72,第2条,第17页。(2017年)。
理学硕士:68问70 18时05分 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Paulevé,Loïc(ed.)等人,《第六届静态分析和系统生物学国际研讨会论文集》(SASB 2015),法国圣马洛,2015年9月8日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记32651-72(2016)。
理学硕士:6885年 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Chatzigiannakis,Ioannis(编辑)等人,第43届自动机、语言和编程国际学术讨论会,ICALP 2016,意大利罗马,2016年7月12日至15日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-95977-013-2)。LIPIcs–莱布尼茨国际信息学论文集55,第102条,第15页。(2016年)。
理学硕士:6885年 68Q45号 6887年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第17届ACM混合动力系统国际会议记录:计算与控制,HSCC 2014,柏林,德国,2014年4月15-17日。纽约,纽约:计算机机械协会(ACM)(ISBN 978-1-4503-2732-9)。145-150(2014年)。
理学硕士:68Q60型 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Koutny,Maciej(ed.)等人,《Petri网上的事务和其他并发模型》IX.柏林:斯普林格。选择。笔记计算。科学。8910,19-40(2014年)。
理学硕士:6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
邵,钟(编辑),《程序设计语言与系统》。第23届欧洲编程研讨会,ESOP 2014,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2014,法国格勒诺布尔,2014年4月5日至13日。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-54832-1/pbk)。计算机科学课堂讲稿8410311-330(2014)。
理学硕士:68N19 68N15 68分05秒 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Dediu,Adrian Horia(ed.)等人,《语言与自动机理论与应用》。第八届国际会议,2014年3月10日至14日,西班牙马德里。诉讼程序。柏林:斯普林格。选择。笔记计算。科学。8370441-452(2014年)。
理学硕士:6885年 03B44号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Koutny,Maciej(ed.)等人,《Petri网上的事务和其他并发模型VIII》。柏林:斯普林格出版社(ISBN 978-3-642-40464-1/pbk)。计算机科学8100课堂讲稿。期刊亚线,48-70(2013年)。
理学硕士:6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Johansson,Thomas(ed.)等人,《密码学进展——欧洲密码2013》。第32届国际密码技术理论与应用年会,希腊雅典,2013年5月26日至30日。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-38347-2/pbk)。计算机科学课堂讲稿7881702-718(2013)。
理学硕士:68页25页 94A60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Jensen,Kurt(ed.)等人,《Petri网上的事务和其他并发模型诉柏林:Springer》(ISBN 978-3-642-29071-8/pbk)。计算机科学课堂讲稿6900。期刊亚线,96-120(2012年)。
理学硕士:6885年 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bultan,Tevfik(编辑)等人,《验证和分析自动化技术》。第九届国际研讨会,ATVA 2011,台北,台湾,2011年10月11-14日。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-24371-4/pbk)。计算机科学课堂讲稿6996105-119(2011)。
理学硕士:68Q45号 68问55 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Ishai,Yuval(编辑),《密码学理论》。第八届密码理论会议,TCC 2011,普罗维登斯,RI,美国,2011年3月28-30日。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-19570-9/pbk)。计算机科学课堂讲稿6597541-558(2011)。
理学硕士:94A60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Bowman,Howard(ed.)等人,《分布式处理的形式化方法》。面向对象方法综述。剑桥:剑桥大学出版社(ISBN 978-0-521-16875-5/pbk)。403-426(2010年)。
理学硕士:68N19 68N15
PDF格式 BibTeX公司 XML 引用
Bonchi,Filippo(ed.)等人,《第一届交互和并发体验研讨会论文集》(ICE 2008),冰岛雷克雅未克,2008年7月6日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记229,第3期,3-18期(2009年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
理学硕士:6885年 03B44号 03B70型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
塞本。系统。肛门。 45号,第6期,845-853(2009年); 翻译自基伯恩。西斯特。肛门。2009年,第6期,第3-12期(2009年)。
理学硕士:68N19 68分05秒 68N15
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Berardi,Stefano(编辑)等人,校样和程序类型。2008年国际会议,2008年3月26日至29日,意大利都灵。修订精选论文。柏林ISK-648-643(柏林ISK-643)。计算机科学课堂讲稿549783-99(2009)。
理学硕士:68N19 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
蒲葛光(编)等,《第一届软件工具支持理论国际研讨会论文集》(TTSS 2007),中国澳门,2007年9月22-23日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记20733-48(2008)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Canal,Carlos(ed.)等人,《第六届协调语言和软件体系结构基础国际研讨会论文集》(FOCLASA 2007),葡萄牙里斯本,2007年9月8日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》194,No.4,77-92(2008)。
理学硕士:6885年 68Q42号
PDF格式 BibTeX公司 XML 引用
全文: 内政部
纽约,纽约:斯普林格(ISBN 0-387-47656-3/hbk)。十八,285页。(2007年)。
理学硕士:68米10 68N19 68-06年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Mauw,S.(ed.)等人,《第一届安全与信任管理国际研讨会论文集》(STM 2005),意大利米兰,2005年9月15日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》第157期,第3期,第61-78页(2006年)。
理学硕士:68M12 68Q60型 6885年 94A62型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Aceo,Luca(ed.)等人,《关于代数过程计算的论文集》(APC 25),意大利Bertinoro,2005年8月1日至5日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记162287-293(2006)。
理学硕士:6885年 03B50型
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Najm,Elie(ed.)等人,《网络和分布式系统的形式化技术》——FORTE 2006。第26届IFIP工作组6.1国际会议,2006年9月26日至29日,法国巴黎。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-540-46219-4/pbk)。计算机科学课堂讲稿4229292-306(2006)。
理学硕士:68Q60型 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Petri网的组成分析。 (英语。俄文原件) Zbl 1102.68087
塞本。系统。肛门。 第42期,第1期,第126-136页(2006年); 翻译自基伯恩。西斯特。肛门。2006年,第1号,143-154(2006年)。
理学硕士:6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2005年1月12日至14日,美国加利福尼亚州长滩,POPL'05。纽约,纽约:计算机机械协会(ACM)(ISBN 1-58113-830-X)。14-25(2005年)。
理学硕士:68N19 68N15
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Wang,Farn(编辑),《网络和分布式系统的形式化技术》——FORTE 2005。第25届IFIP工作组6.1国际会议,台湾台北,2005年10月2日至5日。诉讼程序。柏林:斯普林格出版社(ISBN 3-540-29189-X/pbk)。计算机科学课堂讲稿3731189-203(2005)。
理学硕士:6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Treharne,Helen(ed.)等人,ZB 2005:Z和B的正式规范和开发。第四届B和Z用户国际会议,英国吉尔福德,2005年4月13日至15日。诉讼程序。柏林:斯普林格出版社(ISBN 3-540-25559-1/pbk)。计算机科学课堂讲稿3455124-141(2005)。
理学硕士:68Q60型 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
理论计算机科学教材。EATCS系列. 柏林:斯普林格(ISBN 3-540-21150-0/hbk)。二十四,777页。(2006年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Baier,Christel(ed.)等人,《随机系统的验证》。当前研究的指南。柏林:斯普林格出版社(ISBN 3-540-22265-0/pbk)。计算机科学课堂讲稿29251-43(2004)。
理学硕士:68Q45号 6885年 6887年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Amadio,Roberto(编辑)等人,CONCUR 2003–并发理论。第14届国际会议,法国马赛,2003年9月3日至5日。诉讼程序。柏林:斯普林格出版社(ISBN 3-540-40753-7/pbk)。选择。笔记计算。科学。2761327-349(2003年)。
理学硕士:94A60型 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部
Gorlatch,Sergei(ed.)等人,并行编程的构造方法。2000年7月2日在葡萄牙利马庞特利马举行的第二次并行编程建设性方法国际研讨会上发表的论文。纽约,纽约:Nova科学出版社(ISBN 1-59033-374-8/hbk)。高级计算机,理论实践。第10、79-91页(2002年)。
理学硕士:68N19 68N15
PDF格式 BibTeX公司 XML 引用
Caillaud,Benoît(ed.)等人,《离散事件系统的综合与控制》。波士顿:Kluwer学术出版社(ISBN 0-7923-7639-0)。103-113(2002年)。
理学硕士:93C65型 93B50型 6885年
PDF格式 BibTeX公司 XML 引用
Sakellariou,Rizos(编辑)等人,2001年欧洲Par并行处理。2001年8月28日至31日,英国,曼彻斯特,第七届欧洲标准杆国际会议。诉讼程序。柏林:斯普林格。选择。笔记计算。科学。2150540-548(2001年)。
理学硕士:68U99 68N19
PDF格式 BibTeX公司 XML 引用
Kilian,Joe(编辑),《密码学进展-密码2001》。2001年8月19日至23日,美国加利福尼亚州圣巴巴拉,第21届国际密码学年会。诉讼程序。柏林:斯普林格。选择。笔记计算。科学。2139、19-40(2001年)。
理学硕士:94A60型
PDF格式 BibTeX公司 XML 引用
全文: 链接
Boel,R.(ed.)等人,《离散事件系统》。分析和控制。2000年8月21日至23日,比利时根特,沃德斯2000年第五次研讨会论文。波士顿:Kluwer学术出版社。Kluwer国际机场。工程计算机。科学。569459-466(2000年)。
理学硕士:6885年
PDF格式 BibTeX公司 XML 引用
Broy,Manfred(ed.)等人,《计算系统设计》。第19届国际暑期学校会刊,德国马克托伯多夫,1998年7月28日至8月9日。阿姆斯特丹:IOS出版社。北约ASI Ser.,Ser。F、 计算机。系统。科学。167-182(1999年)。
理学硕士:68Q45号 6885年
PDF格式 BibTeX公司 XML 引用

筛选结果依据…

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