×

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

最新 引文 关联
Jos C.M.Baeten。;巴斯·卢提克;蒂姆·穆勒;保罗·范蒂尔堡

具有并行组合的正则表达式的表示性模双相似性（扩展抽象）。 （英语） Zbl 1455.68083号

Fröschle，Sibylle（ed.）等人，《第17届并发表达性国际研讨会论文集》，EXPRESS’10，法国巴黎，2010年8月30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）41，1-15（2010）。
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.C.M.Baeten}等人，《电子》。程序。西奥。计算。科学。（EPTCS）41，1--15（2010；Zbl 1455.68083）
全文： 链接
马蒂厄·莱梅尔;文森特·戴维;克里斯托夫·奥萨古耶斯;盖伊·维达尔·纳奎特

时间约束自动机简介。 （英语） Zbl 1455.68038号

Simon Bliudze（编辑）等人，《保证互动》。2010年6月10日，荷兰阿姆斯特丹ICE’10第三届交互与并发体验研讨会会议记录。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）第38页，第83-98页（2010年）。
MSC公司：68平方米 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Lemerre}等人，《电子》。程序。西奥。计算。科学。（EPTCS）38，83--98（2010；Zbl 1455.68038）
全文： arXiv公司 链接
蒂亚加拉扬，P.S。;杨绍发

分布式混合自动机的简洁离散时间近似。 （英语） Zbl 1361.68125号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。1-10 (2010).
MSC公司：65年第68季度 60年第68季度 68问题85 93立方
PDF格式BibTeX公司 XML格式引用
\textit{P.S.Thiagarajan}和\textit{S.Yang}，摘自：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。1-10（2010年；兹比尔1361.68125）
全文： 内政部
D.格里戈里耶夫。;F.施瓦兹。

平面上非完整理想的绝对因子分解。 （英语） 兹比尔1321.68532

Watt，Stephen M.（编辑），第35届符号和代数计算国际研讨会论文集，ISSAC 2010，德国慕尼黑，2010年7月25-28日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0150-3）。93-97 (2010).
MSC公司：68瓦30 2005年12月 35A25型
PDF格式BibTeX公司 XML格式引用
\textit{D.Grigoriev}和\textit{F.Schwarz}，摘自：第35届符号和代数计算国际研讨会论文集，ISSAC 2010，德国慕尼黑，2010年7月25-28日。纽约州纽约市：计算机协会（ACM）。93-97（2010年；Zbl 1321.68532）
全文： 内政部 arXiv公司
胡辛，V。;基塞列夫。;克鲁托夫，A.O。;T·沃尔夫。

\通过Kaup-Boussineq方程的加德纳变形导出了（N=2）超对称（a=4）-Korteweg-de-Vries族。 （英语） Zbl 1312.35153号

数学杂志。物理学。 51，第8期，083507，19页（2010年）.
MSC公司：第35季度53 37K10型 81问题60 14日第15天
PDF格式BibTeX公司 XML格式引用
\textit{V.Hussin}等人，《数学杂志》。物理学。51，第8期，083507，19页（2010；Zbl 1312.35153）
全文： 内政部 arXiv公司
苏达珊·费尔南多;穆拉特·古奈丁

算子名{SU}（2,2）的极小酉表示及其变形为无质量共形场及其超对称扩张。 （英语） 兹比尔1312.81095

数学杂志。物理学。 51，No.8，082301，43 p.（2010）.
MSC公司：81卢比 81T40型 81T60型 81T13型 20立方厘米 14日第15天 22E70型
PDF格式BibTeX公司 XML格式引用
\textit{S.Fernando}和\textit{M.Günaydin}，J.Math。物理学。51，第8期，082301，43页（2010；Zbl 1312.81095）
全文： 内政部 arXiv公司
新泽西州波里卡波娃。;托奇林，V.N。;沙利托，A。

基于遗传规划的生成具有大量输入变量的自动机的约简表方法。 （英语。俄文原件） Zbl 1308.68073号

J.计算。系统。科学。国际。 49，第2期，265-282（2010）; Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2010年，第2期，100-117（2010）。
MSC公司：65年第68季度 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{N.I.Polikarpova}等人，《计算杂志》。系统。科学。国际49，第2号，265--282（2010；Zbl 1308.68073）；Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2010年，第2期，100-117（2010）
全文： 内政部
萨拉·蒙塔尼亚;维罗利，米尔科

