伊利亚州卡斯特拉尼(编辑);佩德罗·R·达吉尼奥。(编辑);穆罕默德·礼萨穆萨维(编辑);安娜·索科洛娃(编辑) 关于并发理论中开放问题的专题前言。 (英语) 兹比尔1498.00033 J.日志。阿尔盖布。方法计划。 130,文章ID 100823,2 p.(2023).MSC公司:00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{I.Castellani}(编辑)等,J.Log。阿尔盖布。方法计划。130,文章ID 100823,2 p.(2023;Zbl 1498.00033) 全文: 内政部
斯蒂芬妮·巴尔泽(编辑);卢卡·帕多瓦尼(编辑) 2020年第十二届并发和以通信为中心的软件编程语言方法研讨会特刊前言。 (英语) Zbl 1486.00022号 J.日志。阿尔盖布。方法计划。 127,文章ID 100777,2 p.(2022).MSC公司:00B15号机组 00B25型 68-06 2006年4月 PDF格式BibTeX公司 XML格式引用 \textit{S.Balzer}(编辑)和\textit{L.Padovani}(主编),J.Log。阿尔盖布。方法计划。127,文章ID 100777,2 p.(2022;Zbl 1486.00022) 全文: 内政部
弗拉德·鲁苏(编辑) 客座编辑前言。 (英语) 邮编1473.00056 J.日志。阿尔盖布。方法计划。 123,文章ID 100716,2 p.(2021).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{V.Rusu}(编辑),J.Log。阿尔盖布。方法计划。123,文章ID 100716,2 p.(2021;Zbl 1473.00056) 全文: 内政部
保罗·波托尼(编辑);洛科·德尼古拉(编辑);丹尼尔·戈拉(编辑) 社论:向安娜·拉布拉致敬。 (英语) Zbl 1466.00041号 J.日志。阿尔盖布。方法计划。 121,文章ID 100663,2 p.(2021).MSC公司:00B30型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bottoni}(编辑)等,J.Log。阿尔盖布。方法计划。121,文章ID 100663,第2页(2021;Zbl 1466.00041) 全文: 内政部
弗雷德里克·卢勒格(编辑) 2018年关于并行和分布式系统正式方法的专刊前言。 (英语) Zbl 1462.68005号 J.日志。阿尔盖布。方法计划。 116,文章ID 100580,1页(2020年).MSC公司:68-06 2010年第68季度 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Loulergue}(编辑),J.Log。阿尔盖布。方法计划。116,文章ID 100580,1页(2020;Zbl 1462.68005) 全文: 内政部
埃丝特·格拉(编辑);费尔南多·奥雷贾斯(编辑) 第十二届图形变换国际会议专刊前言。 (英语) Zbl 1452.68009号 J.日志。阿尔盖布。方法计划。 115,文章ID 100576,2 p.(2020).MSC公司:68-06 2012年第68季度 68兰特 68立方英尺 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Guerra}(编辑)和\textit{F.Orejas}(主编),J.Log。阿尔盖布。方法计划。115,文章ID 100576,2 p.(2020;Zbl 1452.68009) 全文: 内政部
莱恩·兰伯斯(编辑);简斯·韦伯(编辑) 第十一届图形变换国际会议专刊前言。 (英语) Zbl 1433.68022号 J.日志。阿尔盖布。方法计划。 112,文章ID 100525,2 p.(2020).MSC公司:68-06 2012年第68季度 65年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Lambers}(编辑)和\textit{J.Weber}(主编),J.Log。阿尔盖布。方法计划。112,文章ID 100525,2 p.(2020;Zbl 1433.68022) 全文: 内政部
马里奥·贝尼维德斯。(编辑);亚历山大·马德拉(编辑) DaLí–动态逻辑、新趋势和应用。 (英语) Zbl 1489.00021号 J.日志。阿尔盖布。方法计划。 111,文章ID 100514,2 p.(2020).MSC公司:00B15号机组 00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.R.F.Benevides}(编辑)和\textit{A.Madeira}(主编),J.Log。阿尔盖布。方法计划。111,文章ID 100514,2 p.(2020;Zbl 1489.00021) 全文: 内政部
瓦实提·加尔平(编辑);保罗·米拉佐(编辑);安娜·蒙雷利(编辑) 客座编辑前言。 (英语) Zbl 1435.68030号 J.日志。阿尔盖布。方法计划。 109,文章ID 100489,2 p.(2019).MSC公司:68-06 68新元 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{V.Galpin}(编辑)等,J.Log。阿尔盖布。方法计划。109,文章ID 100489,2 p.(2019;Zbl 1435.68030) 全文: 内政部
马西莫·巴托莱蒂(编辑);劳拉·博奇(编辑);卢多维奇·亨里奥(编辑);索菲亚·奈特(编辑) 2017年互动与并发体验专刊前言。 (英语) Zbl 1434.68017号 J.日志。阿尔盖布。方法计划。 109,文章ID 100488,2 p.(2019).MSC公司:68-06 64岁以下 68甲15 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}(编辑)等,J.Log。阿尔盖布。方法计划。109,文章ID 100488,2 p.(2019;Zbl 1434.68017) 全文: 内政部
Larsen,Kim G。(编辑);吉·斯尔巴(编辑) 第28届北欧规划理论研讨会论文选集(NWPT’16)。 (英语) Zbl 1431.68008号 J.日志。阿尔盖布。方法计划。 107, 177-178 (2019).MSC公司:68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}(编辑)和textit{J.Srba}(主编),J.Log。阿尔盖布。方法计划。107、177--178(2019年;Zbl 1431.68008) 全文: 内政部
伊利亚州卡斯特拉尼(编辑);穆罕默德·礼萨穆萨维(编辑) 前言:关于并发理论趋势的特刊(选自2015年和2016年trends研讨会的特邀稿件)。 (英语) Zbl 1431.68007号 J.日志。阿尔盖布。方法计划。 107, 175-176 (2019).MSC公司:68-06 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{I.Castellani}(编辑)和textit{M.R.Mousavi}(主编),J.Log。阿尔盖布。方法计划。107、175--176(2019年;Zbl 1431.68007) 全文: 内政部
彼得·霍夫纳(编辑);Damien Pous(编辑);乔治·斯特鲁斯(编辑) 计算机科学中的关系和代数方法。 (英语) Zbl 1423.68028号 J.日志。阿尔盖布。方法计划。 106, 198-199 (2019).MSC公司:68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}(编辑)等人,J.Log。阿尔盖布。方法计划。106198-199(2019年;Zbl 1423.68028) 全文: 内政部
菲利普·哈勒(编辑);Vascoconcelos、Vasco Thudichum(编辑) 关于以并发和通信为中心的软件编程语言方法的第十次研讨会的特刊。 (英语) Zbl 1423.68026号 J.日志。阿尔盖布。方法计划。 106, 196-197 (2019).MSC公司:68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Haller}(编辑)和\textit{V.T.Vasconcelos}(主编),J.Log。阿尔盖布。方法计划。106196-197(2019年;Zbl 1423.68026) 全文: 内政部
瓦尔登,玛丽娜(编辑) NWPT 2017–特刊。 (英语) Zbl 1423.68042号 J.日志。阿尔盖布。方法计划。 第105页、第126页(2019年).MSC公司:68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Waldén}(编辑),J.Log。阿尔盖布。方法计划。105126页(2019年;Zbl 1423.68042) 全文: 内政部
丰满,细节(编辑);胡安·德·拉腊(编辑) 第十届图形变换国际会议专刊前言。 (英语) Zbl 1423.68034号 J.日志。阿尔盖布。方法计划。 104, 174-175 (2019).MSC公司:68-06 2012年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Plump(编辑)和textit{J.deLara(编辑),J.Log。阿尔盖布。方法计划。104174-175(2019年;兹比尔1423.68034) 全文: 内政部
多雷尔·卢卡努(编辑) 编辑前言。 (英语) Zbl 1400.68028号 J.日志。阿尔盖布。方法计划。 101, 42-43 (2018).MSC公司:68-06 2012年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Lucanu}(编辑),J.Log。阿尔盖布。方法计划。101、42-43(2018;Zbl 1400.68028) 全文: 内政部
马西莫·巴托莱蒂(编辑);卢多维奇·亨里奥(编辑);索菲亚·奈特(编辑);雨果·托雷斯·维埃拉(编辑) 2016年交互与并发体验专刊前言。 (英语) 兹比尔1395.00056 J.日志。阿尔盖布。方法计划。 98, 26 (2018).MSC公司:00B25型 68-06 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}(编辑)等,J.Log。阿尔盖布。方法计划。98、26(2018年;Zbl 1395.00056) 全文: 内政部
一郎·哈索(编辑) 前言。 (英语) Zbl 1376.00040号 J.日志。阿尔盖布。方法计划。 94, 183 (2018).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{I.Hasuo}(编辑),J.Log。阿尔盖布。方法计划。94183(2018年;兹比尔1376.00040) 全文: 内政部
多米尼克·乌节(编辑);吉田、Nobuko(编辑) 客座编辑前言。 (英语) Zbl 1366.00071号 J.日志。阿尔盖布。方法计划。 90, 1 (2017).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{D.Orchard}(编辑)和\textit{N.Yoshida}(主编),J.Log。阿尔盖布。方法计划。90,1(2017年;Zbl 1366.00071) 全文: 内政部
伊利亚州卡斯特拉尼(编辑);穆罕默德·礼萨穆萨维(编辑) 前言:并发理论趋势专刊(2014年和2015年趋势研讨会特邀稿)。 (英语) Zbl 1358.00123号 J.日志。阿尔盖布。方法计划。 87, 93 (2017).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{I.Castellani}(编辑)和textit{M.R.Mousavi}(主编),J.Log。阿尔盖布。方法计划。87、93(2017;Zbl 1358.00123) 全文: 内政部
莫里斯·比克。(编辑);阿尔贝托·卢什·拉富恩特(编辑) 基于web的应用程序的自动化规范和验证。 (英语) Zbl 1358.00137号 J.日志。阿尔盖布。方法计划。 87, 51 (2017).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}(编辑)和\textit{A.Lluch Lafuente}(主编),J.Log。阿尔盖布。方法计划。87、51(2017;Zbl 1358.00137) 全文: 内政部
卢卡·埃特罗(编辑);安娜·英格尔夫斯多蒂(编辑) 第27届北欧规划理论研讨会前言(NWPT 2015)。 (英语) Zbl 1358.00120号 J.日志。阿尔盖布。方法计划。 87, 5 (2017).MSC公司:00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto(编辑)和textit{A.Ingolfsdottir}(编辑),J.Log。阿尔盖布。方法计划。87,5(2017;Zbl 1358.00120) 全文: 内政部
圣地亚哥埃斯科瓦尔(编辑) 重写逻辑及其应用(WRLA 2014的扩展精选论文)。 (英语) 兹比尔1354.00093 J.日志。阿尔盖布。方法计划。 86,第1期,157-158(2017).MSC公司:00B25型 68-06 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}(编辑),J.Log。阿尔盖布。方法计划。86,第1号,157--158(2017;Zbl 1354.00093) 全文: 内政部
伊万·拉内斯(编辑);阿尔贝托·卢什·拉富恩特(编辑);索菲亚·奈特(编辑);雨果·托雷斯·维埃拉(编辑) 2015年交互与并发体验专刊前言。 (英语) Zbl 1354.00101号 J.日志。阿尔盖布。方法计划。 86,第1、1号(2017).MSC公司:00B25型 68-06 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}(编辑)等人,J.Log。阿尔盖布。方法计划。86,第1、1号(2017;Zbl 1354.00101) 全文: 内政部
圣地亚哥埃斯科瓦尔(编辑) 重写逻辑及其应用(WRLA 2014的扩展精选论文)。 (英语) Zbl 1354.00094号 J.日志。阿尔盖布。方法计划。 85,第1号,第1部分,1-2(2016).MSC公司:00B25型 68-06 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}(编辑),J.Log。阿尔盖布。方法计划。85,第1号,第1部分,1--2(2016;Zbl 1354.00094) 全文: 内政部
雷蒙德·布特 为什么数学需要工程学。 (英语) Zbl 1360.00087号 J.日志。阿尔盖布。方法计划。 85,第5号,第2部分,867-878(2016).MSC公司:00年3月35日 第18页第15页 PDF格式BibTeX公司 XML格式引用 \textit{R.Boute},J.Log。阿尔盖布。方法计划。85,第5号,第2部分,867--878(2016;Zbl 1360.00087) 全文: 内政部 arXiv公司
塔尔莫乌斯塔卢(编辑);尤里·瓦恩(编辑) 客座编辑前言。 (英语) Zbl 1356.00066号 J.日志。阿尔盖布。方法计划。 85、6号、1109(2016).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{T.Uustalu}(编辑)和\textit{J.Vain}(主编),J.Log。阿尔盖布。方法计划。85、6号、1109(2016;Zbl 1356.00066) 全文: 内政部
莫里斯·比克。(编辑);阿列克谢·利西萨(编辑);安德烈·奈米提克(Andrei P.Nemytykh)。(编辑);安托尼奥·拉瓦拉(编辑) 程序和Web系统的自动验证。 (英语) Zbl 1349.00289号 J.日志。阿尔盖布。方法计划。 85,第5号,第1部分,653-654(2016).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}(编辑)等,J.Log。阿尔盖布。方法计划。85,第5号,第1部分,653--654(2016;Zbl 1349.00289) 全文: 内政部
彼得·霍夫纳(编辑);彼得·吉普森(编辑);沃尔夫拉姆·卡尔(编辑);马丁·埃里克·米勒(编辑) 计算机科学中的关系和代数方法。 (英语) Zbl 1344.68010号 J.日志。阿尔盖布。方法计划。 85,第4期,447-448(2016).MSC公司:68-06 68号30 68问题65 70年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}(编辑)等人,J.Log。阿尔盖布。方法计划。85,第4号,447--448(2016;Zbl 1344.68010) 全文: 内政部
伊万·拉内斯(编辑);阿尔贝托·卢什·拉富恩特(编辑);安娜·索科洛娃(编辑);雨果·托雷斯·维埃拉(编辑) 2014年交互与并发体验专刊前言。 (英语) Zbl 1335.00159号 J.日志。阿尔盖布。方法计划。 85、3号、367(2016).MSC公司:00B25型 68-06 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}(编辑)等人,J.Log。阿尔盖布。方法计划。85、3号、367(2016;Zbl 1335.00159) 全文: 内政部
莫里斯·比克。(编辑);克拉克、戴夫(编辑);伊娜·谢弗(编辑) JLAMP软件产品线工程正式方法专刊的编辑前言。 (英语) Zbl 1329.00239号 J.日志。阿尔盖布。方法计划。 85,第1号,第2部分,123-124(2016).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}(编辑)等,J.Log。阿尔盖布。方法计划。85,第1号,第2部分,123--124(2016;Zbl 1329.00239) 全文: 内政部
唐·巴托里(编辑) 软件产品线工程形式化方法专题前言。 (英语) Zbl 1329.00150号 J.日志。阿尔盖布。方法计划。 85,第1号,第2部分,121-122(2016).MSC公司:00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{D.Batory}(编辑),J.Log。阿尔盖布。方法计划。85,第1号,第2部分,121-122(2016;Zbl 1329.00150) 全文: 内政部
马可·贝尔纳多(编辑);丹尼尔·格布勒(编辑);米歇尔·洛雷蒂(编辑) 为并发理论中的开放问题专刊撰写社论。 (英语) Zbl 1329.00184号 J.日志。阿尔盖布。方法计划。 84,第6731号(2015).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}(编辑)等人,J.Log。阿尔盖布。方法计划。84,第6731号(2015;Zbl 1329.00184) 全文: 内政部
阿拉斯泰·唐纳森(编辑);Vasco T.瓦康塞洛斯。(编辑) 关于并发和通信中心软件编程语言方法的论文选集(PLACES 2014)。 (英语) Zbl 1318.00023号 J.日志。阿尔盖布。方法计划。 84,No.5,683(2015).MSC公司:00B25型 68-06 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Donaldson}(编辑)和textit{V.T.Vasconcelos}(主编),J.Log。阿尔盖布。方法计划。84,第5号,683(2015;Zbl 1318.00023) 全文: 内政部
安托尼奥·拉瓦拉(编辑);乔塞普·席尔瓦(编辑) JLAMP网络系统自动化规范和验证专刊编辑。 (英语) Zbl 1314.00114号 J.日志。阿尔盖布。方法计划。 84,编号:483-484(2015).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{A.Ravara}(编辑)和\textit{J.Silva}。阿尔盖布。方法计划。84,第4号,483--484(2015;Zbl 1314.00114) 全文: 内政部
沃尔夫拉姆·卡尔(编辑);蒂莫西·格里芬。(编辑);彼得·霍夫纳(编辑) 计算机科学中的关系和代数方法。 (英语) 兹比尔1329.68031 J.日志。阿尔盖布。方法计划。 84,第3期,283-284(2015).MSC公司:68-06 03B70号 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{W.Kahl}(编辑)等人,J.Log。阿尔盖布。方法计划。84,第3号,283--284(2015;Zbl 1329.68031) 全文: 内政部
乌尔里希·伯杰(编辑);詹斯·布兰克(编辑);马丁·埃斯卡多(编辑);克劳斯·凯梅尔(编辑) 前言。 (英语) Zbl 1305.00128号 J.日志。阿尔盖布。方法计划。 84,No.1,107(2015).MSC公司:00B25型 68-06 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}(编辑)等人,J.Log。阿尔盖布。方法计划。84、1号、107(2015;Zbl 1305.00128) 全文: 内政部
克里斯蒂娜·塞塞莱亚努(编辑);保罗·佩特森(编辑) 前言。 (英语) Zbl 1305.00158号 J.日志。阿尔盖布。方法计划。 84,第1、1号(2015).MSC公司:00B25型 68-06 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Seceleanu}(编辑)和\textit{P.Pettersson}(主编),J.Log。阿尔盖布。方法计划。84,第1、1号(2015;Zbl 1305.00158) 全文: 内政部
Uwe E.沃尔特。(编辑) 客座编辑前言。 (英语) 兹比尔1298.00363 J.日志。阿尔盖布。方法计划。 83,第5-6、359号(2014).MSC公司:00B25型 68-06 68新元 PDF格式BibTeX公司 XML格式引用 \textit{U.E.Wolter}(编辑),J.Log。阿尔盖布。方法计划。83号5--6359(2014;Zbl 1298.00363) 全文: 内政部
鲁道夫·伯格哈默(编辑);伯恩哈德·莫勒(编辑);温特,迈克尔(编辑) 前言。 (英语) Zbl 1298.00369号 J.日志。阿尔盖布。方法计划。 83,第2期,85-86(2014).MSC公司:00B30型 01A70号 03G15年 68-06 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}(编辑)等人,J.Log。阿尔盖布。方法计划。83,第2号,85--86(2014;Zbl 1298.00369) 全文: 内政部 链接