×

找到146个文档（结果1-100）

最新的 引文 关联
克里斯蒂安·克劳斯；霍尔格·吉斯

具有服务级别协议的面向服务系统的模型检查概率实时属性。 （英语） Zbl 1457.68165号

Yu，Fang（编辑）等，第十三届无限状态系统验证国际研讨会，台湾台北，2011年10月10日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）73、64-78（2011）。
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Krause}和\textit{H.Giese}，电子。程序。西奥。计算。科学。（EPTCS）73、64--78（2011；Zbl 1457.68165）
全文： arXiv公司 链接
阿西里·拉特纳亚克；Hayo Thielecke

正则表达式匹配和操作语义。 （英语） Zbl 1457.68156号

Reniers，M.A.（编辑）等人，《结构操作语义2011年第八次研讨会》，德国亚琛，2011年9月5日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）62，31-45（2011）。
MSC公司：第68季度55 68第05页 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛A.Rathnayake｝和\textit｛H.Thielecke｝，电子。程序。西奥。计算。科学。（EPTCS）62，31-45（2011；Zbl 1457.68156）
全文： arXiv公司 链接
马修·特雷科尔；何塞·德斯哈奈斯；阿比尔·日乌阿

计算概率自动机之间的距离。 （英语） Zbl 1457.68151号

Massink，Mieke（编辑）等人，第九届编程语言定量方面研讨会论文集，德国萨尔布吕肯，2011年4月1日至3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）57，148-162（2011）。
MSC公司：65年第68季度 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Tracol}等人，《电子》。程序。西奥。计算。科学。（EPTCS）57，148--162（2011；Zbl 1457.68151）
全文： arXiv公司 链接
卢卡·博托卢西；瓦实提·加尔平；简·希尔斯顿

随机事件的HYPE。 （英语） Zbl 1457.68179号

Massink，Mieke（编辑）等人，第九届编程语言定量方面研讨会论文集，德国萨尔布吕肯，2011年4月1日至3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）57120-133（2011年）。
MSC公司：68问题85 65年第68季度 60年第68季度 87年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}等人，《电子》。程序。西奥。计算。科学。（EPTCS）57，120--133（2011；Zbl 1457.68179）
全文： arXiv公司 链接
索尼娅·本·莫赫塔尔（编辑）；西蒙·布利兹（编辑）；罗伯托·布鲁尼（编辑）；亚历山德拉·席尔瓦（编辑）；安吉洛·特洛伊娜（编辑）

复杂系统中的并发和交互。 （英语） Zbl 1424.68001号

科学。Ann.计算。科学。 21，第1期，第1-4期（2011年）.
MSC公司：68-06 93-06 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{S.Ben Mokhtar}（编辑）等，科学。Ann.计算。科学。21，编号1，1--4（2011；Zbl 1424.68001）
Kim，Kyong-Dae先生；萨扬·密特拉；P.R.库马尔。

用有限精度计算计算一类线性混合自动机的有界（ε）可达集。 （英语） Zbl 1362.68144号

2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。113-122 (2011).
MSC公司：65年第68季度 93个B03 93B40码 93立方
PDF格式BibTeX公司 XML格式引用
\textit{K.-D.Kim}等人，in：第14届ACM混合系统国际会议论文集：计算与控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12-14日。纽约州纽约市：计算机协会（ACM）。113-122（2011；Zbl 1362.68144）
全文： 内政部
阿米尔·阿里·艾哈迈迪；拉斐尔·荣格斯；巴勃罗·帕里洛。；马尔达维吉·鲁兹贝哈尼

利用路径完备图上的Lyapunov函数分析联合谱半径。 （英语） Zbl 1364.93376号

2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。13-22 (2011).
MSC公司：93立方 05元50分 65年第68季度 90C22型 93天30分
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Ahmadi}等人，in：第14届ACM混合系统国际会议论文集：计算与控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12-14日。纽约州纽约市：计算机协会（ACM）。13-22（2011年；Zbl 1364.93376）
全文： 内政部 链接
吉崎固本

基于位置连通性的Petri网形态的代数性质。 （英语） 兹比尔1341.68131

