×

找到94个文档(结果1-94)

通过不确定性提高效率:随机混合系统的可扩展形式综合。 (英语) Zbl 07120160号

2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。240-251 (2019).
PDF格式BibTeX公司 XML格式引用

具有形式语义的实验生物协议。 (英语) Zbl 1397.92268号

采什卡,米兰(编辑)等人,《系统生物学中的计算方法》。2018年9月12日至14日在捷克共和国布尔诺举行的CMSB 2018第16届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-99428-4/pbk;978-3-3169-99429-1/电子书)。计算机科学课堂讲稿11095。生物信息学讲义,165-182(2018)。
MSC公司:92C45型 68问题55
PDF格式BibTeX公司 XML格式引用

化学反应网络的句法引导优化合成。 (英语) 兹比尔1494.68163

Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。10427, 375-395 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

化学反应网络的句法马尔可夫共刺激。 (英语) 兹比尔1431.68072

Aceto,Luca(编辑)等人,《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆:斯普林格。莱克特。注释计算。科学。10460, 466-483 (2017).
PDF格式BibTeX公司 XML格式引用

有效的语法驱动的微分方程集总。 (英语) Zbl 1420.68241号

Chechik,Marsha(编辑)等人,《系统构建和分析的工具和算法》。2016年4月2日至8日在荷兰埃因霍温举行的第22届国际会议TACAS 2016,是欧洲软件理论与实践联合会议ETAPS 2016的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9636, 93-111 (2016).
MSC公司:68瓦30 34A05型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

比较化学反应网络:分类和算法的观点。 (英语) Zbl 1392.68188号

2016年7月5日至8日,美国纽约州纽约市,2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集,2016年LICS。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4391-6)。485-494(2016年)。
MSC公司:2005年第68季度 68问题85 92C40型 92立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于线性噪声近似的化学动力学随机混合近似。 (英语) Zbl 1382.92269号

Bartocci,Ezio(编辑)等人,《系统生物学中的计算方法》。2016年9月21日至23日,第14届国际会议,CMSB 2016,英国剑桥。诉讼程序。查姆:施普林格(ISBN 978-3-319-45176-3/pbk;978-3-3169-45177-0/电子书)。计算机科学课程讲稿9859。生物信息学课堂讲稿,147-167(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

异步逻辑电路的化学反应网络设计。 (英语) 兹比尔1451.68109

Rondelez,Yannick(编辑)等人,DNA计算和分子编程。第22届国际会议,DNA 22,德国慕尼黑,2016年9月4日至8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9818, 67-81 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

用化学反应网络编程离散分布。 (英语) Zbl 1451.68108号

Rondelez,Yannick(编辑)等人,DNA计算和分子编程。第22届国际会议,DNA 22,德国慕尼黑,2016年9月4日至8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9818, 35-51 (2016).
PDF格式BibTeX公司 XML格式引用

微分等价的符号计算。 (英语) Zbl 1347.68258号

Bodik,Rastislav(编辑)等人,第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20日至22日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3549-2)。137-150 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

化学反应网络的正向和反向相互模拟。 (英语) Zbl 1374.68204号

Aceto,Luca(编辑)等人,第26届并发理论国际会议,CONCUR’15,西班牙马德里,2015年9月1日至4日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-91-0)。LIPIcs–莱布尼茨国际信息学论文集42,226-239(2015)。
MSC公司:2005年第68季度 2010年第68季度 68问题85 92C40型
PDF格式BibTeX公司 XML格式引用

局部DNA计算电路的自动设计和验证。 (英语) Zbl 1404.68076号

安德鲁·菲利普斯(编辑)等人,《DNA计算和分子编程》。第21届国际会议,DNA 21,美国马萨诸塞州波士顿和剑桥,2015年8月17日至21日。诉讼程序。查姆:施普林格(ISBN 978-3-319-21998-1/pbk;978-3-3169-21999-8/电子书)。计算机科学讲座笔记9211,168-180(2015)。
MSC公司:60年第68季度 2005年第68季度 92D20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

重新审视随机pi演算。 (英语) Zbl 1405.68209号