用于建模和模拟细胞网络的框架。 （英语） Zbl 1283.92041号

Krivine，Jean（编辑）等人，第一届计算机科学与生物学相互作用国际研讨会论文集（CS2Bio'10），荷兰阿姆斯特丹，2010年6月10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记268115-129（2010）。
MSC公司：92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{S.Montagna}和\textit{M.Viroli}，电子。注释Theor。计算。科学。268115--129（2010年；Zbl 1283.92041）
全文： 内政部
曼弗雷德·库德莱克;乔治·泽采

并发有限自动机和相关的语言类（综述）。 （英语） Zbl 1264.68097号

伊藤、马萨米（编辑）等，《自动机，形式语言和代数系统》。2008年AFLAS会议记录，日本京都，2008年9月20日至22日。新泽西州哈肯萨克：《世界科学》（ISBN 978-981-4317-60-3/hbk；978-981-4317-61-0/电子书）。103-112 (2010).
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Kudlek}和\textit{G.Zetzsche}，in：自动机，形式语言和代数系统。2008年AFLAS会议记录，日本京都，2008年9月20-22日。新泽西州哈肯萨克：《世界科学》。103-112（2010；Zbl 1264.68097）
全文： 内政部
V.M.布赫斯塔伯。;于邦科娃（E.Yu Bunkova）。

加法定理、形式群定律和可积系统。 （英语） Zbl 1253.37071号

Kielanowski，Piotr（编辑）等人，第二十九届物理几何方法研讨会，Białowieża，波兰，2010年6月27日至7月3日。根据研讨会上的介绍选定的论文。纽约州梅尔维尔：美国物理研究所（AIP）（ISBN 978-0-7354-0861-6/hbk）。AIP会议记录1307，33-43（2010）。
MSC公司：37K20码 37K10型 14升05
PDF格式BibTeX公司 XML格式引用
\textit{V.M.Buchstaber}和\textit{E.Yu.Bunkova}，AIP Conf.Proc。1307，33-43（2010；Zbl 1253.37071）
简·科门达

并发定时系统中的协同生产。 （英语） Zbl 1247.68187号

Jacobs，B.（ed.）等人，第十届计算机科学联合算法研讨会论文集（CMCS 2010）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》264，第2期，177-197（2010）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Komenda}，电子。注释Theor。计算。科学。264，第2号，177--197（2010；Zbl 1247.68187）
全文： 内政部
布莱尔、林恩;布莱尔、戈登

指定和分析多媒体系统。重印2001年精装版。 （英语） Zbl 1253.68236号

Bowman，Howard（编辑）等人，分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社（ISBN 978-0-521-16875-5/pbk）。373-399 (2010).
MSC公司：68问题85 64岁以下 68甲15 68号30
PDF格式BibTeX公司 XML格式引用
\textit{L.Blair}和\textit{G.Blair}，in：分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社。373--399（2010年；Zbl 1253.68236）
霍华德·鲍曼;约翰·德里克

正式方法中的问题。重印2001年精装版。 （英语） Zbl 1257.68103号

Bowman，Howard（编辑）等人，分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社（ISBN 978-0-521-16875-5/pbk）。36-51 (2010).
MSC公司：60年第68季度 64岁以下 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Bowman}和\textit{J.Derrick}，in：分布式处理的形式化方法。面向对象方法综述。剑桥：剑桥大学出版社。36-51（2010年；Zbl 1257.68103）
马修·黑格;收件人：Anthony Widjaja

模型检查（可折叠）高阶下推系统的复杂性。 （英语） Zbl 1245.68137号

Lodaya，Kamal（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2010），2010年12月15日至18日，印度钦奈。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-23-1）。LIPIcs–莱布尼茨国际信息学会议录8，228-239，仅电子版（2010年）。
MSC公司：60年第68季度 68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Hague}和\textit{A.W.To}，LIPIcs——莱布尼茨国际程序。通知。8、228--239（2010年；Zbl 1245.68137）
全文： 内政部 链接
劳伦特·伯杰;加勒坦·切内维尔