Dömösi，Pál（ed.）等人，《自动机和形式语言》。2011年8月17日至22日在匈牙利德布勒森举行的2011年AFL第13届国际会议。尼雷加扎：尼雷加萨学院，数学和信息学研究所（ISBN 978-615-5097-19-5/pbk）。270-284 (2011).
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Kunimochi}，in：自动机和形式语言。第13届国际会议，AFL 2011，匈牙利德布勒森，2011年8月17日至22日。尼雷加扎：尼雷加萨学院，数学和信息学研究所。270--284（2011；Zbl 1341.68131）
迈克尔·卡尔·桑茨；迪尔森·卡纳尔；阿努帕姆·达塔

交互式系统差异隐私的形式验证（扩展抽象）。 （英语） Zbl 1342.68212号

Mislove，Michael（ed.）等人，《第27届编程语义数学基础会议论文集》（MFPS XXVII），匹兹堡，宾夕法尼亚州，美国，2011年5月25日至28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记276，61-79（2011）。
MSC公司：60年第68季度 64岁以下 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.C.Tschantz}等人，《电子》。注释Theor。计算。科学。276、61-79（2011年；Zbl 1342.68212）
全文： 内政部
伊格纳西奥·科尔特斯；加西亚，J.安东尼奥

涌现的非对易引力。 （英语） Zbl 1331.83058号

阿亚拉、亚历杭德罗（编辑）等，第十二届墨西哥粒子与场研讨会，墨西哥马扎特兰，2009年11月9日至14日。根据研讨会上的演示选择论文。纽约州梅尔维尔：美国物理研究所（AIP）（ISBN 978-0-7354-0919-4/pbk）。AIP会议记录1361，324-328（2011）。
MSC公司：83C65个 83D05号 81T13型 14日第15天
PDF格式BibTeX公司 XML格式引用
\textit{I.Cortese}和\textit{J.A.GarcíA}，AIP Conf.Proc。1361、324--328（2011年；Zbl 1331.83058）
全文： 内政部
阿帕里西奥·蒙福特（Aparicio-Monforte），艾因霍亚；穆雷·A·巴卡图。；塞尔吉·西蒙；雅克·亚瑟·韦尔

微分系统解的形式第一积分。一、。 （英语） Zbl 1323.34097号

安东·莱金（编辑），第36届符号和代数计算国际研讨会论文集，ISSAC 2011，美国加利福尼亚州圣何塞，2011年6月7日至11日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0675-1）。19-26 (2011).
MSC公司：34米25 47J30型 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{A.Aparicio-Monforte}等人，in：第36届符号和代数计算国际研讨会论文集，ISSAC 2011，美国加利福尼亚州圣何塞，2011年6月7-11日。纽约州纽约市：计算机协会（ACM）。19-26（2011年；Zbl 1323.34097）
全文： 内政部
梅尔贾纳克，S。；A.萨姆萨洛夫。；J.Trampetić。；M.沃尔根南特。

（φ{4}\kappa）-Minkowski模型中的标量场传播。 （英语） Zbl 1306.81305号

《高能物理杂志》。 2011年，第12期，第010号论文，23页（2011）.
MSC公司：81T75型 83E15号 第81页第40页 81T15型 53D55型 14日第15天 2008年9月35日
PDF格式BibTeX公司 XML格式引用
\textit{S.Meljanac}等人，《高能物理学杂志》。2011年，第12期，第010号论文，23页（2011；Zbl 1306.81305）
全文： 内政部 arXiv公司
贾塔加纳斯、迪米特里奥斯

边缘变形复曲面AdS/CFT中的半经典弦。 （英语） Zbl 1306.81232号

《高能物理杂志》。 2011年，第12号，第051号文件，第26页（2011年）.
MSC公司：81T30型 81T13型 81T20型 第81页第40页 53元25角 14日第15天 14D06日 2010年第81季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Giataganas}，J.高能物理学。2011年，第12号，第051号文件，第26页（2011年；Zbl 1306.81232）
全文： 内政部 arXiv公司
马里亚·迪米特里耶维奇；拉里萨·乔克