Liu,Zhiming(编辑)等人,《计算的理论方面——ICTAC 2013》。第十届国际学术讨论会,中国上海,2013年9月4-6日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39717-2/pbk)。计算机科学课堂讲稿8049,1-21(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

DNA计算和分子编程。2011年9月19日至23日,第17届国际会议,DNA 17,美国加利福尼亚州帕萨迪纳。诉讼程序。 (英语) Zbl 1222.68005号

计算机科学课堂讲稿6937.柏林:施普林格出版社(ISBN 978-3-642-23637-2/pbk)。x、 第217页。(2011).
MSC公司:68-06 2005年第68季度 2010年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模块化马尔科夫逻辑。 (英语) 兹比尔1333.68200

Aceto,Luca(编辑)等人,《自动化,语言和编程》。第38届国际学术讨论会,ICALP 2011,瑞士苏黎世,2011年7月4日至8日。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-22011-1/pbk)。计算机科学课堂讲稿6756380-391(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

双域DNA链置换。 (英语) Zbl 1456.68040号

Cooper,S.Barry(编辑)等人,《计算模型发展第六次研讨会论文集:因果关系、计算和物理》,DCM 2010,苏格兰爱丁堡,2010年7月9日至10日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)26,47-61(2010)。
MSC公司:2007年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 链接

移动环境。重印2001年精装版。 (英语) Zbl 1253.68238号

Bowman,Howard(编辑)等人,分布式处理的形式化方法。面向对象方法综述。剑桥:剑桥大学出版社(ISBN 978-0-521-16875-5/pbk)。198-229 (2010).
MSC公司:68问题85 68M10个
PDF格式BibTeX公司 XML格式引用

空间中的进程。 (英语) Zbl 1286.68345号

