×

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

最新的 引文 关联
文森佐·西安西亚;Jan Friso，格鲁特;迭戈·拉特拉;梅克·马西克;埃里克·P·德文克。

使用分支双相似性最小化空间模型。 （英语） 兹比尔1529.68155

Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 263-281 (2023).
MSC公司：60年第68季度 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.Ciancia}等人，Lect。注释计算。科学。14000，263--281（2023；Zbl 1529.68155）
全文： 内政部
米歇尔·古兹曼;斯特凡·哈尔;萨利姆·珀西;卡米洛·鲁埃达;弗兰克·巴伦西亚。

在空间和挤压的代数中，信仰、知识、谎言和其他话语。 （英语） Zbl 1353.68203号

J.日志。阿尔盖布。方法计划。 86，第1期，107-133（2017）.
MSC公司：68问题85 03B42号 第68页第27页 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{M.Guzman}等人，J.Log。阿尔盖布。方法计划。86，第1号，107--133（2017；Zbl 1353.68203）
全文： 内政部
戴维·齐亚鲁吉;莫雷诺，法拉斯基;戴安娜·赫米思;卡洛斯·奥拉特

生物化学系统中空间和时间模式的验证。 （英语） Zbl 1351.68157号

Pauleve，Loic（编辑）等人，第五届静态分析和系统生物学国际研讨会（SASB 2014）的后期报道，德国慕尼黑，2014年9月10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记316，29-44（2015）。
MSC公司：60年第68季度 03B70号 2005年第68季度 92C40型
PDF格式BibTeX公司 XML格式引用
\textit{D.Chiarugi}等人，《电子》。理论注释。计算。科学。316、29-44（2015；Zbl 1351.68157）
全文： 内政部
Bae，Kyungmin先生;何塞·梅塞盖尔

用于重写的线性时态逻辑的基于重写的模型检查器。 （英语） Zbl 1291.68244号

Kniesel，Günter（编辑）等人，第九届基于规则的编程国际研讨会（2008年规则），奥地利哈根堡哈根堡城堡，2008年7月14日至18日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记290，19-36（2012）。
MSC公司：60年第68季度 03B44号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Bae}和\textit{J.Meseguer}，电子。理论注释。计算。科学。290、19-36（2012年；Zbl 1291.68244）
全文： 内政部
卢卡·卡德利;Larsen，Kim G。;拉杜·马达尔

模块化马尔科夫逻辑。 （英语） Zbl 1333.68200号

Aceto，Luca（编辑）等人，《自动化，语言和编程》。2011年7月4日至8日，瑞士苏黎世，第38届国际学术讨论会，ICALP 2011。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学课堂讲稿6756380-391（2011）。
MSC公司：87年第68季度 03B70号 60J25型
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}等人，Lect。注释计算。科学。6756380-391（2011年；兹比尔1333.68200）
全文： 内政部
罗伯托·布鲁尼;卢赫·拉富恩特，阿尔贝托;乌戈·蒙塔纳里

用Maude重写分层设计。 （英语） Zbl 1347.68072号

Grigore（编辑），《第七届重写逻辑及其应用国际研讨会论文集》（WRLA 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》238，第3期，45-62（2009）。
MSC公司：68号30 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，《电子》。理论注释。计算。科学。238，第3号，45-62（2009；Zbl 1347.68072）
全文： 内政部
谢恩·奥斯·孔丘

亲切的签名。 （英语） Zbl 1336.68185号

Seda，Anthony（编辑）等人，《爱尔兰计算机科学和信息技术数学基础会议论文集》（MFCSIT 2006），爱尔兰科克国立爱尔兰大学，2006年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记225361-377（2009）。
MSC公司：68问题85 第68页第10页 68兰特
PDF格式BibTeX公司 XML格式引用
\textit｛S.óConchúir｝，电子。理论注释。计算。科学。225、361--377（2008年；Zbl 1336.68185）
全文： 内政部
文森佐·西安西亚;乌戈·蒙塔纳里

命名集的名称抽象函子。 （英语） Zbl 1279.68052号

Adámek，J.（ed.）等人，第九届计算机科学联合方法研讨会论文集（CMCS 2008），匈牙利布达佩斯，2008年4月4日至6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》203，第5期，第49-70页（2008年）。
MSC公司：68号30 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{V.Ciancia}和\textit{U.Montanari}，电子。理论注释。计算。科学。203，第5号，49-70（2008；Zbl 1279.68052）
全文： 内政部
拉杜·马达尔;阿尔贝托，Policriti

基于进程的空间逻辑的完整公理系统。 （英语） Zbl 1173.03307号