二维潜在三角形表示。（表示维度2的电位三角形。） （法语。英文摘要） Zbl 1267.11064号

J.Théor。Nombres Bordx公司。 22，第3期，557-574（2010）.
MSC公司：11层80 11层85 11平方英寸 14日第15天 14楼30 14国道22号
PDF格式BibTeX公司 XML格式引用
\textit{L.Berger}和\textit{G.Chenevier}，J.Théor。Nombres Bordx公司。22，第3号，557--574（2010；Zbl 1267.11064）
全文： 内政部 arXiv公司 欧洲DML
霍华德·鲍曼（编辑）;约翰·德里克（编辑）

分布式处理的形式化方法。面向对象方法综述。重印2001年精装版。 （英语） Zbl 1233.68011号

剑桥：剑桥大学出版社（ISBN 978-0-521-16875-5/pbk）。x、 480页。(2010).
MSC公司：68-06 68问题85 68甲19 60年第68季度 68号30 64岁以下 68甲15 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{H.Bowman}（ed.）和\textit{J.Derrick}（edi.），分布式处理的形式化方法。面向对象方法综述。2001年精装版再版，剑桥：剑桥大学出版社（2010；Zbl 1233.68011）
古塔姆·穆克吉

关于代数变形理论。 （英语） Zbl 1222.14021号

Sankaran，P.（编辑）等人，《几何学和拓扑学中的透视》。2007年8月17日至25日在印度孟买举行的I.I.T.孟买金禧国际几何和拓扑研讨会/会议记录。迈索尔：拉马努扬数学学会（ISBN 978-93-80416-01-4/hbk）。Ramanujan数学社会讲座笔记系列11，49-65（2010）。
审核人：Arvid Siqveland（孔斯堡）
MSC公司：14日第15天 16S80型 17A32型 18G60型
PDF格式BibTeX公司 XML格式引用
\textit{G.Mukherjee}，Ramanujan数学。Soc.Lect（社会学）。注释序列。11、49-65（2010；Zbl 1222.14021）
贝内维提斯，亚历山德博蒂;吉安卡洛·吉扎迪;贝纳多·费雷拉·巴斯托斯·布拉加;阿尔梅达，若奥·保罗·安德拉德

使用自动生成的视觉世界结构验证OntoUML概念模型的模态方面。 （英语） Zbl 1216.68280号

加州大学洛杉矶分校 16，第20号，2904-2933（2010）.
MSC公司：68立方英尺 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.B.Benevides}等人，J.UCS 16，No.20，2904--2933（2010；Zbl 1216.68280）
全文： 链接
伊格尼亚托维奇（Jelena Ignjatović）;米罗斯拉夫·奇里奇;斯托扬·博格达诺维奇

关于模糊关系不等式和方程的弱线性系统的最大解。 （英语） Zbl 1231.03044号

模糊集系统。 161，第24号，3081-3113（2010）.
审核人：维托尔德·佩德里茨（埃德蒙顿）
MSC公司：03E72型 65年第68季度 68问题85 91天30分
PDF格式BibTeX公司 XML格式引用
\textit{J.Ignjatović}等人，《模糊集系统》。161，第24号，3081--3113（2010；Zbl 1231.03044）
全文： 内政部
罗宾逊，T。;杰巴辛格，S。;Nagar，Atulya K。;苏布拉曼尼亚语，K.G。

用于镶嵌和平铺图案的平铺粘贴系统。 （英语） 兹比尔1278.68318

Barneva，Reneta P.（编辑）等，图像中物体的计算建模。第二届国际研讨会，CompIMAGE 2010，美国纽约州布法罗，2010年5月5-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-12711-3/pbk）。计算机科学课堂讲稿6026，72-84（2010）。
MSC公司：68单位05 2010年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Robinson}等人，Lect。注释计算。科学。6026、72--84（2010年；Zbl 1278.68318）
全文： 内政部
约翰·特里拉

量化变形理论。 （英语） Zbl 1206.14013号

