×

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

最新的 引文 关联
雷娜·迪米特洛娃（编辑）;奥里·拉哈夫（编辑）;塞巴斯蒂安·沃尔夫（编辑）

验证、模型检查和抽象解释。第25届国际会议，VMCAI 2024，英国伦敦，2024年1月15日至16日。诉讼程序。第二部分。 （英语） Zbl 07831420号

计算机科学课堂讲稿14500。查姆：施普林格（ISBN 978-3-031-50520-1/pbk；978-3-0.31-50521-8/电子书）。十八、340页。(2024).
MSC公司：68-06 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{R.Dimitrova}（编辑）等人，《验证、模型检查和抽象解释》。第25届国际会议，VMCAI 2024，英国伦敦，2024年1月15-16日。诉讼程序。第二部分。查姆：施普林格（2024；Zbl 07831420）
全文： 内政部
雷娜·迪米特洛娃（编辑）;奥里·拉哈夫（编辑）;塞巴斯蒂安·沃尔夫（编辑）

验证、模型检查和抽象解释。第25届国际会议，VMCAI 2024，英国伦敦，2024年1月15日至16日。诉讼程序。第一部分。 （英语） Zbl 07831419号

计算机科学课堂讲稿14499。查姆：施普林格（ISBN 978-3-031-50523-2/pbk；978-3-331-50524-9/电子书）。十八、352页。(2024).
MSC公司：68-06 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{R.Dimitrova}（编辑）等人，《验证、模型检查和抽象解释》。第25届国际会议，VMCAI 2024，英国伦敦，2024年1月15-16日。诉讼程序。第一部分查姆：施普林格（2024；Zbl 07831419）
全文： 内政部
哈尼尔·巴博萨（编辑）;尤尼·佐哈尔（编辑）

形式化方法：基础和应用。第26届巴西研讨会，SBMF 2023，马瑙斯，巴西，2023年12月4日至8日。诉讼程序。 （英语） Zbl 07831367号

计算机科学课堂讲稿14414。查姆：施普林格（ISBN 978-3-031-49341-6/pbk；978-3-331-49342-3/ebook）。第二十二、153页。(2024).
MSC公司：68-06 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{H.Barbosa}（编辑）和\textit{Y.Zohar}（主编），形式方法：基础和应用。第26届巴西研讨会，SBMF 2023，马瑙斯，巴西，2023年12月4-8日。诉讼程序。查姆：施普林格（2024；Zbl 07831367）
全文： 内政部
亨宁费尔瑙（编辑）;塞尔盖·加斯佩斯（编辑）;拉尔夫·克拉辛（编辑）

SOFSEM 2024：计算机科学的理论与实践。第49届计算机科学理论与实践当前趋势国际会议，SOFSEM 2024，德国科肯，2024年2月19-23日。诉讼程序。 （英语） Zbl 07825982号

计算机科学课堂讲稿14519.查姆：施普林格（ISBN 978-3-031-52112-6/pbk；978-3-331-52113-3/电子书）。xv，502页。(2024).
MSC公司：68-06 68季度xx 68卢比 68泰克 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{H.Fernau}（编辑）等，SOFSEM 2024：计算机科学的理论与实践。第49届计算机科学理论与实践当前趋势国际会议，SOFSEM 2024，德国科肯，2024年2月19-23日。诉讼程序。查姆：施普林格（2024；Zbl 07825982）
全文： 内政部
马西耶·库特尼（编辑）;罗宾·伯根瑟姆（编辑）;吉安弗兰科·西亚多（编辑）

Petri网事务和其他并发模型XVII。 （英语） Zbl 07815713号

计算机科学课堂讲稿14150.日记账子行。柏林：施普林格出版社（ISBN 978-3-662-68190-9/pbk；978-3-562-68191-6/电子书）。十八、295页。(2024).
MSC公司：68-06 68问题85 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.Koutny}（编辑）等，《Petri网和其他并发模型事务》十七。柏林：施普林格（2024；Zbl 07815713）
全文： 内政部
何塞·A·索托。（编辑）;安德烈亚斯·威斯（编辑）

拉丁语2024：理论信息学。2024年3月18日至22日，第16届拉丁美洲研讨会，智利瓦拉斯港。诉讼程序。第二部分。 （英语） Zbl 07815698号

计算机科学课堂讲稿14579.查姆：施普林格（ISBN 978-3-031-55600-5/pbk；978-3-331-55601-2/电子书）。xix，350页。(2024).
MSC公司：68-06 68季度xx 68卢比 68瓦xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Soto}（编辑）和textit{A.Wiese}（编），拉丁2024：理论信息学。2024年3月18日至22日，第16届拉丁美洲研讨会，智利瓦拉斯港。诉讼程序。第二部分。查姆：施普林格（2024；Zbl 07815698）
全文： 内政部
何塞·A·索托。（编辑）;安德烈亚斯·威斯（编辑）

拉丁语2024：理论信息学。2024年3月18日至22日，第16届拉丁美洲研讨会，智利瓦拉斯港。诉讼程序。第一部分。 （英语） Zbl 07815697号

计算机科学课堂讲稿14578.查姆：施普林格（ISBN 978-3-031-55597-8/pbk；978-3-331-55598-5/ebook）。xix，第352页。(2024).
MSC公司：68-06 68季度xx 68卢比 68瓦xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Soto}（编辑）和textit{A.Wiese}（编），拉丁2024：理论信息学。2024年3月18日至22日，第16届拉丁美洲研讨会，智利瓦拉斯港。诉讼程序。第一部分商会：施普林格（2024；Zbl 07815697）
全文： 内政部
蔡志平（编辑）;肖明玉（编辑）;张佳琳（编辑）

理论计算机科学。2023年7月21日至23日在中国广州举行的NCTCS 2023第41届全国会议。修订了选定的论文。 （英语） Zbl 07806641号