卡帕·明科斯基：规范理论的一个扭曲观点。 （英语） Zbl 1306.81046号

《高能物理杂志》。 2011年，第12期，第080号论文，23页（2011）.
MSC公司：81问题60 83A05号 70S15型 81T75型 81T13型 14日第21天 14J80型 14日第15天
PDF格式BibTeX公司 XML格式引用
\textit{M.Dimitrijević}和\textit{L.Jonke}，J.高能物理学。2011年，第12期，第080号论文，23页（2011；Zbl 1306.81046）
全文： 内政部 arXiv公司
尼科洛·科伦坡；Sundell，Per公司

4D高旋引力中的扭曲空间观测值和准振幅。 （英语） Zbl 1306.83061号

《高能物理杂志》。 2011年第11期，第042号论文，47页（2011）.
MSC公司：83D05号 83C20美元 81T13型 14日第21天 83C60个 83C65个 53D05型 14日第15天 53D55型
PDF格式BibTeX公司 XML格式引用
\textit{N.Colombo}和\textit{P.Sundell}，J.高能物理学。2011年，第11期，第042号论文，47页（2011；Zbl 1306.83061）
全文： 内政部 arXiv公司
冈东敏；黄玉亭；永清岛，Koh，Eunkyung；李桑民；阿瑟·利普斯坦（Arthur E.Lipstein）。

ABJM理论的树级递归关系和对偶超正规对称性。 （英语） Zbl 1301.81126号

《高能物理杂志》。 2011年，第3号，第116号文件，第51页（2011年）.
MSC公司：81T13型 81T60型 81T20型 第81页第40页 58J28型 81U05型 81T18型 81兰特 14日第15天
PDF格式BibTeX公司 XML格式引用
\textit{D.Gang}等人，《高能物理学杂志》。2011年，第3期，第116号论文，51页（2011；Zbl 1301.81126）
全文： 内政部 arXiv公司
尼古拉·博贝夫；巴尔特·C·范·里斯。

（AdS_{3}{times}S^{3}）的薛定谔变形。 （英语） Zbl 1298.81159号

《高能物理杂志》。 2011年，第8期，第062号论文，21页（2011）.
MSC公司：81T13型 81V17型 81T20型 第81页第40页 83E50个 83E15号 14日第15天
PDF格式BibTeX公司 XML格式引用
\textit{N.Bobev}和\textit{B.C.van Rees}，J.高能物理学。2011年，第8期，第062号论文，21页（2011；Zbl 1298.81159）
全文： 内政部 arXiv公司
马克西米利安·克鲁泽；乔克·麦克里斯特；伊拉里奥五世·梅尔尼科夫。；M.Ronen，Plesser

线性sigma模型的（0,2）变形。 （英语） Zbl 1298.81146号

《高能物理杂志》。 2011年第7期，第044号论文，30页（2011）.
MSC公司：81T10型 81T13型 81T30型 81T60型 14J32型 14米25 14日第15天
PDF格式BibTeX公司 XML格式引用
\textit{M.Kreuzer}等人，《高能物理学杂志》。2011年，第7期，第044号论文，30页（2011；Zbl 1298.81146）
全文： 内政部 arXiv公司
Kryvyi，S.L。

信息技术中的有限状态自动机。 （英语。俄文原件） Zbl 1358.68216号

赛博。系统。分析。 47，第5期，669-683（2011）; 翻译自Kibern。修女。分析。2011年，第5期，3-20（2011）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\文本{S.L.Kryvyi}，Cybern。系统。分析。47，No.5，669--683（2011；Zbl 1358.68216）；翻译自Kibern。修女。分析。2011年第5号、第3--20号（2011）
全文： 内政部
哈维尔·埃斯帕尔扎；皮埃尔·甘蒂

多线程程序基于模式的验证的复杂性。 （英语） Zbl 1284.68182号

