×

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

最新 引文 关联
谢尔盖·哈达德;西尔万·施密茨;菲利普·施诺贝伦

时间弧Petri网、数据网和其他丰富网络的顺序递归复杂性。 （英语） Zbl 1362.68214号

2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。355-364 (2012).
MSC公司：68问题85 03D20日 2017年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Haddad}等人，摘自：2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。355--364（2012；Zbl 1362.68214）
全文： 内政部
帕拉萨拉·斯里达尔·达吉拉拉;Mitra，萨扬

混合系统必然性的李雅普诺夫抽象。 （英语） 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.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码 93B50个 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Benerecetti}等人，in：第15届ACM混合系统国际会议论文集：计算与控制，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）。65-74（2012年；Zbl 1361.68116）
全文： 内政部
Forejt，Vojtěch公司;彼得·扬查尔;斯特凡·基弗;詹姆斯·沃雷尔

概率下推自动机的双相似性。 （英语） Zbl 1354.68152号

D’Souza，Deepak（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2012）。根据2012年12月15日至17日在印度海得拉巴举行的第三十二届会议上的发言选出的论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-47-7）。LIPIcs–莱布尼茨国际信息学论文集18，448-460（2012）。
MSC公司：65年第68季度 2017年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Forejt}等人，LIPIcs——莱布尼茨国际程序。通知。18、448--460（2012年；Zbl 1354.68152）
全文： 内政部 arXiv公司
霍尔格·赫尔曼斯;安德烈亚·图里尼

判定概率自动机在多项式时间内的弱互模拟。 （英语） Zbl 1354.68157号

D’Souza，Deepak（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2012）。根据2012年12月15日至17日在印度海得拉巴举行的第三十二届会议上的发言选出的论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-47-7）。LIPIcs–莱布尼茨国际信息学论文集18，435-447（2012）。
MSC公司：65年第68季度 65年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Hermanns}和\textit{A.Turrini}，LIPIcs——莱布尼茨国际程序。通知。18、435--447（2012年；Zbl 1354.68157）
全文： 内政部 arXiv公司
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;乔纳森·塞德伯格

定时有损信道系统。 （英语） 兹比尔1354.68163

D’Souza，Deepak（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2012）。根据2012年12月15日至17日在印度海得拉巴举行的第三十二届会议上的发言选出的论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-47-7）。LIPIcs–莱布尼茨国际信息学论文集18，374-386（2012）。
MSC公司：60年第68季度 68个M12 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，LIPIcs——莱布尼茨国际程序。通知。18、374--386（2012年；Zbl 1354.68163）
全文： 内政部
Anthony Widjaja林

加速树自动关系。 （英语） Zbl 1354.68176号

D’Souza，Deepak（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2012）。根据2012年12月15日至17日在印度海得拉巴举行的第三十二届会议上的发言选出的论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-47-7）。LIPIcs–莱布尼茨国际信息学论文集18，313-324（2012）。
MSC公司：60年第68季度 2005年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.W.Lin}，LIPIcs——莱布尼茨国际程序。通知。18、313--324（2012；Zbl 1354.68176）
全文： 内政部
克里斯托弗·布劳德本特;斯特凡·格勒

关于高阶下推自动机的双相似性：二阶不可判定性。 （英语） Zbl 1354.68191号

D’Souza，Deepak（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2012）。根据2012年12月15日至17日在印度海得拉巴举行的第三十二届会议上的发言选出的论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-47-7）。LIPIcs–莱布尼茨国际信息学论文集18，160-172（2012）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Broadbent}和\textit{S.Göller}，LIPIcs--Leibniz Int.Proc。通知。18、160--172（2012年；Zbl 1354.68191）
全文： 内政部
菲利波·邦奇;马塞洛·邦桑格;乔治亚娜·卡尔泰斯;简·拉特;亚历山德拉·席尔瓦

修饰痕迹的最终语义。 （英语） 兹比尔1342.68224

Berger，Ulrich（编辑）等人，《第28届编程语义数学基础会议论文集》（MFPS XXVIII），英国巴斯，2012年6月6日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记28673-86（2012）。
MSC公司：68问题85 65年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，《电子》。注释Theor。计算。科学。28673--86（2012年；Zbl 1342.68224）
全文： 内政部
Arpit Sharma公司;Joost-Pieter卡托恩

马尔可夫链上的加权集总性。 （英语） Zbl 1336.68186号

