×

找到8个文档（结果1-8）

最新的 引文 关联
让·古鲍特·拉雷克；西蒙，哈尔芬；普拉蒂克，卡兰迪卡尔；K.Narayan Kumar；菲利普·施诺贝伦

计算良好拟序闭子集的理想方法。 （英语） Zbl 1446.68191号

Schuster，Peter M.（编辑）等人，《计算、逻辑、语言和推理中的Well准序》。证明理论、自动机理论、形式语言和描述性集合理论的统一概念。基于关于井准序的小型研讨会：从理论到德国数学研究院（DMV）的应用，2015年9月21-25日，德国汉堡，以及关于计算机科学中井准序的达格斯图尔研讨会16031，德国达格斯图尔城堡，2016年1月17-22日。查姆：斯普林格。趋势日志。螺柱日志。伦敦银行同业拆借利率。53，55-105（2020年）。
MSC公司：68周05 03E05号
PDF格式BibTeX公司 XML格式引用
\textit{J.Goubault-Larrecq}等人，《趋势日志》。螺柱日志。伦敦银行同业拆借利率。53、55-105（2020年；Zbl 1446.68191）
全文： DOI程序 arXiv公司 哈尔
查巴特，P。；Schnoebelen博士。

混合有损和完美fifo通道（扩展抽象）。 （英语） Zbl 1160.68460号

van Breugel，Franck（编辑）等人，CONCUR 2008–并发理论。第19届国际会议，CONCUR 2008，加拿大多伦多，2008年8月19-22日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85360-2/pbk）。计算机科学课堂讲稿5201，340-355（2008）。
MSC公司：68问题85 68个M12
PDF格式BibTeX公司 XML格式引用
\textit{P.Chambart}和\textit{Ph.Schnoebelen}，莱克托。注释计算。科学。520134-355（2008年；Zbl 1160.68460）
全文： DOI程序
拜尔，C。；北伯特兰。；Schnoebelen博士。

具有概率消息丢失的通信系统的符号验证：活性和公平性。 （英语） Zbl 1225.68108号

Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学课堂讲稿4229212-227（2006）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。4229212-227（2006；Zbl 1225.68108）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

软件