计算机与信息科学中的通信1944.新加坡：Springer（ISBN 978-981-9977-42-0/pbk；978-981-9977-43-7/电子书）。xii，第267页。(2024).
MSC公司：68-06 68Mxx毫米 68季度xx 68泰克 68周25 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{Z.Cai}（编辑）等，《理论计算机科学》。第41届全国会议，NCTCS 2023，中国广州，2023年7月21-23日。修订了选定的论文。新加坡：Springer（2024；Zbl 07806641）
全文： 内政部
艾丽卡·阿尔布拉汉姆（编辑）;克莱门斯·杜伯斯拉夫（编辑）;塔里法，西尔维娅·利泽斯·塔皮亚（编辑）

计算的理论方面——ICTAC 2023。第20届国际学术讨论会，秘鲁利马，2023年12月4日至8日。诉讼程序。 （英语） Zbl 07831384号

计算机科学课堂讲稿14446。查姆：施普林格（ISBN 978-3-031-47962-5/pbk；978-3-331-47963-2/电子书）。xi，第440页。(2023).
MSC公司：68-06 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{E.ábrahám}（编辑）等人，《计算的理论方面——ICTAC 2023》。第20届国际学术讨论会，秘鲁利马，2023年12月4-8日。诉讼程序。查姆：施普林格（2023；Zbl 07831384）
全文： 内政部
埃蒂安·安德烈（编辑）;孙骏（编辑）

用于验证和分析的自动化技术。第21届国际研讨会，2023年10月24日至27日，新加坡，ATVA 2023。诉讼程序。第二部分。 （英语） Zbl 07826003号

计算机科学课堂讲稿14216.查姆：施普林格（ISBN 978-3-031-45331-1/pbk；978-3-331-45332-8/电子书）。xv，330页。(2023).
MSC公司：68-06 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}（编辑）和\textit{J.Sun}（主编），验证和分析自动化技术。第21届国际研讨会，ATVA 2023，新加坡，2023年10月24-27日。诉讼程序。第二部分。查姆：施普林格（2023；Zbl 07826003）
全文： 内政部
埃蒂安·安德烈（编辑）;孙骏（编辑）

用于验证和分析的自动化技术。第21届国际研讨会，2023年10月24日至27日，新加坡，ATVA 2023。诉讼程序。第一部分。 （英语） Zbl 07826002号

计算机科学课堂讲稿14215.查姆：施普林格（ISBN 978-3-031-45328-1/pbk；978-3-331-45329-8/电子书）。十六、446页。(2023).
MSC公司：68-06 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}（编辑）和\textit{J.Sun}（主编），验证和分析自动化技术。第21届国际研讨会，ATVA 2023，新加坡，2023年10月24-27日。诉讼程序。第一部分商会：施普林格（2023；Zbl 07826002）
全文： 内政部
亚历山大·马德拉（编辑）;马丁斯（Manuel A.Martins）。（编辑）

代数开发技术的最新趋势。第26届IFIP工作组1.3国际研讨会，WADT 2022，Aveiro，葡萄牙，2022年6月28日至30日。修订了选定的论文。 （英语） Zbl 07825997号

计算机科学课堂讲稿13710.查姆：施普林格（ISBN 978-3-031-43344-3/pbk；978-3-331-43345-0/电子书）。九、179页。(2023).
MSC公司：68-06 68新元 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Madeira}（编辑）和textit{M.A.Martins}（主编），代数开发技术的最新趋势。2022年6月28日至30日，第26届IFIP WG 1.3国际研讨会，WADT 2022，葡萄牙阿威罗。修订了选定的论文。查姆：施普林格（2023；Zbl 07825997）
全文： 内政部
Orponen、Tuomas（编辑）;巴勃罗·什默金（编辑）;王红（Wang，Hong）（编辑）

调和分析、几何测度理论和遍历理论中的关联问题。2023年6月4日至9日举行的研讨会摘要。 （英语） Zbl 1528.42001号

Oberwolfach代表。 20，第2期，1397-1452（2023）.
MSC公司：42-06 22-06 00亿05 00B25型 28A80型 22日40时 37立方厘米 37A46型 42亿 68问题30 11J83型
PDF格式BibTeX公司 XML格式引用
\textit{T.Orponen}（编辑）等人，Oberwolfach Rep.20，No.2，1397--1452（2023；Zbl 1528.42001）
全文： 内政部
Nadjet Zioui公司;艾查·马哈茂迪;尤斯拉·马哈茂迪;穆罕默德·塔吉

基于量子计算的状态域方程和反馈控制。 （英语） Zbl 07773387号

应用结果。数学。 19，文章ID 100385，9 p.（2023）.
MSC公司：81页68 81页65 34K43号 81问题93 49号35 2006年第68季度 00A71号 2012年第68季度 81兰特25 70F05型
PDF格式BibTeX公司 XML格式引用
\textit{N.Zioui}等人，结果应用。数学。19，文章ID 100385，9 p.（2023；Zbl 07773387）
全文： 内政部
亨宁费尔瑙（编辑）;克劳斯·扬森（编辑）

计算理论基础。第24届国际研讨会，FCT 2023，德国特里尔，2023年9月18-21日。诉讼程序。 （英语） Zbl 07768599号

计算机科学课堂讲稿14292.商会：施普林格出版社（ISBN 978-3-031-43586-7/pbk；978-3-031-43587-4/ebook）。xiii，438页。(2023).
MSC公司：68-06 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{H.Fernau}（编辑）和textit{K.Jansen}（主编），计算理论基础。第24届国际研讨会，FCT 2023，德国特里尔，2023年9月18-21日。诉讼程序。查姆：施普林格（2023；Zbl 07768599）
全文： 内政部
尼尔斯·詹森（编辑）;特里巴斯通，米尔科（编辑）

系统的定量评估。第20届国际会议，QEST 2023，比利时安特卫普，2023年9月20日至22日。诉讼程序。 （英语） Zbl 07768597号

