×

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

最新的 引文 关联
德米特里·V·佩特林。；萨多夫斯基（Sadovski）、米哈（Mikha）l G。

基于生长异速生长理论的细胞周期动力学数学模型。 （俄语。英文摘要） Zbl 1521.92052号

J.西布。联邦大学数学系。物理学。 5，第1号，106-115（2012）.
MSC公司：92立方37 92立方厘米 92年第35季度
PDF格式BibTeX公司 XML格式引用
\textit{D.V.Petelin}和textit{M.G.Sadovski}，J.Sib。联邦大学数学系。物理学。5、编号1、106-115（2012；Zbl 1521.92052）
全文： MNR公司
Gibin G.波瓦提尔。；柯斯蒂·戈登（Kirsty E.Gordon）。；利迪亚·希尔。；牧师Mark A.J。

模拟细胞周期异质性对实体肿瘤化疗反应的影响：来自混合多尺度细胞自动机模型的生物学见解。 （英语） Zbl 1411.92146号

J.西奥。生物。 308, 1-19 (2012).
MSC公司：92 C50 92C45型 92立方37 68问题80
PDF格式BibTeX公司 XML格式引用
\textit{G.G.Powathil}等人，J.Theor。生物.308，1--19（2012；Zbl 1411.92146）
全文： 内政部
彼得·施拉梅尔；贝特朗·珍妮特

从混合数据流语言到混合自动机：一个完整的翻译。 （英语） 兹比尔1362.68184

第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。167-176 (2012).
MSC公司：60年第68季度 68甲15 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Schrammel}和\textit{B.Jeannet}，in：第15届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）。167--176（2012；Zbl 1362.68184）
全文： 内政部
帕拉萨拉·斯里达尔·达吉拉拉；萨扬·密特拉

李亚普诺夫对混合系统必然性的抽象。 （英语） Zbl 1361.68145号

第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。115-123 (2012).
MSC公司：60年第68季度 34A38型 65年第68季度 93立方 93天30分
PDF格式BibTeX公司 XML格式引用
\textit{P.S.Duggirala}和\textit{S.Mitra}，in：第十五届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）。115-123（2012；Zbl 1361.68145）
全文： 内政部
拉杰夫·阿鲁尔；阿舒托什·特里维迪；多米尼克·沃伊特扎克

恒速多模系统的最优调度。 （英语） Zbl 1361.93020号

第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。75-84 (2012).
MSC公司：93立方 2017年第68季度 65年第68季度 90B35型
PDF格式BibTeX公司 XML格式引用
\textit｛R.Alur｝等人，《第15届ACM混合系统国际会议论文集：计算与控制》，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）。75-84（2012年；Zbl 1361.93020）
全文： 内政部
马西莫·贝内雷塞蒂；马可·费拉；Stefano米诺波利

线性混合系统的可达性博弈。 （英语） Zbl 1361.68116号

第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。65-74 (2012).
MSC公司：65年第68季度 34A60型 91A80型 93B40码 93亿B50 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Benerecetti}等人，in：第15届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）。65-74（2012年；Zbl 1361.68116）
全文： 内政部
拉希德·热比哈；纳迪尔·马特林格；阿纳多·维埃拉·穆拉

非线性微分和混合系统的先验归纳不变量生成。 （英语） Zbl 1362.68153号

第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。25-34 (2012).
MSC公司：65年第68季度 34A38型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Rebiha}等人，in：第15届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）。25-34（2012；Zbl 1362.68153）
全文： 内政部
桑迪普·卡马卡；迪潘维塔·罗伊·乔杜里

NOCAS：基于非线性细胞自动机的流密码。 （英语） Zbl 1323.94120号

Fatès，Nazim（编辑）等人，《自动化》2011年。2011年11月21日至23日，在智利圣地亚哥举行的第17届细胞自动机和离散复杂系统国际研讨会上，论文根据研讨会上的陈述进行了精选。南希：协会。离散数学与理论计算机科学（DMTCS）。离散数学和理论计算机科学。会议记录，135-146，仅电子版（2012年）。
MSC公司：94A60型 68问题80
PDF格式BibTeX公司 XML格式引用
\textit{S.Karmakar}和\textit{D.R.Chowdhury}，收录于：Automata 2011。2011年11月21日至23日，在智利圣地亚哥举行的第17届细胞自动机和离散复杂系统国际研讨会上，论文根据研讨会上的陈述进行了选择。南希：协会。离散数学与理论计算机科学（DMTCS）。135-146（2012年；Zbl 1323.94120）
全文： 链接