2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。499-510 (2011).
MSC公司：68号30 65年第68季度 68问题85 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}和\textit{P.Ganty}，摘自：第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'11，美国德克萨斯州奥斯汀，2011年1月26日至28日。纽约州纽约市：计算机协会（ACM）。499-510（2011年；Zbl 1284.68182）
全文： 内政部
亚伦·约瑟夫·图伦；米切尔·旺德

用于优化并发对象的分离逻辑。 （英语） Zbl 1284.68207号

2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。247-258 (2011).
MSC公司：68号30 68甲19 68问题85 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{A.J.Turon}和\textit{M.Wand}，摘自：第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'11，美国德克萨斯州奥斯汀，2011年1月26日至28日。纽约州纽约市：计算机协会（ACM）。247--258（2011年；Zbl 1284.68207）
全文： 内政部 链接
马修·黑格

具有非原子写入的参数化下推系统。 （英语） Zbl 1246.68156号

Chakraborthy，Supraik（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2011），印度孟买，2011年12月12-14日。瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-939897-34-7）。LIPIcs–莱布尼茨国际信息学会议录13，457-468，仅电子版（2011年）。
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Hague}，LIPIcs——莱布尼茨国际程序。通知。13、457--468（2011；Zbl 1246.68156）
全文： 内政部 arXiv公司
穆罕默德·法乌齐（Mohamed Faouzi Atig）；皮埃尔·甘蒂

沿着无上下文轨迹逼近Petri网可达性。 （英语） Zbl 1246.68161号

Chakraborthy，Supraik（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2011），印度孟买，2011年12月12-14日。瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-939897-34-7）。LIPIcs–莱布尼茨国际信息学会议录13，152-163，仅电子版（2011年）。
MSC公司：68问题85 第68季度第42季度 65年第68季度 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{M.F.Atig}和\textit{P.Ganty}，LIPIcs——莱布尼茨国际程序。通知。13、152--163（2011；Zbl 1246.68161）
全文： 内政部
安吉尔·赫兰兹；朱利奥·马里诺

从面向对象形式规范合成逻辑程序。 （英语） Zbl 1245.68063号

Gallagher，John P.（编辑）等人，第27届逻辑编程国际会议的技术交流（ICLP 2011），美国肯塔基州列克星敦，2011年7月6日至10日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-31-6）。LIPIcs–莱布尼茨国际信息学会议录11，95-105，仅电子版（2011年）。
MSC公司：68号30 68N17号 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{阿尔兰兹}和\textit{J.马里诺}，LIPIcs--Leibniz Int.Proc。通知。11、95——105（2011；Zbl 1245.68063）
全文： 内政部 链接
戈皮纳德·西里吉尼迪；安东尼奥斯·索尔多斯；布莱恩·怀特（Brian A.White）。；拉法·比科夫斯基

多无人机系统时间规范的克里普克建模和验证。 （英语） Zbl 1242.68171号

安。数学。Artif公司。智力。 63，第1期，31-52（2011）.
MSC公司：60年第68季度 68T40型 93C85号 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛G.Siriginedi｝等人，Ann.Math。Artif公司。智力。63、第1号、第31-52号（2011；Zbl 1242.68171）
全文： 内政部
乌苏拉·路德维希

利用Witten变形证明奇异复代数曲线的分层Morse不等式。（Une preuve des inegalités de Morse pour les courbes algébriques singulières utilisant la déformation de Witten） （英语。法语摘要） 兹比尔1242.32006

安·Inst.Fourier 61，第5期，1749-1777（2011）.
审核人：维琴·杜勒斯库（Craiova）
MSC公司：32G05号 14日第15天 34二氧化碳 14号35
PDF格式BibTeX公司 XML格式引用
\textit{U.Ludwig}，Ann.Inst.Fourier 61，No.5，1749--1777（2011；Zbl 1242.32006）
全文： 内政部 Numdam编号 欧洲DML
斯科特·麦奎（Scott W.McCue）。；谢，迈克；蒂莫西·莫罗尼。；马克·尼尔森（Mark I Nelson）。

溶剂依赖型药物通过聚合物微球扩散模型的渐近和数值结果。 （英语） Zbl 1452.76195号