计算机科学课堂讲稿14287.商会：施普林格出版社（ISBN 978-3-031-43834-9/pbk；978-3-031-43835-6/ebook）。xiii，第364页。(2023).
MSC公司：68-06 68Mxx毫米 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{N.Jansen}（编辑）和textit{M.Tribastone}（主编），系统的定量评估。第20届国际会议，QEST 2023，比利时安特卫普，2023年9月20-22日。诉讼程序。查姆：施普林格（2023；Zbl 07768597）
全文： 内政部
侯赛因·霍贾特（编辑）;艾丽卡·阿尔布拉汉姆（编辑）

软件工程基础。第十届国际会议，FSEN 2023，伊朗德黑兰，2023年5月4-5日。修订了选定的论文。 （英语） Zbl 07768478号

计算机科学课堂讲稿14155.商会：施普林格出版社（ISBN 978-3-031-42440-3/pbk；978-3-031-42441-0/电子书）。x、 157页。(2023).
MSC公司：68-06 68新元 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{H.Hojjat}（ed.）和\textit{E.ábrahám}（edi.），软件工程基础。第十届国际会议，FSEN 2023，伊朗德黑兰，2023年5月4-5日。修订了选定的论文。查姆：施普林格（2023；Zbl 07768478）
全文： 内政部
卢卡·曼佐尼（编辑）;卢卡·马里奥特（编辑）;罗伊·乔杜里，迪潘维塔（编辑）

细胞自动机和离散复杂系统。2023年8月30日至9月1日，意大利的里雅斯特，第29届IFIP WG 1.5国际研讨会，AUTOMATA 2023。诉讼程序。 （英语） Zbl 07768476号

计算机科学课堂讲稿14152.商会：施普林格出版社（ISBN 978-3-031-42249-2/pbk；978-3-031-42250-8/ebook）。xiv，165页。(2023).
MSC公司：68-06 37-06 68问题80 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{L.Manzoni}（编辑）等人，《细胞自动机与离散复杂系统》。第29届IFIP WG 1.5国际研讨会，2023年8月30日至9月1日，意大利的里雅斯特AUTOMATA 2023。诉讼程序。查姆：施普林格（2023；Zbl 07768476）
全文： 内政部
劳雷·佩特鲁奇（编辑）;杰里米·斯普洛斯顿（编辑）

时间系统的形式化建模和分析。第21届国际会议，FORMATS 2023，安特卫普，比利时，2023年9月19-21日。诉讼程序。 （英语） Zbl 07768469号

计算机科学课堂讲稿14138.查姆：施普林格（ISBN 978-3-031-42625-4/pbk；978-3-331-42626-1/电子书）。xiv，第181页。(2023).
MSC公司：68-06 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{L.Petrucci}（编辑）和textit{J.Sproston}（主编），时间系统的形式化建模和分析。第21届国际会议，FORMATS 2023，安特卫普，比利时，2023年9月19-21日。诉讼程序。查姆：施普林格（2023；Zbl 07768469）
全文： 内政部
贝内德克·纳吉（编辑）

自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。 （英语） Zbl 07767954号

计算机科学课堂讲稿14151.查姆：施普林格（ISBN 978-3-031-40246-3/pbk；978-3-331-40247-0/ebook）。xii，第304页。(2023).
MSC公司：68-06 65年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{B.Nagy}（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：施普林格（2023；Zbl 07767954）
全文： 内政部
图利奥·塞切里尼·西尔伯斯坦;米歇尔·库纳特
[罗斯蒂斯拉夫·格里戈楚克。]

细胞自动机和小组练习。前言：罗斯蒂斯拉夫·格里戈楚克（Rostislav I.Grigorchuk）。 （英语） Zbl 07756329号

施普林格数学专著.商会：施普林格出版社（ISBN 978-3-031-10390-2/hbk；978-3-031-10393-3/pbk；978-3-031-10391-9/ebook）。十七、627页。(2023).
MSC公司：37-02 20-02 00A07年 37B15号机组 68问题80 20层65 20立方米
PDF格式BibTeX公司 XML格式引用
\textit{T.Ceccherini-Silberstein}和\textit{M.Coornaert}，《细胞自动机和群体中的练习》。前言：罗斯蒂斯拉夫·格里戈楚克（Rostislav I.Grigorchuk）。查姆：施普林格（2023；Zbl 07756329）
全文： 内政部

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。 （英语） Zbl 1530.68008号

纽约州纽约市：计算机协会（ACM）（ISBN 979-8-4007-0033-0）。xi，30篇文章，未连续页码（2023年）。
MSC公司：68-06 93-06 65年第68季度 60年第68季度 93立方 00B25型
PDF格式BibTeX公司 XML格式引用
第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9-12日。纽约州纽约市：计算机协会（ACM）（2023；Zbl 1530.68008）
全文： 内政部
巴纳·萨哈（编辑）;罗科·A·塞韦迪奥。（编辑）

2023年6月20日至23日，美国佛罗里达州奥兰多，STOC’23，第55届ACM SIGACT计算理论年会论文集。 （英语） Zbl 1523.68013号

纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-9913-5）。第二十三期，1926页。(2023).
MSC公司：68-06 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{B.Saha}（编辑）和\textit{R.A.Servedio}（编），第55届ACM SIGACT计算理论研讨会论文集，STOC'23，美国佛罗里达州奥兰多，2023年6月20-23日。纽约州纽约市：计算机协会（ACM）（2023；Zbl 1523.68013）
全文： 内政部
阿明·科贾·奥格伦（编辑）;托拜厄斯·弗里德里希（编辑）;康，美贤（编辑）;康斯坦蒂诺斯州帕纳焦托（编辑）

随机图：组合学、复杂网络和无序系统。2023年3月26日至31日举行的研讨会摘要。 （英语） Zbl 1525.00014号