Clarke，Edmund（编辑）等人，《系统信息学视角》。2011年6月27日至7月1日，俄罗斯新西伯利亚，第八届安德烈·埃尔肖夫国际纪念大会，PSI 2011。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-29708-3/pbk）。计算机科学课堂讲稿7162322-339（2012）。
MSC公司：68问题85 60J28型 65年第68季度 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Sharma}和\textit{J.-P.Katoen}，莱克特。注释计算。科学。7162、322--339（2012年；Zbl 1336.68186）
全文： 内政部
奥斯瓦尔德·里门施奈德

关于循环商曲面奇点\（A_{n，q}\）和\（A_{n，n-q}\）之间的复曲面对偶的一个注记。 （英语） Zbl 1317.14083号

Blallœil，Vincent（编辑）等人，《几何和拓扑中的奇点》，斯特拉斯堡，2009年。2009年8月24日至28日，法国斯特拉斯堡，第五届法日奇异性研讨会论文集。苏黎世：欧洲数学学会（EMS）（ISBN 978-3-03719-118-7/pbk）。IRMA数学和理论物理讲座20，161-179（2012）。
MSC公司：14日J17 14米25 14B05型 2014年 14日第15天
PDF格式BibTeX公司 XML格式引用
\textit{O.Riemenschneider}，IRMA Lect。数学。西奥。物理学。20、161--179（2012；Zbl 1317.14083）
全文： 内政部
马尔科·鲍姆加特;伊尔卡·布伦纳;丹尼尔·普伦克纳

双参数模型中的D-膜模量空间和超势能。 （英语） Zbl 1309.81195号

《高能物理杂志》。 2012年第3期，第039号论文，第34页（2012）.
MSC公司：81T30型 81T45型 81T40型 14D06日 14日第21天 14日第15天
PDF格式BibTeX公司 XML格式引用
\textit{M.Baumgartl}等人，《高能物理学杂志》。2012年，第3期，第039号论文，第34页（2012；Zbl 1309.81195）
全文： 内政部 arXiv公司
格雷戈里·吉科德;恩里科·戈伊;弗朗西斯科·奥尔西

评估候选IIA对偶亚稳态超对称破缺。 （英语） Zbl 1309.81217号

《高能物理杂志》。 2012年第2期，第019号论文，30页（2012）.
MSC公司：81T30型 81T20型 81T40型 81T60型 81转40分 14日第15天 83个F05
PDF格式BibTeX公司 XML格式引用
\textit{G.Giecold}等人，《高能物理学杂志》。2012年，第2期，第019号论文，30页（2012；Zbl 1309.81217）
全文： 内政部 arXiv公司
兰迪姆·R·R·。;阿伦卡尔，G。;墨西哥塔希姆。;费利奥，R.N.科斯塔

Randall-Sundrum模型共振的传递矩阵方法。二： 变形的外壳。 （英语） Zbl 1309.81229号

《高能物理杂志》。 2012年第2期，第073号论文，第26页（2012）.
MSC公司：81T30型 81V17型 83E15号 35B34型 83个F05 14日第15天 2005年第81季度 81T80型
PDF格式BibTeX公司 XML格式引用
\textit{R.R.Landim}等人，《高能物理学杂志》。2012年，第2期，第073号论文，26页（2012；Zbl 1309.81229）
全文： 内政部 arXiv公司
斯特凡·德图内;约书亚·M·拉潘。;毛里西奥·罗莫

\（\operatorname）的（0，4）变形中的SUSY增强{广告}_3/\操作员姓名{CFT}_2\). （英语） Zbl 1306.81214号

《高能物理杂志》。 2012年，第1期，第006号论文，24页（2012）.
MSC公司：81T30型 81T60型 81T20型 81T40型 14日第15天 81转40分 83E50个
PDF格式BibTeX公司 XML格式引用
\textit{S.Detournay}等人，《高能物理学杂志》。2012年，第1期，第006号论文，24页（2012；Zbl 1306.81214）
全文： 内政部 arXiv公司
安德烈亚斯·利奥波德·克努森

在Calabi Yau低属的孤立光滑曲线上，完全相交三重。 （英语） Zbl 1330.14014号

事务处理。美国数学。Soc公司。 364，第10期，5243-5264（2012）.
MSC公司：14日第15天 14日J17 14B05型 14二氧化碳 14C20型 14小时45分 14层28 14J32型
PDF格式BibTeX公司 XML格式引用
\textit{A.L.Knutsen}，翻译。美国数学。Soc.364，编号10，5243--5264（2012年；兹bl 1330.14014）
全文： 内政部 arXiv公司
D.拉利塔。;肯塔基州兰加拉扬。;托马斯·杜拉里亚·格纳纳拉吉