SIAM J.应用。数学。 71，第6期，2287-2311（2011）.
MSC公司：76米45 76兰特 35兰特
PDF格式BibTeX公司 XML格式引用
\textit｛S.W.McCue｝等人，SIAM J.应用。数学。71，第6号，2287--2311（2011；Zbl 1452.76195）
全文： 内政部 链接
乌里·法伦贝格；Juhl，Line公司；Larsen，Kim G。；吉·斯尔巴

多权自动机中的能量博弈。 （英语） Zbl 1350.68168号

Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2011》。第八届国际学术讨论会，南非约翰内斯堡，2011年8月31日至9月2日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23282-4/pbk）。计算机科学课堂讲稿6916，95-115（2011）。
MSC公司：65年第68季度 68问题85 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{U.Fahrenberg}等人，Lect。票据计算。科学。6916，95-115（2011；Zbl 1350.68168）
全文： 内政部 哈尔
高石青木；本田、瑙富米

与具有大参数的Noumi-Yamada系统相关的Riemann曲面的几何特性。 （英语） Zbl 1242.34154号

数学杂志。Soc.日本 63，第4期，1085-1119（2011）.
审核人：安德烈·卡帕耶夫（的里雅斯特）
MSC公司：34M55型 34M60型 34E20型 34米25
PDF格式BibTeX公司 XML格式引用
\textit{T.青木}和\textit{N.本田}，J.数学。日本兴业银行63号，第4期，1085-1119页（2011年；兹bl 1242.34154）
全文： 内政部
塞巴斯蒂安·达尼西奇；理查德·巴拉克劳。；马克·哈曼；约翰·霍罗伊德。；亲吻，阿尔科斯；迈克尔·劳伦斯。

控制依赖的统一理论及其在任意程序结构中的应用。 （英语） Zbl 1231.68179号

西奥。计算。科学。 412，编号49，6809-6842（2011）.
MSC公司：68兰特 68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Danicic}等人，Theor。计算。科学。412，第49号，6809--6842（2011；Zbl 1231.68179）
全文： 内政部 链接
Jiménez，S。

Weil jets，Lie通信和应用。 （英语） Zbl 1234.58002号

Blázquez-Sanz，David（编辑）等人，微分方程和差分方程中的对称性和相关主题。2009年7月31日至8月2日，哥伦比亚波哥大塞尔吉奥·阿博莱达大学，马特马提卡斯学院，2009年第三届Jairo Charris微分方程和差分方程对称性研讨会。普罗维登斯，RI：美国数学学会（AMS）（ISBN 978-0-8218-6872-0/pbk）。《当代数学》54925-50（2011）。
MSC公司：58A20型 58J72型 35A30型
PDF格式BibTeX公司 XML格式引用
\textit{S.Jiménez}，康特姆。数学。549、25-50（2011年；Zbl 1234.58002）
让·埃卡利；夏尔马，什韦塔

具有和积泰勒系数的幂级数及其再生代数。 （英语） Zbl 1234.40001号

Costin，O.（编辑）等人，《动力学、几何和偏微分方程的渐近性》。广义Borel求和。第一卷会议记录，CRM，意大利比萨，2009年10月12-16日。比萨：Edizioni della Normale（ISBN 978-88-7642-374-1/pbk；978-88.7642-379-6/电子书）。Centro di Ricerca Matematica Ennio De Giorgi（CRM）Series（Nuova Serie）第12、1、35-200页（2011年）。
审核人：马塞尔·德布鲁因（哈勒姆）
MSC公司：40-02 40G10型 13层25 34立方米
PDF格式BibTeX公司 XML格式引用
\textit{J.Ecalle}和\textit{S.Sharma}，客户关系管理服务。（N.S.）12、35--200（2011年；Zbl 1234.40001）
全文： arXiv公司
菲利普·埃西迪厄（Philippe Eyssidieux）；卡洛斯·辛普森

混合霍奇结构的变分依附于霍奇结构复杂变分的变形理论。 （英语） Zbl 1246.14018号