Oberwolfach代表。 第1期，第20期，第883-914页（2023年）.
MSC公司：00亿05 00B25型 05-06 05C80号 05C82号 05C85号 60对20 60立方厘米 60K35型 87年第68季度 82至XX
PDF格式BibTeX公司 XML格式引用
\textit{A.Coja-Oghlan}（编辑）等人，Oberwolfach Rep.20，No.1，883--914（2023；Zbl 1525.00014）
全文： 内政部
兹索尔特加兹达格（编辑）;萨博尔茨·伊凡（编辑）;格格利·科瓦什奈（编辑）

2023年9月5日至7日，匈牙利埃格尔，AFL，第16届国际自动机和形式语言会议记录。 （英语） Zbl 1522.68029号

理论计算机科学电子论文集（EPTCS）386.滑铁卢：开放出版协会（OPA）。280页。，仅电子化、开放存取（2023年）。
MSC公司：68-06 65年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{Z.Gazdag}（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5-7日。滑铁卢：开放出版协会（OPA）（2023；Zbl 1522.68029）
全文： 内政部 arXiv公司 链接
克莱门·奥伯特（编辑）;Cinzia迪朱斯托（编辑）;西蒙·福勒（编辑）;拉里萨·萨芬娜（编辑）

第16届交互和并发体验研讨会会议记录，ICE 2023，葡萄牙里斯本，2023年6月19日。 （英语） Zbl 1522.68014号

理论计算机科学电子论文集（EPTCS）383.滑铁卢：开放出版协会（OPA）。90页。，仅电子化、开放存取（2023年）。
MSC公司：68-06 68问题85 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}（ed.）等人，第16届交互和并发体验研讨会论文集，ICE 2023，葡萄牙里斯本，2023年6月19日。滑铁卢：开放出版协会（OPA）（2023；Zbl 1522.68014）
全文： 内政部 arXiv公司 链接
克莱门斯，抓斗手（编辑）

2022年8月1日，以色列海法Technion，第十二届术语和图形计算国际研讨会论文集。 （英语） Zbl 1522.68031号

理论计算机科学电子论文集（EPTCS）377.滑铁卢：开放出版协会（OPA）。第84页。，仅电子化、开放存取（2023年）。
MSC公司：68-06 2012年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{C.Grabmayer}（编辑），《第十二届术语和图形计算国际研讨会论文集》，Technion，以色列海法，2022年8月1日。滑铁卢：开放出版协会（OPA）（2023；Zbl 1522.68031）
全文： 内政部 arXiv公司 链接
丹尼尔·南特斯·索布里尼奥（编辑）;帕斯卡·方丹（编辑）

第17届逻辑和语义框架应用国际研讨会会议记录，LSFA，巴西贝洛奥里藏特，2022年9月23日至24日。 （英语） Zbl 1522.68039号

理论计算机科学电子论文集（EPTCS）376.滑铁卢：开放出版协会（OPA）。99页。，仅电子化、开放存取（2023年）。
MSC公司：68-06 03-06 03B70号 68问题55 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{D.Nantes-Sobrinho}（编辑）和\textit{P.Fontaine}（编），第17届逻辑和语义框架应用国际研讨会论文集，LSFA，巴西贝洛奥里藏特，2022年9月23日至24日。滑铁卢：开放出版协会（OPA）（2023年；Zbl 1522.68039）
全文： 内政部 arXiv公司 链接
保罗·巴尔丹（编辑）;瓦莱里亚·德·佩瓦（编辑）

第十届计算机科学代数和余代数会议，CALCO 2023，印第安纳大学布卢明顿分校，美国，2023年6月19-21日。 （英语） Zbl 1522.68016号

LIPIcs–莱布尼茨国际信息学会议录270.瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）（ISBN 978-3-95977-287-7）。x、 24篇文章，非连续页面，仅电子版，开放存取（2023年）。
MSC公司：68-06 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}（编辑）和\textit{V.de Paiva}（编），第十届计算机科学中的代数和余代数会议，CALCO 2023，印第安纳大学布卢明顿分校，美国，2023年6月19-21日。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2023；Zbl 1522.68016）
全文： 内政部 链接
吉列尔莫·A·佩雷斯。（编辑）;Jean-François拉斯金（编辑）

第34届并发理论国际会议，CONCUR 2023，安特卫普，比利时，2023年9月18-23日。 （英语） Zbl 1522.68040号

LIPIcs–莱布尼茨国际信息学会议录279.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆宫（ISBN 978-3-95977-299-0）。ix，39篇文章，非连续页面，仅电子版，开放存取（2023年）。
MSC公司：68-06 68问题85 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{G.A.Pérez}（编辑）和\textit{J.-F.Raskin}（编），第34届并发理论国际会议，CONCUR 2023，比利时安特卫普，2023年9月18-23日。Wadern：达格斯图尔宫——莱布尼兹·泽特鲁姆·福尔·Informatik（2023；Zbl 1522.68040）
全文： 内政部 链接
亚历山大·阿提基斯（编辑）;弗洛里安·布鲁斯（编辑）;卢克·亨斯伯格（编辑）

第30届时间表征和推理国际研讨会，《时代》2023年，NCSR Demokritos，希腊雅典，2023年9月25-26日。 （英语） Zbl 1522.68013号

LIPIcs–莱布尼茨国际信息学会议录278.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆（ISBN 978-3-95977-298-3）。xiv，22篇文章，非连续页面，仅电子版，开放存取（2023年）。
MSC公司：68-06 03B44号 60年第68季度 68T27型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Artikis}（ed.）等人，第30届时间表征与推理国际研讨会，《时代》2023年，NCSR Demokritos，希腊雅典，2023年9月25-26日。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2023；Zbl 1522.68013）
全文： 内政部 链接
陈和林（编辑）;康斯坦丁·G·埃文斯。（编辑）

第29届DNA计算和分子编程国际会议，DNA 29，日本仙台东北大学，2023年9月11日至15日。 （英语） Zbl 1522.68023号