Abbaspour，Hossein（编辑）等人，《变形空间》。代数几何模量的展望。包括2007年7月和2008年8月在德国波恩Max-Planck-Institut für Mathematik举办的研讨会的论文。威斯巴登：Vieweg+Teubner（ISBN 978-3-8348-1271-1/hbk；978-3-38348-9680-3/电子书）。《数学方面》E40，135-141（2010）。
MSC公司：14B12号机组 14日第15天 53D55型 18D50型
PDF格式BibTeX公司 XML格式引用
\textit{J.Terilla}，in：变形空间。代数几何模的观点。包括2007年7月和2008年8月在德国波恩Max-Planck-Institut für Mathematik举办的研讨会的论文。威斯巴登：Vieweg+Teubner。135--141（2010年；Zbl 1206.14013）
多纳泰拉·伊亚科诺;马可·马内蒂

Bogomolov-Tian-Todorov定理的代数证明。 （英语） Zbl 1206.14025号

Abbaspour，Hossein（编辑）等人，《变形空间》。代数几何模的观点。包括2007年7月和2008年8月在德国波恩Max-Planck-Institut für Mathematik举办的研讨会的论文。威斯巴登：Vieweg+Teubner（ISBN 978-3-8348-1271-1/hbk；978-3-38348-9680-3/电子书）。《数学方面》E40，113-133（2010）。
MSC公司：14日第15天
PDF格式BibTeX公司 XML格式引用
\textit{D.Iacono}和\textit{M.Manetti}，in：变形空间。代数几何模量的展望。包括2007年7月和2008年8月在德国波恩Max-Planck-Institut für Mathematik举办的研讨会的论文。威斯巴登：Vieweg+Teubner。113--133（2010年；Zbl 1206.14025）
全文： arXiv公司
查蒂尔，P。;A.穆鲁阿。;桑兹·塞尔纳（J.M.Sanz-Serna）。

高阶平均、形式级数和数值积分。一： B系列。 （英语） Zbl 1211.34052号

已找到。计算。数学。 10，第6期，695-727（2010）.
审核人：奥列格·阿纳什金（辛菲罗波尔）
MSC公司：34C29号 65升06 34D20型 2005年7月70日 34A25型
PDF格式BibTeX公司 XML格式引用
\textit{P.Chartier}等人，发现。计算。数学。10，第6号，695--727（2010；Zbl 1211.34052）
全文： 内政部 链接
佩特尔，里马;博里萨尼亚，巴韦什;阿维·帕特尔;蒂伦·帕特尔;穆图克里希南·拉贾拉扬;A.齐斯曼。

用于安全协议验证的形式化模型检查工具的比较分析。 （英语） Zbl 1207.68103号

Meghanathan，Natarajan（编辑）等人，网络安全和应用的最新趋势。2010年7月23日至25日在印度钦奈举行的2010年第三届国家科学院国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14477-6/pbk；978-3-442-14478-3/电子书）。计算机和信息科学通信89，152-163（2010）。
MSC公司：68个M12 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{R.Patel}等人，Commun。计算。信息科学。89、152--163（2010年；Zbl 1207.68103）
全文： 内政部
布莱恩·奥斯曼

变形和自同构：全球化局部切线和障碍空间的框架。 （英语） Zbl 1200.14028号

Ann.Sc.规范。超级的。比萨，Cl.Sci。(5) 9，第3期，581-633（2010）.
审核人：Dorin Mihail Popescu（布凯什蒂）
MSC公司：14日第15天 14日第23天
PDF格式BibTeX公司 XML格式引用
\textit{B.Osserman}，《安娜·科·诺姆》。超级的。比萨，Cl.Sci。（5） 9，第3号，581--633（2010；Zbl 1200.14028）
全文： 内政部 arXiv公司
Jean-Marc拉索马纳纳

依赖于参数和线性微分方程解的分支形式级数的可重并性。（Résurgernce-sommutabilitéde séries formelles ramifie es dépendle d'un paramètre et solutions d'équations differentieles linéaires） （英语） Zbl 1205.34122号

Ann.传真。科学。图卢兹，数学。(6) 第303-343号第19页（2010年）.
审核人：弗拉基米尔·科斯托夫（尼斯）
MSC公司：34立方米 3.4亿03 34米25
PDF格式BibTeX公司 XML格式引用
\textit{J.-M.Rasoamanana}，安.法科。科学。图卢兹，数学。（6） 19，第2号，303--343（2010；Zbl 1205.34122）
全文： 内政部 Numdam编号 欧洲DML
伊戈尔·瓦卢基维奇