《欧洲数学杂志》。社会（JEMS） 第13期，第6期，1769-1798（2011）.
审核人：Zsolt Patakfalvi（普林斯顿）
MSC公司：2007年4月14日 14日第15天 14C30号
PDF格式BibTeX公司 XML格式引用
\textit{P.Eyssidieux}和\textit{C.Simpson}，《欧洲数学杂志》。Soc.（JEMS）13，No.6，1769--1798（2011；Zbl 1246.14018）
全文： 内政部 arXiv公司
雅各布·卢丽

环谱的模问题。 （英语） Zbl 1244.55007号

Bhatia，Rajendra（编辑）等人，国际数学家大会会议记录（ICM 2010），印度海得拉巴，2010年8月19-27日。第二卷：特邀讲座。新泽西州哈肯萨克：世界科学；新德里：印度斯坦图书局（ISBN 978-981-4324-32-8/hbk；978-81-85931-08-3/hbk；988-981-4304-4/set；978-981-4324-35-9/ebook）。1099-1125（2011年）。
审核人：阿德里安·兰格（华沙）
MSC公司：55页第43页 14日第15天 18D05日
PDF格式BibTeX公司 XML格式引用
\textit{J.Lurie}，in：国际数学家大会会议记录（ICM 2010），印度海得拉巴，2010年8月19-27日。第二卷：特邀讲座。新泽西州哈肯萨克：世界科学；新德里：印度斯坦书局。1099-1125（2011年；兹比尔1244.55007）
全文： 链接
巴勃罗·卡斯特罗。；Kilmurray，塞西莉亚；阿拉塞利·阿科斯塔；纳扎雷诺·阿吉雷

dCTL：用于容错系统验证的分支时间时序逻辑。 （英语） Zbl 1350.68181号

Barthe，Gilles（编辑）等人，《软件工程和形式化方法》。2011年11月14日至18日，乌拉圭蒙得维的亚，2011年SEFM第九届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24689-0/pbk）。计算机科学课堂讲稿7041106-121（2011）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{P.F.Castro}等人，Lect。票据计算。科学。7041、106-121（2011年；Zbl 1350.68181）
全文： 内政部
科瓦奇，Sándor J。；马克斯·利布利奇

勘误：“规范极化流形族的有界性：Shafarevich猜想的高维模拟”。 （英语） 兹比尔1234.14029

安。数学。(2) 173，第1期，585-617（2011）.
审核人：沃纳·克莱因茨（柏林）
MSC公司：14日J10 14日第15天 14C20型 2014年05月 14甲10 14A20型 14日第23天 14D06日
PDF格式BibTeX公司 XML格式引用
\textit{S.J.Kovács}和\textit{M.Lieblich}，Ann.数学。（2） 173，第1号，585--617（2011；Zbl 1234.14029）
全文： 内政部
Jean-Paul Bodeveix公司；阿卜杜勒贾利勒·布贾达尔；马蒙·菲拉利

时间自动机合成的另一种定义。 （英语） Zbl 1348.68092号

Bultan，Tevfik（编辑）等人，《验证和分析自动化技术》。2011年10月11日至14日，第九届国际研讨会，ATVA 2011，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24371-4/pbk）。计算机科学课堂讲稿6996105-119（2011）。
MSC公司：65年第68季度 第68季度55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.Bodeveix}等人，Lect。票据计算。科学。6996、105-119（2011；Zbl 1348.68092）
全文： 内政部
埃蒂安·安德烈；罗曼·苏拉特

合成满足安全特性的定时参数。 （英语） Zbl 1348.68117号

Delzanno，Giorgio（编辑）等人，《可达性问题》。2011年9月28日至30日在意大利热那亚举行的RP 2011第五届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24287-8/pbk）。计算机科学课堂讲稿6945，31-44（2011）。
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}和\textit{R.Soulat}，莱克特。票据计算。科学。6945，31-44（2011；Zbl 1348.68117）
全文： 内政部
斯文·施奈德；乌韦·内斯特曼