LIPIcs–莱布尼茨国际信息学会议录276.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆（ISBN 978-3-95977-297-6）。xiii，10篇文章，非连续页面，仅电子版，开放存取（2023年）。
MSC公司：68-06 2007年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{H.-L.Chen}（编辑）和textit{C.G.Evans}（编），第29届DNA计算和分子编程国际会议，DNA 29，日本仙台东北大学，2023年9月11-15日。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2023；Zbl 1522.68023）
全文： 内政部 链接
杰罗姆·勒鲁（编辑）;西尔万·伦巴第（编辑）;大卫·佩勒（编辑）

第48届计算机科学数学基础国际研讨会，MFCS 2023，法国波尔多，2023年8月28日至9月1日。 （英语） 兹比尔1520.68007

LIPIcs–莱布尼茨国际信息学会议录272.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆·福尔·Informatik（ISBN 978-3-95977-292-1）。第十七章，88页。，开放存取（2023年）。
MSC公司：68-06 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{J.Leroux}（ed.）等人，第48届计算机科学数学基础国际研讨会，MFCS 2023，法国波尔多，2023年8月28日至9月1日。Wadern：达格斯图尔宫——莱布尼兹·泽特鲁姆·福尔·Informatik（2023；Zbl 1520.68007）
全文： 内政部 链接
卡塔琳娜·蓬波（Catarina Pombo），纳拜斯（Nabais）

最新的科技生物技术：一种来自科学、艺术和哲学的方法。 （英语） 兹伯利07733177

Andrew Adamatzky（编辑），《非传统计算、艺术、哲学》。新加坡：世界科学。WSPC图书系列。未确认。计算。2, 557-571 (2023).
MSC公司：68季度xx 00轴
PDF格式BibTeX公司 XML格式引用
\textit{C.P.Nabais}，WSPC图书服务。未确认。计算。2557--571（2023年；Zbl 07733177）
全文： 内政部
萨特维克文卡特什;爱德华·布兰德;爱德华多·雷克·米兰达

利用生物技术作曲：使用多头绒泡菌-基于忆阻器。 （英语） Zbl 07733176号

Andrew Adamatzky（编辑），《非传统计算、艺术、哲学》。新加坡：世界科学。WSPC图书系列。未确认。计算。2, 535-555 (2023).
MSC公司：68季度xx 00轴
PDF格式BibTeX公司 XML格式引用
\textit｛S.Venkatesh｝等人，WSPC图书系列。未确认。计算。2535-555（2023年；Zbl 07733176）
全文： 内政部
尼基塔·萨佐诺夫。;伊波利特五世·马克洛夫。;叶卡捷琳娜·尼基蒂娜。;德米特里·洛巴诺夫。;纳塔利亚·阿拉托采娃。;德米特里·卡德罗夫。;米哈伊尔·彼得罗夫（Mikhail M.Petrov）。

野性自动化系统：原型制作。 （英语） Zbl 07733166号

Adamatzky，Andrew（编辑），《非传统计算、艺术、哲学》。新加坡：世界科学。WSPC图书系列。未确认。计算。2, 405-421 (2023).
MSC公司：68季度xx 00轴
PDF格式BibTeX公司 XML格式引用
\textit{N.M.Sazonov}等人，WSPC Book Ser。未确认。计算。2405--421（2023；Zbl 07733166）
全文： 内政部
海格·塔皮奥;克里斯汀·贝戈斯;克里斯滕森·谢尔（Christensen-Scheel，Boel）;斯蒂芬诺·尼切勒

艺术家通过生物艺术和非传统计算编码新的含义。 （英语） Zbl 07733164号

Andrew Adamatzky（编辑），《非传统计算、艺术、哲学》。新加坡：世界科学。WSPC图书系列。未确认。计算。2, 381-395 (2023).
MSC公司：68季度xx 00轴
PDF格式BibTeX公司 XML格式引用
\textit{H.Tapio}等人，WSPC Book Ser。未确认。计算。2、381--395（2023；Zbl 07733164）
全文： 内政部
约尔迪·瓦尔弗杜

错误的好处：将自然智能系统和人工智能系统的认知和认知不完整性联系在一起。 （英语） Zbl 07733159号

Andrew Adamatzky（编辑），《非传统计算、艺术、哲学》。新加坡：世界科学。WSPC图书系列。未确认。计算。2, 315-319 (2023).
MSC公司：68季度xx 00轴
PDF格式BibTeX公司 XML格式引用
\textit{J.Vallverdú}，WSPC Book Ser。未确认。计算。2315--319（2023；Zbl 07733159）
全文： 内政部
菲尔·艾尔斯

不规则网格上扩展的“蜂巢”规则细胞自动机动力学——以可视化目录的形式进行的初步研究。 （英语） Zbl 07733158号

Andrew Adamatzky（编辑），《非传统计算、艺术、哲学》。新加坡：世界科学。WSPC图书系列。未确认。计算。305-313（2023年）。
MSC公司：68季度xx 00轴
PDF格式BibTeX公司 XML格式引用
\textit{P.Ayres}，WSPC图书服务。未确认。计算。2305--313（2023；Zbl 07733158）
全文： 内政部
杰纳罗·J·马丁内斯。;安德鲁·阿达马茨基;马金·施罗德。

细胞自动机中的非传统计算艺术。 （英语） Zbl 07733157号

Adamatzky，Andrew（编辑），《非传统计算、艺术、哲学》。新加坡：世界科学。WSPC图书系列。未确认。计算。2, 291-303 (2023).
MSC公司：68季度xx 00轴
PDF格式BibTeX公司 XML格式引用
\textit{G.J.Martínez}等人，WSPC Book Ser。未确认。计算。2291-303（2023；Zbl 07733157）
全文： 内政部
道伊德·普尔齐齐纳;马钦·斯特泽莱基;吉西亚阿卜迪;卢鲁阿鲁哈比;卡佩拉·皮拉卡;科拉德·萨奇·奥斯基