矩形阵列和Petri网。 （英语） Zbl 1377.68149号

Barneva，Reneta P.（编辑）等人，《组合图像分析》。2012年11月28日至30日，第15届国际研讨会，IWCIA 2012，美国德克萨斯州奥斯汀。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-34731-3/pbk）。计算机科学讲义7655166-180（2012）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Lalitha}等人，Lect。注释计算。科学。7655、166--180（2012年；Zbl 1377.68149）
全文： 内政部
马达瓦恩·穆昆德

自动处理分布式字母表。 （英语） Zbl 1256.68109号

D’Souza，Deepak（编辑）等人，自动机理论的现代应用。献给普里蒂·尚卡尔教授。引言：莱因哈德·威廉姆。新泽西州哈肯萨克：世界科学；班加罗尔：IISc出版社（ISBN 978-981-4271-04-2/hbk；978-981-4271-05-9/电子书）。IISc研究专著系列2，257-288（2012）。
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Mukund}，IISc Res.Monogr.研究所。序列号。2257--288（2012年；Zbl 1256.68109）
全文： 内政部 链接
卡柳日尼·维尔博维茨基（Kaliuzhnyi-Verbovetskyi），德米特里·S·。;维克多·文尼科夫

非交换有理函数，它们的微分演算和实现。 （英语） Zbl 1255.93073号

多维系统。信号处理。 23，编号1-2，49-77（2012）.
MSC公司：93立方35 93B25型
PDF格式BibTeX公司 XML格式引用
\textit｛D.S.Kaliuzhnyi Verbovetskyi｝和\textit｛V.Vinnikov｝，多维系统。信号处理。23、编号1--2、49-77（2012；Zbl 1255.93073）
全文： 内政部 arXiv公司
博埃莱·布拉克斯马

多重可和性与普通亚纯微分方程。 （英语） Zbl 1262.34001号

Balser，Werner（编辑）等人，微分方程和差分方程的形式解和解析解。会议记录，2011年8月8日至13日，波兰Bȩdlewo。华沙：波兰科学院数学研究所（ISBN 978-83-86806-16-4/pbk）。巴纳赫中心出版物97、29-38（2012）。
MSC公司：34-02 34米25 34立方米
PDF格式BibTeX公司 XML格式引用
\textit{B.Braaksma}，巴纳赫分币。出版物。97、29-38（2012；Zbl 1262.34001）
全文： 内政部
阿克西，S。;洛依茨海露;克洛德·贾德;Pierre Alain雷尼尔

守卫扩张下时间Petri网的鲁棒性。 （英语） Zbl 1355.68187号

Finkel，Alain（编辑）等人，《可达性问题》。2012年9月17日至19日，法国波尔多RP 2012第六届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33511-2/pbk）。计算机科学课堂讲稿755092-106（2012）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Akshay}等人，Lect。注释计算。科学。7550，92-106（2012；Zbl 1355.68187）
全文： 内政部 哈尔
克莱门斯·Jörder;斯特凡·凯贝库斯

底鼓变形。二、。 （英语） 兹比尔1262.32016

Pragacz，Piotr（编辑），对代数几何的贡献。Impanga课堂讲稿。基于2010年7月4日至10日在波兰Bȩdlewo的Banach中心举行的Impanga代数几何会议。苏黎世：欧洲数学学会（EMS）（ISBN 978-3-03719-114-9/hbk）。EMS系列国会报告，333-357（2012）。
审核人：Daniel Guan（河畔）
MSC公司：32G10型 14日第15天 32C25型 32C35号
PDF格式BibTeX公司 XML格式引用
\textit{C.Jörder}和\textit{S.Kebekus}，in：对代数几何的贡献。Impanga课堂讲稿。基于2010年7月4日至10日在波兰Bȩdlewo的Banach中心举行的Impanga代数几何会议。苏黎世：欧洲数学学会（EMS）。333--357（2012；Zbl 1262.32016）
全文： 内政部 arXiv公司
马丁·韦尔;塞巴斯蒂安·库普弗施米德

Mcta：启发式和搜索计时系统。 （英语） Zbl 1374.68303号

