×

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

多项式层次结构中的参数化复杂性。将参数化复杂性理论扩展到更高层次。 (英语) Zbl 1435.68010号

计算机科学课堂讲稿11880.柏林:施普林格出版社(ISBN 978-3-662-60669-8/pbk;978-3-562-60670-4/电子书)。xi,第398页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于模型检查的数据检索。半结构化和时态数据的应用程序。 (英语) Zbl 1069.68044号

计算机科学课堂讲稿2917.柏林:施普林格出版社(ISBN 3-540-20971-9/pbk)。十六、134页。(2004).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间逻辑。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。 (英语) Zbl 0875.03007号

计算机科学课堂讲稿人工智能课堂讲稿。柏林:斯普林格。xi,546 p.104.00马克;öS 811.20;sFr 104.00/sc(1994年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用时序逻辑指定消息传递和时间关键型系统。 (英语) Zbl 0806.68074号

计算机科学课堂讲稿. 651. 柏林:Springer-Verlag。九、 164 p.DM 46.00/sc(1992年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

编程语义的数学基础。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。 (英语) Zbl 0751.68005号

计算机科学课堂讲稿442.柏林等:斯普林格·弗拉格。VI、 439页(1990年)。
审核人:E.P.de Vink公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

并行逻辑和模型中的线性时间、分支时间和部分顺序。1988年5月30日至6月3日,荷兰Noordwijkerhout学校/研讨会。诉讼程序。 (英语) Zbl 0683.68001号

计算机科学课堂讲稿354.柏林等:斯普林格·弗拉格。八、 第713页(1989年)。
MSC公司:68-06 00B25型
PDF格式BibTeX公司 XML格式引用

规范中的时序逻辑。1987年4月8日至10日,英国奥尔特林查姆。诉讼程序。 (英语) Zbl 0718.68002号

计算机科学课堂讲稿,第398页。柏林等:Springer-Verlag。六、 第448页,DM 63.00(1989)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

全部的 前5名

体积

全部的 前5名

出版年份

主字段