合成：单词和痕迹。 （英语） Zbl 1305.68116号

Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。2010年9月21日至24日，第八届国际研讨会，亚洲电视协会，新加坡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15642-7/pbk）。计算机科学讲座笔记6252，18-21（2010）。
MSC公司：65年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{I.Walukiewicz}，莱克特。注释计算。科学。6252，18-21（2010；Zbl 1305.68116）
全文： 内政部 哈尔
奥斯塔扎德，S.谢尔文;穆罕默德·阿里·内库伊

一种基于Petri网的Zachman框架单元统一建模方法。 （英语） Zbl 1206.68217号

Sobh，Tarek（ed.）等人，《计算科学和软件工程的创新》，2009年第二届系统、计算科学与软件工程国际会议论文集，2009年12月4日至12日。多德雷赫特：施普林格（ISBN 978-90-481-9111-6/hbk；978-90-981-9112-3/电子书）。615-618 (2010).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.S.Ostadzadeh}和\textit{M.A.Nekoui}，摘自：计算科学和软件工程的创新。2009年第二届系统、计算科学与软件工程国际会议论文集，2009年12月4日至12日。多德雷赫特：施普林格。615-618（2010年；Zbl 1206.68217）
全文： 内政部
E.V.库兹明。;V.A.索科洛夫。;Chalyy，D.Yu。

Minsky计数器的有界性问题。 （英语。俄文原件） Zbl 1204.68122号

程序。计算。柔和。 36，第1期，3-10页（2010年）; 译自Programmirovanie 36，No.1（2010）。
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.V.Kuzmin}等人，《程序》。计算。柔和。36，第1、3--10号（2010；Zbl 1204.68122）；翻译自Programmirovanie 36，第1期（2010年）
全文： 内政部
西尔维·博尔多;弗朗索瓦·克莱门特;Jean-Christophe Filliátre;米凯拉·梅耶罗;纪尧姆·梅尔金德;皮埃尔·韦斯

波动方程解方案的形式证明：方法误差。 （英语） 兹比尔1291.68329

Kaufmann，Matt（编辑）等人，《交互式定理证明》。2010年7月11日至14日在英国爱丁堡举行的2010年ITP第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14051-8/pbk）。计算机科学课堂讲稿6172147-162（2010）。
MSC公司：68吨15 35升05 6500万06
PDF格式BibTeX公司 XML格式引用
\textit{S.Boldo}等人，Lect。注释计算。科学。6172147-162（2010年；Zbl 1291.68329）
全文： 内政部 arXiv公司
杰里米·斯普洛斯顿;安吉洛·特洛伊娜

概率时间自动机的仿真与互仿真。 （英语） Zbl 1290.68081号

Chatterjee，Krishnendu（编辑）等人，时间系统的形式化建模和分析。第八届国际会议，FORMATS 2010，奥地利克洛斯特内堡，2010年9月8-10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15296-2/pbk）。计算机科学课堂讲稿6246，213-227（2010）。
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Sproston}和\textit{A.Troina}，莱克特。注释计算。科学。6246、213--227（2010年；Zbl 1290.68081）
全文： 内政部
詹姆斯·杰森·奥尔蒂斯;Legay、Axel;皮埃尔·伊夫·肖本斯

内存事件时钟。 （英语） Zbl 1290.68075号

Chatterjee，Krishnendu（编辑）等人，时间系统的形式化建模和分析。第八届国际会议，FORMATS 2010，奥地利克洛斯特内堡，2010年9月8-10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15296-2/pbk）。计算机科学讲义6246198-212（2010）。
MSC公司：65年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Jerson Ortiz}等人，Lect。注释计算。科学。6246，198--212（2010；Zbl 1290.68075）
全文： 内政部
彼得·哈伯梅尔;罗兰·梅耶;哈罗·威梅尔

Petri网语言的向下封闭。 （英语） Zbl 1288.68181号

