×

找到20个文档（结果1–20）

最新的 引文 关联
安东尼奥·法维拉·孔特雷拉斯;弗朗西斯科·贝特拉恩·卡巴贾尔;亚历杭德罗·皮尼翁;安吉洛·雷蒙迪

一类混杂系统的极限环分析。 （英语） Zbl 1400.34043号

数学。问题。工程师。 2016年，文章ID 2981952，14 p.（2016）.
MSC公司：34二氧化碳 34A38型 93C40型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Favela-Contreras}等人，《数学》。问题。Eng.2016，文章ID 2981952，14 p.（2016；Zbl 1400.34043）
全文： 内政部
约尔·瓦克宁;阿默里·波利;乔昂·苏萨·平托;詹姆斯·沃雷尔

矩阵指数方程的可解性。 （英语） Zbl 1395.15012号

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。798-806 (2016).
MSC公司：15A24号 2005年11月 15甲16 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Ouaknine}等人，摘自：2016年第31届ACM/IEEE年度计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机协会（ACM）。798——806（2016年；兹bl 1395.15012）
全文： 内政部 arXiv公司 链接
斯特凡·哈尔;西蒙·泰辛

解耦客流以改进负荷预测。 （英语） Zbl 1408.90037号

Agha，Gul（编辑）等人，《系统的定量评估》。第13届国际会议，2016年QEST，加拿大魁北克市，QC，2016年8月23日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9826, 364-379 (2016).
MSC公司：90B06型 60 H10型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Haar}和\textit{S.Theissing}，莱克特。注释计算。科学。9826、364--379（2016；Zbl 1408.90037）
全文： 内政部 哈尔
丹尼尔·巴雷克;拜尔，克里斯特尔;克吕佩尔霍尔茨，萨沙

基于跨度和耦合的随机过渡系统的组成。 （英语） Zbl 1388.68196号

Chatzigiannakis，Ioannis（编辑）等人，第43届自动化、语言和编程国际学术讨论会，2016年ICALP，意大利罗马，2016年7月12-15日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-013-2）。LIPIcs–Leibniz International Proceedings in Informatics 55，Article 102，15 p.（2016）。
MSC公司：68问题85 65年第68季度 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{D.Gburek}等人，LIPIcs——莱布尼茨国际程序。通知。55，第102条，第15页（2016年；Zbl 1388.68196）
全文： 内政部
斯特凡诺·米诺波利;戈兰·弗雷斯

从仿真模型到使用紧急和松弛的混合自动机。 （英语） Zbl 1366.68148号

第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3955-1）。287-296 (2016).
MSC公司：65年第68季度 60年第68季度 68岁20岁 93A30型
PDF格式BibTeX公司 XML格式引用
\textit{S.Minopoli}和\textit{G.Frehse}，in：第19届ACM混合系统国际会议论文集：计算和控制，HSCC 2016，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）。287--296（2016年；Zbl 1366.68148）
全文： 内政部
亨德里克·罗姆;延斯·奥勒金;马蒂亚斯·沃尔;马蒂亚斯·阿尔霍夫

混合自动机的Reachset一致性测试。 （英语） Zbl 1366.68181号

第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3955-1）。277-286 (2016).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Roehm}等人，in：第19届ACM混合系统国际会议论文集：计算与控制，HSCC 2016，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）。277--286（2016年；Zbl 1366.68181）
全文： 内政部 链接
斯坦利·巴克;塞尔吉·博戈莫洛夫;托马斯·亨辛格。;泰勒·T·约翰逊。;普拉卡什，普拉多特

非线性系统分析的可伸缩静态杂交方法。 （英语） 兹比尔1364.68243

第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3955-1）。155-164（2016年）。
MSC公司：65年第68季度 34A38型 60年第68季度 68岁20岁
PDF格式BibTeX公司 XML格式引用
\textit{S.Bak}等人，in：第19届ACM混合系统国际会议论文集：计算与控制，HSCC 2016，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）。155-164（2016年；Zbl 1364.68243）
全文： 内政部
卢卡·博托卢西;尼古拉斯·加斯特

超越常微分方程的平均场极限。 （英语） Zbl 1346.68217号

Bernardo，Marco（编辑）等人，集体适应系统定量评估的形式方法。第16所计算机、通信和软件系统正式设计方法国际学校，2016年SFM，意大利贝蒂诺罗，2016年6月20日至24日。高级讲座。商会：施普林格出版社（ISBN 978-3-319-34095-1/pbk；978-3-319-34096-8/ebook）。计算机科学9700，61-82（2016）讲稿。
MSC公司：68T42型 34A60型 34F05型 60年28日 65年第68季度 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}和\textit{N.Gast}，莱克特。注释计算。科学。9700、61-82（2016年；Zbl 1346.68217）
全文： 内政部 哈尔

第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。 （英语） Zbl 1344.93003号

纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3955-1）。十六、308页。(2016).
MSC公司：93-06 68-06 65年第68季度 60年第68季度 93立方 00B25型
PDF格式BibTeX公司 XML格式引用
第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）（2016；Zbl 1344.93003）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件