通信、信息、能源和音乐。 （英语） Zbl 07733146号

Andrew Adamatzky（编辑），《非传统计算、艺术、哲学》。新加坡：世界科学。WSPC图书系列。未确认。计算。2, 85-125 (2023).
MSC公司：68季度xx 00轴
PDF格式BibTeX公司 XML格式引用
\textit{D.Przyczyna}等人，WSPC Book Ser。未确认。计算。2、85-125（2023年；Zbl 07733146）
全文： 内政部
奥尔加·科舍列娃;弗拉基克·克里诺维奇

在我们的宇宙中有没有大规模计算的痕迹。 （英语） Zbl 07733145号

Andrew Adamatzky（编辑），《非传统计算、艺术、哲学》。新加坡：世界科学。WSPC图书系列。未确认。计算。2, 79-83 (2023).
MSC公司：68季度xx 00轴
PDF格式BibTeX公司 XML格式引用
\textit{O.Kosheleva}和\textit{V.Kreinovich}，WSPC图书服务。未确认。计算。279--83（2023；Zbl 07733145）
全文： 内政部 链接
贾格德夫·辛格（编辑）;乔治·阿纳斯塔西奥。（编辑）;杜米特鲁·巴利亚努（编辑）;德文德拉·库马尔（编辑）

数学建模、应用分析和计算方面的进展。第五届会议记录，ICMMAAC 2022，印度斋浦尔JECRC大学，2022年8月4-6日。 （英语） Zbl 1522.00199号

网络与系统课程讲稿666.查姆：施普林格（ISBN 978-3-031-29958-2/pbk；978-3-331-29959-9/ebook）。viii，580页。(2023).
MSC公司：00B25型 00A71号 35-06 34-06 68问题80 03E72型
PDF格式BibTeX公司 XML格式引用
\textit｛J.Singh｝（编辑）等人，《数学建模、应用分析和计算的进展》。第五届会议记录，ICMMAAC 2022，印度斋浦尔JECRC大学，2022年8月4-6日。查姆：斯普林格（2023；Zbl 1522.00199）
全文： 内政部
罗尔夫·德雷克斯勒（编辑）;塞巴斯蒂安·胡恩（编辑）

高级布尔技术。2022年9月22日至23日，德国不来梅IWSBP第15届布尔问题国际研讨会论文集。 （英语） Zbl 1530.94004号

查姆：施普林格（ISBN 978-3-031-28915-6/hbk；978-3-0.31-28918-7/pbk；978-1-031-28916-3/电子书）。viii，172页。(2023).
MSC公司：94-06 68-06 2006年第68季度 94C11号机组 94D10号 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{R.Drechsler}（编辑）和\textit{S.Huhn}（编），高级布尔技术。2022年9月22日至23日，德国不来梅IWSBP第15届布尔问题国际研讨会论文集。查姆：施普林格（2023；Zbl 1530.94004）
全文： 内政部
康斯坦丁·埃纳（编辑）;阿卡什·拉尔（编辑）

计算机辅助验证。第35届国际会议，CAV 2023，法国巴黎，2023年7月17日至22日。诉讼程序。第三部分。 （英语） Zbl 1529.68047号

计算机科学课堂讲稿13966.查姆：施普林格（ISBN 978-3-031-37708-2/pbk；978-3-331-37709-9/ebook）。xvii，第502页。(2023).
MSC公司：68-06 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{C.Enea}（编辑）和\textit{A.Lal}（编），计算机辅助验证。第35届国际会议，CAV 2023，巴黎，法国，2023年7月17-22日。诉讼程序。第三部分商会：施普林格（2023年；Zbl 1529.68047）
全文： 内政部
康斯坦丁·埃纳（编辑）;阿卡什·拉尔（编辑）

计算机辅助验证。第35届国际会议，CAV 2023，法国巴黎，2023年7月17日至22日。诉讼程序。第一部分。 （英语） Zbl 1529.68046号

计算机科学课堂讲稿13964.查姆：施普林格（ISBN 978-3-031-37705-1/pbk；978-3-331-37706-8/电子书）。xxxi，488页。(2023).
MSC公司：68-06 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{C.Enea}（编辑）和\textit{A.Lal}（编），计算机辅助验证。第35届国际会议，CAV 2023，巴黎，法国，2023年7月17-22日。诉讼程序。第一部分查姆：施普林格（2023；Zbl 1529.68046）
全文： 内政部
玛丽贝尔·费尔南德斯（编辑）;克里斯托弗·波斯基特（Christopher M.Poskitt）。（编辑）

图形转换。2023年7月19日至20日在英国莱斯特举行的第16届国际会议，ICGT 2023，作为STAF 2023的一部分。诉讼程序。 （英语） Zbl 1528.68026号

计算机科学课堂讲稿13961.查姆：施普林格（ISBN 978-3-031-36708-3/pbk；978-3-331-36709-0/电子书）。x、 第303页。(2023).
MSC公司：68-06 2012年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Fernández}（编辑）和\textit{C.M.Poskitt}（主编），图形转换。2023年7月19日至20日在英国莱斯特举行的第16届国际会议，ICGT 2023，作为STAF 2023的一部分。诉讼程序。商会：施普林格（2023；兹比尔1528.68026）
全文： 内政部
马丁·库特里布（编辑）;乌韦·迈耶（编辑）

可逆计算。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。 （英语） 兹比尔1528.68031

计算机科学课堂讲稿13960.查姆：施普林格（ISBN 978-3-031-38099-0/pbk；978-3-0031-38100-3/电子书）。xii，第245页。(2023).
MSC公司：68-06 2009年第68季度 2010年第68季度 81页68 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}（编辑）和\textit{U.Meyer}（主编），可逆计算。第15届国际会议，RC 2023，德国基森，2023年7月18-19日。诉讼程序。查姆：斯普林格（2023；Zbl 1528.68031）
全文： 内政部
维吉尔·普雷沃斯托（编辑）;克里斯蒂娜·塞塞莱亚努（编辑）