Ochmaánski，Edward（编辑）等人，《2008年计算机科学数学基础》。2008年8月25日至29日，第33届国际研讨会，MFCS 2008，波兰托伦。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85237-7/pbk）。计算机科学课堂讲稿5162491-502（2008）。
MSC公司：03B70号 03B45号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Mardare}和\textit{A.Policriti}，莱克特。注释计算。科学。5162、491--502（2008；Zbl 1173.03307）
全文： 内政部
爱蒂安·洛兹;朱尔斯·维拉德

应用（pi）演算的空间方程逻辑。 （英语） Zbl 1160.03313号

van Breugel，Franck（编辑）等人，CONCUR 2008–并发理论。第19届国际会议，CONCUR 2008，加拿大多伦多，2008年8月19-22日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85360-2/pbk）。《计算机科学讲义》5201、387-401（2008）。
MSC公司：03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{埃里·洛兹}和\textit{J.维拉德}，莱克托。注释计算。科学。5201、387--401（2008年；Zbl 1160.03313）
全文： 内政部
法比奥·加杜奇;蒙雷利，贾科玛·瓦伦蒂娜

移动环境的分散实施。 （英语） Zbl 1175.68279号

Ehrig，Hartmut（编辑）等人，《图形变换》。2008年9月7日至13日在英国莱斯特举行的2008年第四届国际燃气轮机大会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87404-1/pbk）。计算机科学课堂讲稿5214，115-130（2008）。
MSC公司：68问题85 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Gadducci}和\textit{G.V.Monreale}，莱克特。注释计算。科学。5214、115-130（2008年；Zbl 1175.68279）
全文： 内政部
R.格鲁苏。;巴托西，E。;科拉迪尼，F。;恩切娃，E。;S.A.斯莫尔卡。;Wasilewska，A。

学习和检测心肌细胞网络中的紧急行为。 （英语） Zbl 1144.92313号

Egerstedt，Magnus（编辑）等人，《混合系统：计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78928-4/pbk）。计算机科学课堂讲稿4981，229-243（2008）。
MSC公司：92 C50 92C05型 92-08 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Grosu}等人，Lect。注释计算。科学。4981、229--243（2008年；Zbl 1144.92313）
全文： 内政部
曹子宁

分布式高阶（pi）演算的逻辑。 （英语） Zbl 1140.68047号

Agrawal，Manindra（编辑）等人，《计算模型的理论和应用》。2008年4月25日至29日，第五届国际会议，TAMC 2008，中国西安。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79227-7/pbk）。计算机科学课堂讲稿4978，351-363（2008）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{Z.Cao}，Lect（左）。注释计算。科学。4978、351--363（2008年；Zbl 1140.68047）
全文： 内政部
文森佐·西安西亚;吉安·路易吉，法拉利

定量空间逻辑的协代数模型。 （英语） Zbl 1279.03055号

Aldini，Alessandro（编辑）等人，第五届编程语言定量方面研讨会论文集（QAPL 2007），葡萄牙布拉加，2007年3月24日至25日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》190，第3期，43-58（2007）。
MSC公司：03B70号 03B45号 03G30型 68问题65 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.Ciancia}和\textit{G.L.Ferrari}，电子。理论注释。计算。科学。190，第3号，43-58（2007；Zbl 1279.03055）
全文： 内政部
路易斯·凯雷斯;雨果·托雷斯·维埃拉

分布式系统中空间观测的扩展性。 （英语） Zbl 1277.68169号

Amadio，Roberto（编辑）等人，第13届并发表达性国际研讨会论文集（EXPRESS 2006），德国波恩，2006年8月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》175，第3期，131-149（2007）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{L.Caires}和\textit{H.T.Vieira}，电子。理论注释。计算。科学。175，第3号，131-149（2007年；兹bl 1277.68169）
全文： 内政部
卢卡·卡德利;菲利普·加德纳;乔治·盖利

使用隐藏标签操作树。 （英语） Zbl 1277.68116号

Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给Gordon Plotkin的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172177-201（2007）。
MSC公司：68问题55 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}等人，《电子》。理论注释。计算。科学。172177--201（2007；Zbl 1277.68116）
全文： 内政部
路易斯·凯雷斯

空间行为类型、分布式服务和资源。 （英语） Zbl 1211.68026号

Montanari，Ugo（编辑）等人，《值得信赖的全球计算》。第二次研讨会，TGC 2006，意大利卢卡，2006年11月7日至9日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-75333-9/pbk）。计算机科学课堂讲稿466198-115（2007）。
MSC公司：64岁以下 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Caires}，莱克特。注释计算。科学。4661，98-115（2007年；兹bl 1211.68026）
全文： 内政部
拉杜·马达尔;普里阿米，科拉多

轩尼诗-米尔纳逻辑的可判定扩展。 （英语） Zbl 1225.03031号

Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学课堂讲稿4229196-211（2006）。
MSC公司：03B70号 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Mardare}和\textit{C.Priami}，莱克特。注释计算。科学。4229196-211（2006；Zbl 1225.03031）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件