Ferreira,Fernando(编辑)等人,《程序、证明、过程》。2010年6月30日至7月4日在葡萄牙亚速尔群岛德尔加达桥举行的第六届欧洲可计算性会议,CiE 2010。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-13961-1/pbk)。计算机科学课堂讲稿615878-87(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

系统生物学的直观自动建模界面。 (英语) Zbl 1456.92071号

Cooper,S.Barry(编辑)等人,《计算模型发展第五次研讨会——来自自然的计算模型》,希腊罗德斯,2009年7月11日。诉讼程序。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)973-86(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

肌动蛋白聚合的过程模型。 (英语) Zbl 1283.92047号

尼古拉·卡纳塔(编辑)等人,《第二次研讨会论文集——从生物学到并发性再到向后》(FBTC 2008),冰岛雷克雅未克,2008年7月12日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记229,第1期,127-144(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

DNA计算的链代数。 (英语) Zbl 1273.68113号

Deaton,Russell(编辑)等人,《DNA计算和分子编程》。第15届国际会议,DNA 15,费耶特维尔,AR,美国,2009年6月8-11日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-10603-3/pbk)。计算机科学课堂讲稿5877,12-24(2009)。
MSC公司:2005年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

吞噬作用背景下rho GTP结合蛋白的过程模型。 (英语) Zbl 1279.68252号

尼古拉·卡纳塔(编辑)等人,第一次研讨会《从生物学到并发性再到并发性(FBTC 2007)》会议记录,葡萄牙里斯本,2007年9月8日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》194,第3期,87-102(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

生物化学的计算能力。 (英语) Zbl 1171.92318号

Horimoto,Katsuhisa(编辑)等人,代数生物学。2008年7月31日至8月2日,第三届国际会议,AB 2008,奥地利哈根堡城堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85100-4/pbk)。计算机科学讲义5147,65-80(2008)。
MSC公司:92C40型 2005年第68季度 92-08
PDF格式BibTeX公司 XML格式引用
全文: 内政部

化学动力学中的终止问题。 (英语) Zbl 1160.68478号

van Breugel,Franck(编辑)等人,CONCUR 2008–并发理论。第19届国际会议,CONCUR 2008,加拿大多伦多,2008年8月19-22日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85360-2/pbk)。计算机科学课堂讲稿5201,477-491(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用隐藏标签操作树。 (英语) Zbl 1277.68116号

Cardelli,Luca(编辑)等人,《计算、意义和逻辑》。献给Gordon Plotkin的文章。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记172177-201(2007)。
MSC公司:68问题55 68第05页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算、意义和逻辑。献给戈登·普洛金的文章。 (英语) Zbl 1273.68018号

理论计算机科学电子笔记172.阿姆斯特丹:爱思唯尔。第652页。,仅电子版(2007年)。
MSC公司:68-06 00立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 链接

计算系统生物学汇刊IV。 (英语) Zbl 1103.92300号

计算机科学课堂讲稿3939.生物信息学课堂讲稿。日记账子行。柏林:施普林格出版社(ISBN 3-540-33245-6/pbk)。vii,141页。(2006年)。
MSC公司:92-06 68-06 68单位99
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Brane结石。生物膜的相互作用。 (英语) Zbl 1088.68657号

Danos,Vincent(编辑)等人,《系统生物学中的计算方法》。CMBS 2004国际会议,法国巴黎,2004年5月26日至28日。修订了选定的论文。柏林:施普林格出版社(ISBN 3-540-25375-0/pbk)。计算机科学课程讲稿3082。生物信息学讲义,257-278(2005)。
MSC公司:68问题85 92C40型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

贪婪的正则表达式匹配。 (英语) Zbl 1099.68769号

Díaz,Josep(编辑)等人,《自动化、语言和编程》。第31届国际学术讨论会,2004年ICALP,芬兰图尔库,2004年7月12-16日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22849-7/pbk)。计算机科学讲义3142618-629(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

ECOOP 2003:面向对象编程,第17届欧洲会议,德国达姆施塔特,2003年7月21日至25日,会议记录。 (英语) Zbl 1028.68209号

计算机科学课堂讲稿. 2743. 柏林:斯普林格。x、 第501页(2003年)。
MSC公司:68单位99 68-06 68甲19
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

使用隐藏标签操作树。 (英语) Zbl 1029.68092号

Andrew D.Gordon(编辑),《软件科学和计算结构基础》。2003年4月7日至11日在波兰华沙举行的第六届国际会议FOSSACS 2003,是欧洲软件理论与实践联合会议ETAPS 2003的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2620, 216-232 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 链接

(C^{\sharp}\)的现代并发抽象。 (英语) Zbl 1049.68754号

Magnusson,Boris(编辑),ECOOP 2002-面向对象编程。第十六届欧洲会议,2002年6月10日至14日,西班牙马拉加。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43759-2)。莱克特。注释计算。科学。2374, 415-440 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

用于查询图形的空间逻辑。 (英语) Zbl 1057.68606号

Peter Widmayer(编辑)等人,《自动化、语言和编程》。第29届国际学术讨论会,ICALP 2002,西班牙马拉加,2002年7月8日至13日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43864-5)。莱克特。注释计算。科学。2380, 597-610 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

用于并发的空间逻辑。二、。 (英语) Zbl 1012.68122号

Brim,Luboš(编辑)等人,CONCUR 2002-并发理论。第十三届国际会议,2002年8月20日至23日,捷克共和国布尔诺。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2421, 209-225 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

用于并发的空间逻辑。一、。 (英语) Zbl 1087.03507号

Kobayashi,Naoki(编辑)等人,《计算机软件的理论方面》。2001年10月29日至31日,第四届国际研讨会,TACS 2001,日本仙台。诉讼程序。柏林:施普林格出版社(ISBN 3-540-42736-8/pbk)。计算机科学课堂讲稿2215,1-37(2001)。
MSC公司:03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 链接

名称限制的逻辑属性。 (英语) 兹伯利0981.68036

Abramsky,Samson(编辑),《键入lambda calculi和应用程序》。第五届国际会议,2001年TLCA,波兰克拉科夫,2001年5月2日至5日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2044, 46-60 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

基于环境逻辑的查询语言。 (英语) Zbl 0977.68028号

David Sands(编辑),《编程语言和系统》。2001年4月2日至6日在意大利热那瓦举行的第十届欧洲程序设计研讨会(ESOP 2001),是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2028, 1-22 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

随时随地:移动环境的模态逻辑。 (英语) Zbl 1323.68405号

