×

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

最新的 引文 关联
P.J.L.Cuijpers。;Reniers，医学硕士。

迷失在翻译中：混合时间流与实时转换。 （英语） Zbl 1143.68480号

Egerstedt，Magnus（编辑）等人，《混合系统：计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78928-4/pbk）。计算机科学课堂讲稿4981116-129（2008）。
MSC公司：68问题85 65年第68季度 93B25型
PDF格式BibTeX公司 XML格式引用
\textit{P.J.L.Cuijpers}和\textit{M.A.Reniers}，莱克特。注释计算。科学。4981116-129（2008年；Zbl 1143.68480）
全文： 内政部
Jan Friso，格鲁特;米歇尔·雷尼尔斯（Michel A.Reniers）。;亚罗斯拉夫·乌森科。

时间CRLála区域和区域中时间自动机的离散化。 （英语） Zbl 1316.68095号

Aceto，Luca（编辑）等人，《代数过程计算论文》研讨会论文集（APC 25），意大利贝蒂诺罗，2005年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记162197-202（2006）。
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Groote}等人，《电子》。注释Theor。计算。科学。162197--202（2006；Zbl 1316.68095）
全文： 内政部
穆罕默德·雷扎·穆萨维;默多克·J·加贝。;米歇尔·雷尼尔斯。

高阶过程的SOS。 （英语） Zbl 1134.68450号

Abadi，Martín（编辑）等人，CONCUR 2005–并发理论。第16届国际会议，CONCUR 2005，美国加利福尼亚州旧金山，2005年8月23日至26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28309-9/pbk）。计算机科学课堂讲稿3653308-322（2005）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.R.Mousavi}等人，Lect。注释计算。科学。3653308--322（2005年；Zbl 1134.68450）
全文： 内政部
穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。

结构操作语义中的正交扩展（扩展抽象）。 （英语） Zbl 1085.68593号

Caires，Luís（编辑）等人，《自动化，语言和编程》。2005年7月11日至15日，葡萄牙里斯本，第32届国际学术讨论会，ICALP 2005。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27580-0/pbk）。计算机科学课堂讲稿35801214-1225（2005）。
MSC公司：68问题55 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.R.穆萨维}和\textit{M.A.雷尼尔}，莱克特。注释计算。科学。35801214-1225（2005；Zbl 1085.68593）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

出版年份

主字段

软件