测试和证明。第17届国际会议，TAP 2023，英国莱斯特，2023年7月18-19日。诉讼程序。 （英语） Zbl 1525.68002号

计算机科学课堂讲稿14066.查姆：施普林格（ISBN 978-3-031-38827-9/pbk；978-3-331-38828-6/ebook）。第二十二、187页。(2023).
MSC公司：68-06 60年第68季度 68伏15 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{V.Prevosto}（编辑）和\textit{C.Seceleanu}（主编），测试和证明。第17届国际会议，TAP 2023，英国莱斯特，2023年7月18-19日。诉讼程序。商会：施普林格（2023；兹比尔1525.68002）
全文： 内政部
吉安卢卡·德拉·维多瓦（编辑）;Besik Dundua（编辑）;斯泰芬·伦普（编辑）;弗罗林·马内亚（编辑）

逻辑和计算的统一。第19届欧洲可计算性会议，2023年7月24日至28日，格鲁吉亚巴统，CiE 2023。诉讼程序。 （英语） Zbl 1528.68022号

计算机科学课堂讲稿13967.查姆：施普林格（ISBN 978-3-031-36977-3/pbk；978-3-331-36978-0/电子书）。李，297页。(2023).
MSC公司：68-06 03B70号 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{G.Della Vedova}（编辑）等人，《逻辑与计算的统一》。第19届欧洲可计算性会议，2023年7月24日至28日，佐治亚州巴统市，CiE 2023。诉讼程序。商会：施普林格（2023；兹比尔1528.68022）
全文： 内政部
康斯坦丁·埃纳（编辑）;阿卡什·拉尔（编辑）

计算机辅助验证。第35届国际会议，CAV 2023，法国巴黎，2023年7月17日至22日。诉讼程序。第二部分。 （英语） Zbl 1528.68025号

计算机科学课堂讲稿13965.查姆：施普林格（ISBN 978-3-031-37702-0/pbk；978-3-331-37703-7/电子书）。十六、460页。(2023).
MSC公司：68-06 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{C.Enea}（编辑）和\textit{A.Lal}（编），计算机辅助验证。第35届国际会议，CAV 2023，巴黎，法国，2023年7月17-22日。诉讼程序。第二部分。查姆：斯普林格（2023；Zbl 1528.68025）
全文： 内政部
达妮埃拉·热那瓦（编辑）;贾科·卡里（编辑）

非常规计算和自然计算。第20届国际会议，UCNC 2023，美国佛罗里达州杰克逊维尔，2023年3月13日至17日。诉讼程序。 （英语） Zbl 1528.68028号

计算机科学课堂讲稿14003.查姆：施普林格（ISBN 978-3-031-34033-8/pbk；978-3-331-34034-5/电子书）。xxii，203页。(2023).
MSC公司：68-06 2007年第68季度 2009年第68季度 2010年第68季度 2012年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{D.Genova}（编辑）和textit{J.Kari}（主编），非传统计算和自然计算。第20届国际会议，UCNC 2023，美国佛罗里达州杰克逊维尔，2023年3月13日至17日。诉讼程序。查姆：斯普林格（2023；Zbl 1528.68028）
全文： 内政部
玛丽克·赫斯曼（编辑）;安托尼奥·拉瓦拉（编辑）

分布式对象、组件和系统的形式化技术。第43届IFIP WG 6.1国际会议，FORTE 2023，作为第18届分布式计算技术国际联合会议的一部分，于2023年6月19-23日在葡萄牙里斯本举行。诉讼程序。 （英语） Zbl 1528.68029号

计算机科学课堂讲稿13910.查姆：施普林格（ISBN 978-3-031-35354-3/pbk；978-3-331-35355-0/电子书）。xiv，225页。(2023).
MSC公司：68-06 64岁以下 68问题85 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Huisman}（编辑）和\textit{A.Ravara}（主编），分布式对象、组件和系统的形式化技术。第43届IFIP WG 6.1国际会议，FORTE 2023，作为第18届分布式计算技术国际联合会议的一部分，DisCoTec 2023，葡萄牙里斯本，2023年6月19-23日举行。诉讼程序。查姆：斯普林格（2023；Zbl 1528.68029）
全文： 内政部
米纳·马哈扬（编辑）;弗里德里希·斯利沃夫斯基（编辑）

第26届满意度测试理论与应用国际会议，SAT 2023，阿尔盖罗，意大利，2023年7月4日至8日。 （英语） Zbl 1517.68023号

LIPIcs–莱布尼茨国际信息学会议录271.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆宫（ISBN 978-3-95977-286-0）。xvii，30篇文章，非连续页面，仅电子版，开放存取（2023年）。
MSC公司：68-06 65年第68季度 68兰特 68T20型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Mahajan}（编辑）和\textit{F.Slivovsky}（编），第26届满意度测试理论和应用国际会议，SAT 2023，阿尔盖罗，意大利，2023年7月4-8日。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2023；Zbl 1517.68023）
全文： 内政部 链接
塔·希玛（Ta-Shma，Amnon）（编辑）

第38届计算复杂性会议，CCC 2023，英国沃里克，2023年7月17日至20日。 （英语） Zbl 1518.68017号

LIPIcs–莱布尼茨国际信息学会议录264.瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）（ISBN 978-3-95977-282-2）。xiv，36篇文章，非连续页面，仅电子版，开放存取（2023年）。
MSC公司：68-06 65年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Ta-Shma}（编辑），第38届计算复杂性会议，CCC 2023，英国沃里克，2023年7月17日至20日。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2023；Zbl 1518.68017）
全文： 内政部 链接
库沙·埃特萨米（编辑）;乌列尔·费格（编辑）;加布里埃尔，小狗（编辑）