Abramsky，Samson（编辑）等人，《自动化，语言和编程》。第37届国际学术讨论会，ICALP 2010，波尔多，法国，2010年7月6日至10日。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-14161-4/pbk）。计算机科学课堂讲稿6199466-477（2010）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Habermehl}等人，Lect。注释计算。科学。6199、466--477（2010年；Zbl 1288.68181）
全文： 内政部
詹姆斯·哈金斯。;查尔斯·华莱士

抽象状态机和查询过程。 （英语） Zbl 1287.68046号

安德烈亚斯·布拉斯（编辑）等人，《逻辑和计算领域》。在尤里·古雷维奇70岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-15024-1/pbk）。《计算机科学讲义》6300405-413（2010）。
MSC公司：2005年第68季度 97页20
PDF格式BibTeX公司 XML格式引用
\textit{J.K.Huggins}和\textit{C.Wallace}，莱克特。注释计算。科学。6300、405--413（2010年；Zbl 1287.68046）
全文： 内政部
罗伯特·塞加拉;安德烈亚·图里尼

条件自动机：安全删除可忽略事件的工具。 （英语） Zbl 1287.68141号

Gastin，Paul（编辑）等人，CONCUR 2010–并发理论。第21届国际会议，CONCUR 2010，法国巴黎，2010年8月31日至9月3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15374-7/pbk）。计算机科学课堂讲稿6269539-553（2010）。
MSC公司：68问题85 65年第68季度 60年第68季度 87年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{R.Segala}和\textit{A.Turrini}，莱克特。注释计算。科学。6269、539--553（2010年；Zbl 1287.68141）
全文： 内政部
克里斯蒂安·普里萨卡里奥

高维自动机上的模态逻辑。 （英语） Zbl 1287.68139号

Gastin，Paul（编辑）等人，CONCUR 2010–并发理论。第21届国际会议，CONCUR 2010，法国巴黎，2010年8月31日至9月3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15374-7/pbk）。计算机科学课堂讲稿6269494-508（2010）。
MSC公司：68问题85 03B45号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Prisacariu}，莱克特。注释计算。科学。6269、494--508（2010年；Zbl 1287.68139）
全文： 内政部
Jochen Hoenicke公司;罗兰·梅耶;奥尔德罗格（Ernst-Rüdiger Olderog）

Kleene、Rabin和Scott均可参加。 （英语） Zbl 1287.68135号

Gastin，Paul（编辑）等人，CONCUR 2010–并发理论。第21届国际会议，CONCUR 2010，法国巴黎，2010年8月31日至9月3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15374-7/pbk）。计算机科学课堂讲稿6269，462-477（2010）。
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Hoenicke}等人，Lect。注释计算。科学。6269、462--477（2010年；Zbl 1287.68135）
全文： 内政部
乔治·德尔扎诺;阿诺德·桑尼尔;吉安路易吉·扎瓦塔罗

特设网络的参数化验证。 （英语） Zbl 1287.68106号

Gastin，Paul（编辑）等人，CONCUR 2010–并发理论。第21届国际会议，CONCUR 2010，法国巴黎，2010年8月31日至9月3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15374-7/pbk）。计算机科学课堂讲稿6269313-327（2010）。
MSC公司：60年第68季度 68M10个 68个M12 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Delzanno}等人，Lect。注释计算。科学。6269、313--327（2010年；Zbl 1287.68106）
全文： 内政部
托马斯·布拉兹迪尔;简·克查尔;简·Křetínsk;安东·库切拉;艾哈克，沃伊特

具有定性时间自动机目标的随机实时游戏。 （英语） 兹比尔1287.68124

Gastin，Paul（编辑）等人，CONCUR 2010–并发理论。第21届国际会议，CONCUR 2010，法国巴黎，2010年8月31日至9月3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15374-7/pbk）。计算机科学课堂讲稿6269207-221（2010）。
MSC公司：68问题85 65年第68季度 91A05型 91A15型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{T.Brázdil}等人，Lect。注释计算。科学。6269、207--221（2010年；Zbl 1287.68124）
全文： 内政部 链接
斯坦尼斯拉夫·博姆;斯特凡·格勒;彼得·扬查尔

单计数器进程的双相似性是PSPACE-完全的。 （英语） 兹比尔1287.68122