Jurdziński，Marcin（编辑）等人，定时系统的形式化建模和分析。2012年9月18日至20日，第十届国际会议，FORMATS 2012，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33364-4/pbk）。计算机科学课堂讲稿7595252-266（2012）。
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛M.Wehrle｝和\textit｛S.Kupferschmid｝，Lect。注释计算。科学。7595、252--266（2012年；Zbl 1374.68303）
全文： 内政部
克里斯蒂安·埃雷拉;伯恩德·韦斯特法尔;塞尔吉奥·费奥·阿雷尼斯;马尔科·穆尼兹;安德烈亚斯·波德尔斯基

减少时间自动机网络中的准等时钟。 （英语） Zbl 1374.68334号

Jurdziński，Marcin（编辑）等人，定时系统的形式化建模和分析。2012年9月18日至20日，第十届国际会议，FORMATS 2012，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33364-4/pbk）。计算机科学课堂讲稿7595155-170（2012）。
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Herrera}等人，Lect。注释计算。科学。7595，155-170（2012年；Zbl 1374.68334）
全文： 内政部 链接
彼得·布利切夫;弗兰克·卡塞兹;亚历山大·戴维;金·古德斯特兰·拉森;Jean-François拉斯金;Pierre Alain雷尼尔

具有最小观测能力的控制器（应用于定时系统）。 （英语） Zbl 1374.68255号

Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561223-237（2012）。
MSC公司：65年第68季度 60年第68季度 68问题85 93B50个
PDF格式BibTeX公司 XML格式引用
\textit{P.Bulychev}等人，Lect。注释计算。科学。7561、223--237（2012年；Zbl 1374.68255）
全文： 内政部 arXiv公司
伯恩哈德·科克;Aristides Kontogeorgis公司

曲线的二次微分和等变变形理论。 （英语。法语摘要） Zbl 1256.14026号

安·Inst.Fourier 62，第3期，1015-1043（2012）.
审核人：Thong Nguyen Quang Do（贝桑松）
MSC公司：14小时30分 14日第15天 10层14号 11兰特32
PDF格式BibTeX公司 XML格式引用
\textit{B.Köck}和\textit{A.Kontogeorgis}，《傅里叶研究年鉴》62，第3期，1015--1043（2012；Zbl 1256.14026）
全文： 内政部 arXiv公司
莱萨尼，莫森;维克托·卢昌科;马克·莫尔

用于正式验证软件事务性内存算法的框架。 （英语） Zbl 1365.68163号

Koutny，Maciej（编辑）等，CONCUR 2012–并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。计算机科学课堂讲稿7454，516-530（2012）。
MSC公司：68号30 65年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Lesani}等人，Lect。注释计算。科学。7454，516--530（2012；Zbl 1365.68163）
全文： 内政部
马克·蒂默;Joost-Pieter卡托恩;雅各布·范德波尔;玛丽·艾尔·斯托琳加。

马尔可夫自动机的有效建模和生成。 （英语） Zbl 1364.68295号

Koutny，Maciej（编辑）等，CONCUR 2012–并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。《计算机科学讲义》7454364-379（2012）。
MSC公司：68问题85 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Timmer}等人，Lect。注释计算。科学。7454、364--379（2012年；Zbl 1364.68295）
全文： 内政部 链接
艺术、忠诚;法拉纳克·海达尔;Vaandrager，Frits公司

用于学习接口自动机的历史相关抽象理论。 （英语） Zbl 1365.68339号

Koutny，Maciej（编辑）等，CONCUR 2012–并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。计算机科学课堂讲稿7454，240-255（2012）。
MSC公司：68问题85 68问题32 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Aarts}等人，Lect。注释计算。科学。7454，240-255（2012；Zbl 1365.68339）
全文： 内政部
罗曼·布伦吉尔;斯特凡·格勒;奥坎·桑库尔

简洁表示的有限状态系统的比较。 （英语） Zbl 1364.68277号

Koutny，Maciej（编辑）等，CONCUR 2012–并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。计算机科学课堂讲稿7454，147-161（2012）。
MSC公司：68问题85 65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Brenguier}等人，Lect。注释计算。科学。7454、147--161（2012年；Zbl 1364.68277）
全文： 内政部
克里希南德·查特吉;Randour，Mickael米凯尔;Jean-François拉斯金

多维量化目标的战略合成。 （英语） Zbl 1364.68278号

Koutny，Maciej（编辑）等，CONCUR 2012–并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。计算机科学课堂讲稿7454，115-131（2012）。
MSC公司：68问题85 65年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，Lect。注释计算。科学。7454、115-131（2012年；Zbl 1364.68278）
全文： 内政部 arXiv公司
沃伊切赫，切尔文斯基;彼得·霍夫曼;萨沃米尔·拉索塔