第50届自动机、语言和编程国际学术讨论会，ICALP 2023，德国帕德博恩，2023年7月10日至14日。 （英语） Zbl 1518.68011号

LIPIcs–莱布尼茨国际信息学会议录261.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆宫（ISBN 978-3-95977-278-5）。xxxviii，137篇文章，非连续页面，仅电子版，开放存取（2023年）。
MSC公司：68-06 68新元 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{K.Etessami}（ed.）等人，第50届自动化、语言和编程国际研讨会，ICALP 2023，德国帕德博恩，2023年7月10日至14日。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2023；Zbl 1518.68011）
全文： 内政部 链接
马可·加博阿迪（编辑）;范·拉姆斯东克（Femke van Raamsdonk）（编辑）

第八届计算和推导正式结构国际会议，FSCD 2023，意大利罗马，2023年7月3日至6日。 （英语） Zbl 1518.68012号

LIPIcs–莱布尼茨国际信息学会议录260.瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）（ISBN 978-3-95977-277-8）。xvii，34篇文章，非连续页面，仅电子版，开放存取（2023年）。
MSC公司：68-06 03B70号 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Gaboardi}（ed.）和\textit{F.van Raamsdonk}（edi.），第八届计算和演绎形式结构国际会议，FSCD 2023，意大利罗马，2023年7月3-6日。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2023；Zbl 1518.68012）
全文： 内政部 链接
桑卡拉纳拉亚南，斯里拉姆（编辑）;娜塔莎·莎莉吉娜（编辑）

用于构建和分析系统的工具和算法。第29届国际会议TACAS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。第二部分。 （英语） Zbl 07710780号

计算机科学课堂讲稿13994.商会：施普林格出版社（ISBN 978-3-031-30819-2/pbk；978-3-031-30820-8/ebook）。第二十四、604页。(2023).
MSC公司：68-06 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{S.Sankaranarayanan}（编辑）和\textit{N.Sharygina}（编），系统构建和分析的工具和算法。第29届国际会议TACAS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。第二部分。查姆：施普林格（2023；Zbl 07710780）
全文： 内政部
桑卡拉纳拉亚南，斯里拉姆（编辑）;娜塔莎·莎莉吉娜（编辑）

用于构建和分析系统的工具和算法。第29届国际会议TACAS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。第一部分。 （英语） Zbl 1525.68003号

计算机科学课堂讲稿13993.商会：施普林格出版社（ISBN 978-3-031-30822-2/pbk；978-3-031-30823-9/ebook）。xxiii，708页。(2023).
MSC公司：68-06 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{S.Sankaranarayanan}（编辑）和\textit{N.Sharygina}（编），系统构建和分析的工具和算法。第29届国际会议TACAS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。第一部分查姆：施普林格（2023；Zbl 1525.68003）
全文： 内政部
奥尔纳·库普弗曼（编辑）;巴韦尔·索博辛斯基（编辑）

软件科学和计算结构基础。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。 （英语） 兹比尔1524.68006

计算机科学课堂讲稿13992.查姆：施普林格（ISBN 978-3-031-30828-4/pbk；978-3-331-30829-1/电子书）。xiv，562页。(2023).
MSC公司：68-06 68新元 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}（编辑）和\textit{P.Sobocinski}（编），软件科学和计算结构基础。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格（2023；Zbl 1524.68006）
全文： 内政部
路易斯·戈麦斯（编辑）;罗伯特·洛伦茨（编辑）

Petri网与并发的应用与理论。第44届国际会议，Petri NETS 2023，葡萄牙里斯本，2023年6月25-30日。诉讼程序。 （英语） Zbl 1524.68003号

计算机科学课堂讲稿13929.查姆：施普林格（ISBN 978-3-031-33619-5/pbk；978-3-331-33620-1/电子书）。xv，466页。(2023).
MSC公司：68-06 68问题85 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{L.Gomes}（编辑）和\textit{R.Lorenz}（主编），Petri网和并发的应用和理论。第44届国际会议，Petri NETS 2023，葡萄牙里斯本，2023年6月25-30日。诉讼程序。查姆：斯普林格（2023；Zbl 1524.68003）
全文： 内政部
法兰克·德雷维斯（编辑）;米哈伊尔·沃尔科夫（编辑）

语言理论的发展。第27届国际会议，DLT 2023，瑞典乌梅，2023年6月12-16日。诉讼程序。 （英语） Zbl 1524.68002号

计算机科学课堂讲稿13911.查姆：施普林格（ISBN 978-3-031-33263-0/pbk；978-3-331-33264-7/电子书）。第xx页，第259页。(2023).
MSC公司：68-06 65年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{F.Drewes}（编辑）和textit{M.Volkov}（主编），语言理论的发展。第27届国际会议，DLT 2023，瑞典乌梅，2023年6月12-16日。诉讼程序。查姆：斯普林格（2023；Zbl 1524.68002）
全文： 内政部
塞尔吉奥·拉杰斯鲍姆（编辑）;巴利乌，阿尔基达（编辑）;Joshua J.Daymude。（编辑）;丹尼斯·奥利维蒂（编辑）

结构信息和通信复杂性。第30届国际学术讨论会，SIROCCO 2023，阿尔卡德赫纳雷斯，西班牙，2023年6月6日至9日。诉讼程序。 （英语） Zbl 1528.68034号

计算机科学课堂讲稿13892.查姆：施普林格（ISBN 978-3-031-32732-2/pbk；978-3-331-32733-9/电子书）。xi，第596页。(2023).
MSC公司：68-06 68Mxx毫米 2011年第68季度 68兰特 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{S.Rajsbaum}（编辑）等人，《结构信息和通信复杂性》。第30届国际学术讨论会，SIROCCO 2023，阿尔卡德赫纳雷斯，西班牙，2023年6月6-9日。诉讼程序。查姆：斯普林格（2023；Zbl 1528.68034）
全文： 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件