×

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

线性代数。 (英语) Zbl 1381.15001号

数学简明教材查姆:Birkhäuser/Springer(ISBN 978-3-319-63792-1/pbk;978-3-3169-63793-8/电子书)。xiii,第384页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

并发理论简介。过渡系统和CCS。 (英语) Zbl 1333.68001号

理论计算机科学课文。EATCS系列查姆:施普林格(ISBN 978-3-319-21490-0/hbk;978-3-3169-21491-7/电子书)。xi,第334页。(2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

线性代数及其应用。 (英语) Zbl 1300.15001号

新泽西州哈肯萨克:世界科学(ISBN 978-981-4590-53-2/hbk)。ix,320页。(2014年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用无声动作检查规范BPA的相等性和正则性。 (英语) Zbl 1335.68171号

Fomin,Fedor V.(编辑)等人,《自动化、语言和编程》。2013年7月8日至12日,第40届国际学术讨论会,ICALP 2013,拉脱维亚里加,会议记录,第二部分。柏林:施普林格出版社(ISBN 978-3-642-39211-5/pbk)。计算机科学课堂讲稿7966,238-249(2013)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种基本的并行过程,如并行下推自动机。 (英语) Zbl 1291.68276号

Hildebrandt,Thomas(编辑)等人,《第十五届并发表达能力国际研讨会论文集》(EXPRESS 2008),加拿大多伦多,2008年8月23日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》242,第1期,35-48(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

重新审视了正常BPA和正常BPP。 (英语) Zbl 1160.68468号

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

具有chop的不动点逻辑的组成。 (英语) Zbl 1169.68522号

Dang Van Hung(编辑)等人,《计算的理论方面——ICTAC 2005》。第二届国际学术讨论会,越南河内,2005年10月17日至21日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29107-5/pbk)。计算机科学课堂讲稿3722136-150(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自由基本进程代数。 (英语) Zbl 0931.08004号

Chajda,I.(编辑)等人,《对普通代数的贡献》11。《1998年奥洛穆克普通代数研讨会论文集》,第56页。Arbeitstagung Allgemeine Algebra”,捷克共和国奥洛穆克,1998年6月12日至14日,以及1998年8月31日至9月5日捷克共和国VelkéKarlovice关于泛代数和有序集的暑期学校。克拉根福:弗拉格·约翰内斯·希恩。145-150 (1999).
MSC公司:08B20号 08A70号
PDF格式BibTeX公司 XML格式引用

无上下文进程代数中的死锁状态。 (英语) Zbl 0917.68153号

Brim,Luboš(编辑)等人,《计算机科学的数学基础》,1998年。第23届国际研讨会,MFCS’98。1998年8月24日至28日,捷克共和国布尔诺。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1450, 388-398 (1998).
MSC公司:70年第68季度
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份