第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17日至19日。 （英语） Zbl 1300.93004号

纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。xi，第295页。，仅电子版（2012年）。
MSC公司：93-06 68-06 65年第68季度 60年第68季度 93立方 00B25型
PDF格式BibTeX公司 XML格式引用
第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17-19日。纽约州纽约市：计算机协会（ACM）（2012；Zbl 1300.93004）
全文： 内政部
Perevaryukha，A.Yu。

鲟鱼两种群模型中的循环和不稳定混沌动力学。 （俄语、英语） Zbl 1299.92050

同胞。Zh公司。维奇尔。材料。 15，第3号，307-320（2012）; 数字翻译。分析应用程序。5，第3期，254-264（2012）。
MSC公司：92D25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Yu.Perevaryukha}，西布。Zh公司。维奇尔。材料15，编号3，307--320（2012；Zbl 1299.92050）；数字翻译。分析应用程序。5，第3号，254--264（2012）
全文： 内政部
Bychkov，A.S。

脉冲模糊线性混合自动机的稳定性。 （乌克兰语。英文摘要） Zbl 1289.93066号

视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2012年第2期，79-86（2012）.
MSC公司：93立方 65年第68季度 93立方厘米 93D05型
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Bychkov}，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2012，第2号，第79-86号（2012；Zbl 1289.93066）
马尼德拉·阿格拉瓦尔；弗兰克·斯蒂芬；蒂亚加拉扬，P.S。；杨绍发

受限线性混合自动机的离散时间行为。 （英语） Zbl 1256.68094号

D’Souza，Deepak（编辑）等人，自动机理论的现代应用。献给普里蒂·尚卡尔教授。引言：莱因哈德·威廉姆。新泽西州哈肯萨克：世界科学；班加罗尔：IISc出版社（ISBN 978-981-4271-04-2/hbk；978-981-4271-05-9/电子书）。IISc研究专著系列2，437-453（2012）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Agrawal}等人，IISc Res.Monogr。序列号。2437-453（2012年；Zbl 1256.68094）
全文： 内政部
泰勒·T·约翰逊。；格林，杰里米；萨扬·密特拉；达力，瑞秋；理查德·斯科特·埃尔文

卫星交会和避免会合：非线性混合系统验证中的案例研究。 （英语） Zbl 1372.68172号

Giannakopoulou，Dimitra（编辑）等人，FM 2012：形式方法。第18届国际研讨会，2012年8月27日至31日，法国巴黎。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32758-2/pbk）。计算机科学课堂讲稿7436，252-266（2012）。
MSC公司：60年第68季度 65年第68季度 93立方 93C85号
PDF格式BibTeX公司 XML格式引用
\textit{T.T.Johnson}等人，Lect。票据计算。科学。7436，252--266（2012；Zbl 1372.68172）
全文： 内政部
古·T·约翰；李荣庆；迈克尔·库特鲁普（Michael M.Quottrup）。；查尔斯·克利夫顿。；鲁兹别·伊扎迪·扎马纳巴迪；托马斯·贝克

基于时序逻辑规范的多机器人运动规划框架。 （英语） Zbl 1245.68227号

科学。中国，信息科学。 55，第7期，1675-1692（2012）.
MSC公司：68T40型 68T20型 68T27型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.J.Koo}等人，科学。中国，信息科学。55，第7号，1675--1692（2012；Zbl 1245.68227）
全文： 内政部 链接
达姆，沃纳；海宁·迪尔克斯；斯特凡·迪什；威廉·哈格曼；弗洛里安·皮戈什；克里斯托夫·斯科尔；乌韦·沃尔德曼；鲍里斯·维茨

具有大型离散状态空间的线性混合自动机的精确和完全符号验证。 （英语） Zbl 1243.68212号

科学。计算。程序。 77，编号10-11122-1150（2012）.
MSC公司：60年第68季度 65年第68季度 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{W.Damm}等人，科学。计算。程序。77，编号10-11122-1150（2012年；兹bl 1243.68212）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前3名

主字段

全部的 前3名

软件