使用过程计算对混合系统进行严格离散。 （英语） Zbl 1348.68109号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919301-316（2011）。
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Schneider}和\textit{U.Nestmann}，莱克特。票据计算。科学。6919301-316（2011年；兹bl 1348.68109）
全文： 内政部
亚历山大·戴维；Larsen，Kim G。；Legay、Axel；马吕斯·米库奇奥尼斯；波尔森，丹尼·博格斯特德；乔纳斯·范弗利特；王，郑

定价时间自动机网络的统计模型检验。 （英语） Zbl 1348.68130号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，80-96（2011）。
MSC公司：60年第68季度 65年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.David}等人，Lect。票据计算。科学。6919、80-96（2011年；Zbl 1348.68130）
全文： 内政部
戈帕尔·古普塔；内达·赛德洛伊；布莱恩·德弗里斯；理查德·敏；凯尔·马普尔；费利克斯·克鲁·尼亚克

无限计算、共归纳和计算逻辑。 （英语） Zbl 1344.68053号

Corradini，Andrea（编辑）等人，《计算机科学中的代数与代数》。2011年8月30日至9月2日在英国温彻斯特举行的2011年CALCO第四届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22943-5/pbk）。计算机科学课堂讲稿6859，40-54（2011）。
MSC公司：68号30 68N17号 68甲18 65年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Gupta}等人，Lect。票据计算。科学。6859、40-54（2011年；Zbl 1344.68053）
全文： 内政部
西尔维亚·克拉法；弗朗西斯科·兰扎托

基于概率分布的LTS行为关系谱。 （英语） Zbl 1344.68162号

Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学讲义6901124-139（2011）。
MSC公司：68问题85 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Crafa}和\textit{F.Ranzato}，莱克特。票据计算。科学。6901124-139（2011年；Zbl 1344.68162）
全文： 内政部
宋磊；张丽君；Jens Chr.Godskesen。

互模拟满足概率自动机的PCTL等价性。 （英语） Zbl 1344.68170号

Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901108-123（2011）。
MSC公司：68问题85 03B44号 65年第68季度 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Song}等人，Lect。票据计算。科学。6901108-123（2011；Zbl 1344.68170）
全文： 内政部 链接
卡玛尔·洛达亚；马达瓦恩·穆昆德；拉姆昌德拉·帕瓦德

乘积系统的Kleene定理。 （英语） Zbl 1341.68132号

Holzer，Markus（编辑）等人，《形式系统的描述复杂性》。2011年7月25日至27日，第13届国际研讨会，DCFS 2011，德国利姆堡Gießen/Limburg。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22599-4/pbk）。计算机科学讲座笔记6808，235-247（2011）。
MSC公司：68问题85 65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Lodaya}等人，Lect。票据计算。科学。6808235-247（2011；Zbl 1341.68132）
全文： 内政部 链接
维斯纳帕吉奇；拉热蒂奇，戈尔达娜·巴甫洛维奇；米洛什·帕吉奇

半结构化资源的信息提取：两阶段有限状态传感器方法。 （英语） Zbl 1297.68205号

Bouchou-Markhoff，Béatrice（编辑）等人，《自动机的实现和应用》。2011年7月13日至16日在法国布洛伊斯举行的CIAA 2011第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22255-9/pbk）。计算机科学课堂讲稿6807282-289（2011）。
MSC公司：68T05型 65年第68季度 92-08
PDF格式BibTeX公司 XML格式引用
\textit{V.Pajić}等人，Lect。票据计算。科学。6807282--289（2011年；Zbl 1297.68205）
全文： 内政部
里扎德·贾尼基；码头Kleijn；马西耶·库特尼

商幺半群与并发行为。 （英语） Zbl 1236.68193号

Martín-Vide，Carlos（编辑），语言方法的科学应用。伦敦：帝国理工学院出版社（ISBN 978-1-84816-544-1/hbk；978-1-84816-545-8/电子书）。数学、计算、语言和生活：数学语言学和语言理论的前沿2，313-385（2011）。
审核人：Jörg Desel（哈根）
MSC公司：68问题85 64岁以下 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Janicki}等人，数学。计算。语言生活：正面。数学。语言学家。兰格·提奥。2313-385（2011；Zbl 1236.68193）

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

串行

全部的 前3名

主字段

全部的 前3名

软件