2000年1月19日至21日,美国马萨诸塞州波士顿,POPL'00,第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-125-9)。365-377 (2000).
MSC公司:68问题85 03B45号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

半结构化计算。 (英语) Zbl 1044.68575号

理查德·康纳(编辑)等人,《结构化和半结构化数据库编程的研究问题》。第七届数据库编程语言国际研讨会,DBPL’99,Kinloch Rannoch,GB,1999年9月1日至3日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-41481-9)。莱克特。注释计算。科学。1949, 1-16 (2000).
MSC公司:第68页,共15页
PDF格式BibTeX公司 XML格式引用
全文: 链接

保密和创建组。 (英语) Zbl 0999.68148号

Palamidessi,Catuscia(编辑),CONCUR 2000-并发理论。2000年8月22日至25日,第11届国际会议,美国宾夕法尼亚州大学公园。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1877, 365-379 (2000).
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用

周围人群和流动类型。 (英语) Zbl 0998.68536号

van Leeuwen,Jan(编辑)等人,《理论计算机科学》。探索理论信息学的新领域。2000年8月17日至19日在日本仙台举行的IFIP TCS 2000国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1872, 333-347 (2000).
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用

机动性和安全性。 (英语) 兹比尔0995.68004

Bauer,Friedrich L.(编辑)等人,《安全计算的基础》。1999年7月27日至8月8日,德国马克托伯多夫第20所国际暑期学校。阿姆斯特丹:IOS出版社。北约ASI系列。,序列号。F、 计算。系统。科学。175, 3-37 (2000).
MSC公司:68M10个 68第25页
PDF格式BibTeX公司 XML格式引用

移动环境。(扩展摘要)。 (英语) Zbl 0925.68068号

Andrew Gordon(编辑)等人,HOOTS II。语义高阶操作技术第二次研讨会。斯坦福大学,加利福尼亚州帕洛阿尔托,美国,1997年12月8日至12日。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。10,第17号电子文件(1997年)。
MSC公司:68号01 68M10个
PDF格式BibTeX公司 XML格式引用
全文: 链接

命令式对象演算。 (英语) Zbl 1496.68098号

Mosses,Peter D.(编辑)等人,《TAPSOFT’95:软件开发的理论与实践》。1995年5月在丹麦奥胡斯举行的第六届CAAP/FASE国际联席会议。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。915, 471-485 (1995).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

纯子类型演算中的可扩展记录。 (英语) Zbl 0837.68059号

Gunter,Carl A.(编辑)等人,《面向对象编程的理论方面》。类型、语义和语言设计。伦敦:麻省理工学院出版社。麻省理工学院计算机基础新闻系列。373-426 (1994).
PDF格式BibTeX公司 XML格式引用

记录操作。 (英语) Zbl 0837.68069号

Gunter,Carl A.(编辑)等人,《面向对象编程的理论方面》。类型、语义和语言设计。伦敦:麻省理工学院出版社。麻省理工学院计算机基础新闻系列。295-350(1994年)。
PDF格式BibTeX公司 XML格式引用

原始对象理论——非类型和一阶系统。 (英语) Zbl 0942.03523号

Hagiya,Masami(编辑)等人,《计算机软件的理论方面》。1994年4月19日至22日,第二届TACS’94国际研讨会,日本仙台。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。789, 296-320 (1994).
MSC公司:03B70号 68问题55
PDF格式BibTeX公司 XML格式引用

带有子类型的系统\(F\)的扩展。 (英语) Zbl 1496.03058号

Ito,Takayasu(编辑)等人,《计算机软件的理论方面》。1991年9月24日至27日在日本仙台举行的TACS’91国际会议。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。526, 750-770 (1991).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

记录操作(摘要)。 (英语) Zbl 1509.68046号

Main,M.(ed.)等人,《编程语义的数学基础》。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。442, 22-52 (1990).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

对记录的操作(扩展摘要)。 (英语) Zbl 1493.68082号

大卫·H·皮特(编辑)等人,《范畴理论与计算机科学》。1989年9月5日至8日,英国曼彻斯特。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。389, 75-81 (1989).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份