Gastin，Paul（编辑）等人，CONCUR 2010–并发理论。第21届国际会议，CONCUR 2010，法国巴黎，2010年8月31日至9月3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15374-7/pbk）。计算机科学讲义6269177-191（2010）。
MSC公司：68问题85 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Böhm}等人，Lect。注释计算。科学。6269、177--191（2010年；Zbl 1287.68122）
全文： 内政部
穆罕默德·法乌齐（Mohamed Faouzi Atig）

从多堆栈自动机到单堆栈自动机。 （英语） Zbl 1287.68118号

Gastin，Paul（编辑）等人，CONCUR 2010–并发理论。2010年8月31日至9月3日，法国巴黎，第21届国际会议，CONCUR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15374-7/pbk）。计算机科学课堂讲稿6269117-131（2010）。
MSC公司：68问题85 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.F.Atig}，莱克特。注释计算。科学。6269、117--131（2010年；Zbl 1287.68118）
全文： 内政部
安卡·穆斯科尔

驯服分布式异步系统。 （英语） 兹比尔1287.68138

Gastin，Paul（编辑）等人，CONCUR 2010–并发理论。第21届国际会议，CONCUR 2010，法国巴黎，2010年8月31日至9月3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15374-7/pbk）。计算机科学课堂讲稿6269，40-47（2010）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Muscholl}，莱克特。注释计算。科学。6269、40-47（2010年；Zbl 1287.68138）
全文： 内政部
克里斯蒂安·艾森特罗;霍尔格·赫尔曼斯;张丽君

随机世界中的并发和组合。 （英语） 兹比尔1287.68132

Gastin，Paul（编辑）等人，CONCUR 2010–并发理论。第21届国际会议，CONCUR 2010，法国巴黎，2010年8月31日至9月3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15374-7/pbk）。计算机科学课堂讲稿6269，21-39（2010）。
MSC公司：68问题85 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Eisentraut}等人，Lect。注释计算。科学。6269，21-39（2010；Zbl 1287.68132）
全文： 内政部 哈尔
塞萨尔·多明格斯;卢比奥、胡里奥

使用无限代数数据结构进行Coq计算。 （英语） 兹比尔1286.68396

Autexier，Serge（编辑）等人，《智能计算机数学》。2010年7月5日至10日，第十届国际会议，AISC 2010，第十七届研讨会，Calculemus 2010，第九届国际会议MKM 2010，法国巴黎。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14127-0/pbk）。计算机科学讲义6167。《人工智能课堂讲稿》，204-218（2010）。
MSC公司：68吨15 68问题65 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{C.Domínguez}和\textit{J.Rubio}，莱克特。注释计算。科学。6167204-218（2010年；Zbl 1286.68396）
全文： 内政部 arXiv公司
丹尼尔·米恰尼西奥

计算可靠性、联合归纳和加密周期。 （英语） Zbl 1280.94084号

Gilbert，Henri（编辑），《密码学进展——2010年欧洲密码》。2010年5月30日至6月3日，法国里维埃拉，第29届密码技术理论与应用国际年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-13189-9/pbk）。计算机科学课堂讲稿6110，362-380（2010）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{D.Micciancio}，莱克特。注释计算。科学。6110362-380（2010年；Zbl 1280.94084）
全文： 内政部
费尔南多·罗莎·维拉尔多;乔治·德尔扎诺

基于语言的Petri网与黑色标记、纯名称和有序数据的比较。 （英语） Zbl 1284.68433号

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2010年5月24日至28日在德国特里尔举行的2010年拉丁美洲旅游协会第四届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-13088-5/pbk）。计算机科学课堂讲稿6031524-535（2010）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Rosa-Velardo}和\textit{G.Delzanno}，莱克特。注释计算。科学。6031524--535（2010年；Zbl 1284.68433）
全文： 内政部
贝内德克·纳吉;弗里德里希·奥托

无状态确定性（R（1））自动机的光盘系统接受所有有理跟踪语言。 （英语） Zbl 1284.68363号

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2010年5月24日至28日在德国特里尔举行的2010年拉丁美洲旅游协会第四届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-13088-5/pbk）。《计算机科学讲义》6031463-474（2010）。
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Nagy}和\textit{F.Otto}，莱克特。注释计算。科学。6031463-474（2010年；Zbl 1284.68363）
全文： 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件