弱多推自动机的可达性问题。 （英语） Zbl 1364.68247号

Koutny，Maciej（编辑）等，CONCUR 2012–并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。计算机科学课堂讲稿7454，53-68（2012）。
MSC公司：65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{W.Czerwinn ski}等人，Lect。注释计算。科学。7454，53-68（2012；Zbl 1364.68247）
全文： 内政部 arXiv公司
福尔克·谢尔;Joost-Pieter卡托恩

概率自动机的组合抽象技术。 （英语） 兹比尔1362.68155

Baeten，Jos C.M.（编辑）等人，《理论计算机科学》。第七届IFIP TC 1/WG 2.2国际会议，2012年TCS，荷兰阿姆斯特丹，2012年9月26-28日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33474-0/pbk）。计算机科学课堂讲稿7604325-341（2012）。
MSC公司：65年第68季度 60年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Sher}和\textit{J.-P.Katoen}，莱克特。注释计算。科学。7604325--341（2012；Zbl 1362.68155）
全文： 内政部
杰拉尔德·吕特根;沃尔特·福格勒

模态接口自动机。 （英语） Zbl 1272.68312号

Baeten，Jos C.M.（编辑）等人，《理论计算机科学》。第七届IFIP TC 1/WG 2.2国际会议，2012年TCS，荷兰阿姆斯特丹，2012年9月26-28日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33474-0/pbk）。计算机科学课堂讲稿7604，265-279（2012）。
MSC公司：68问题85 68号30 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Lüttgen}和\textit{W.Vogler}，莱克特。注释计算。科学。7604265--279（2012年；Zbl 1272.68312）
全文： 内政部
尼古拉·贝内什;简·Křetínsk

模态过程重写系统。 （英语） Zbl 1362.68199号

Roychoudhury，Abhik（编辑）等人，《计算的理论方面——ICTAC 2012》。第九届国际学术讨论会，印度班加罗尔，2012年9月24日至27日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32942-5/pbk）。计算机科学课堂讲稿7521120-135（2012）。
MSC公司：68问题85 2012年第68季度 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Beneš}和\textit{J.Křetínskí}，Lect。注释计算。科学。7521，120-135（2012；Zbl 1362.68199）
全文： 内政部
沃尔克·迪克特;安卡·穆斯科尔

异步系统的分布式监控。 （英语） Zbl 1361.68144号

Ong，Luke（编辑）等人，《逻辑、语言、信息和计算》。2012年9月3日至6日在阿根廷布宜诺斯艾利斯举办的2012年WoLLIC第19届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32620-2/pbk）。计算机科学课堂讲稿7456，70-84（2012）。
MSC公司：60年第68季度 64岁以下 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.Diekert}和\textit{A.Muscholl}，莱克特。注释计算。科学。7456，70-84（2012；Zbl 1361.68144）
全文： 内政部 arXiv公司
安德烈亚斯·莱曼;尼尔斯·洛曼;卡斯滕·沃尔夫

简单线性时间属性的顽固集。 （英语） Zbl 1357.68114号

Haddad，Serge（编辑）等人，《Petri网的应用和理论》。第33届国际会议，2012年6月25日至29日，德国汉堡，PETRI NETS 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31130-7/pbk）。计算机科学课堂讲稿7347228-247（2012）。
MSC公司：60年第68季度 03B44号 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Lehmann}等人，Lect。注释计算。科学。7347、228--247（2012；Zbl 1357.68114）
全文： 内政部
劳伦特·法尔格;Jean-Marc Fontaine女士

向量丛和（p\）-adic Galois表示。 （英语） Zbl 1283.14011号

季立珍（主编）等，第五届中国数学家国际大会。2010年12月17日至22日，中国北京，ICCM’10会议记录。第1部分：。普罗维登斯，RI：美国数学学会（AMS）；马萨诸塞州萨默维尔：国际出版社（ISBN 978-0-8218-7586-5/pbk；978-0-82 18-7555-1/套）。AMS/IP高等数学研究51，pt.1，77-113（2012）。
审核人：劳伦特·伯杰（里昂）
MSC公司：14国道22号 11楼70 11平方英寸 11个31 12H25型 14层05 14小时60分 32B05型
PDF格式BibTeX公司 XML格式引用
\textit｛L.Fargues｝和\textit｛J.-M.Fontaine｝，AMS/IP Stud.Adv.Math。51、77——113（2012年；Zbl 1283.14011）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件