×

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

最新的 引文 关联
Joost-Pieter卡托恩；范德波尔（Jaco van de Pol）；玛丽·斯托琳加；马克·蒂默

概率自动机数据的线性过程代数格式。 （英语） Zbl 1283.68246号

西奥。计算。科学。 413，第1期，36-57（2012）.
审核人：达马斯·格鲁斯卡（布拉迪斯拉发）
MSC公司：68问题85 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.Katoen}等人，Theor。计算。科学。413，编号1，36-57（2012；Zbl 1283.68246）
全文： 内政部 链接
西蒙娜·奥尔赞；威格·威瑟林克；Tim A.C.Willemse。

参数化布尔方程系统的静态分析技术。 （英语） Zbl 1234.68263号

Kowalewski，Stefan（编辑）等人，《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00767-5/pbk）。计算机科学讲座笔记5505230-245（2009）。
MSC公司：60年第68季度 03B70号 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{S.Orzan}等人，Lect。注释计算。科学。5505230--245（2009年；Zbl 1234.68263）
全文： 内政部
van Dam，A。；普洛格，B。；威廉姆斯，T.A.C。

参数化布尔方程系统的实例化。 （英语） 兹比尔1161.68596

Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。计算机科学课堂讲稿5160440-454（2008）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.van Dam}等人，Lect。注释计算。科学。5160、440至454（2008年；兹比尔1161.68596）
全文： 内政部 链接
西蒙娜·奥尔赞；Tim A.C.Willemse。

参数化布尔方程系统的不变量。（扩展摘要）。 （英语） Zbl 1160.68446号

van Breugel，Franck（编辑）等人，CONCUR 2008–并发理论。第19届国际会议，CONCUR 2008，加拿大多伦多，2008年8月19-22日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85360-2/pbk）。计算机科学讲义5201，187-202（2008）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Orzan}和\textit{T.A.C.Willemse}，莱克特。注释计算。科学。5201、187--202（2008；Zbl 1160.68446）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件