亨宁费尔瑙（编辑）;塞尔盖·加斯佩斯（编辑）;拉尔夫·克拉辛（编辑） 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-662-68191-6/ebook）。十八、295页。（2024年）。MSC公司：68-06 第68季度85 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Koutny}（编辑）等，《Petri网和其他并发模型事务》十七。柏林：施普林格（2024；Zbl 07815713） 全文： 内政部
何塞·索托。（编辑）;安德烈亚斯·威斯（编辑） 拉丁语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-031-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） 全文： 内政部
最好的，艾克;雷蒙德·魔鬼队 Petri网引物。核心模型、分析和综合概要。 （英语） Zbl 07815669号 计算机科学基础与应用逻辑查姆：Birkhä用户（ISBN 978-3-031-48277-9/hbk；978-3-331-48280-9/pbk；978-10-31-48278-6/电子书）。xiii，545页。（2024年）。MSC公司：68-01 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}和\textit{R.Devillers}，Petri网引物。核心模型、分析和综合概要。查姆：Birkhäuser（2024；Zbl 07815669） 全文： 内政部
蔡志平（编辑）;肖明宇（编辑）;张佳琳（编辑） 理论计算机科学。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 6800万 68季度xx 68泰克 68瓦25 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Cai}（编辑）等，《理论计算机科学》。第41届全国会议，NCTCS 2023，中国广州，2023年7月21-23日。修订了选定的论文。新加坡：Springer（2024；Zbl 07806641） 全文： 内政部
安德烈亚斯·威切特 量子人工智能与Qiskit。 （英语） Zbl 07799241号 佛罗里达州博卡拉顿：CRC出版社（ISBN 978-1-032-44897-8/hbk；978-1-032.44898-5/pbk；978-1-003-37440-4/电子书）。（2024年）。MSC公司：68-01 81-01 2012年第68季度 68泰克 81页68 PDF格式BibTeX公司 XML格式 全文： 内政部
马可·T·莫拉赞。 基于编程的形式语言和自动机理论。设计、实施、验证和证明。 （英语） 兹伯利07786059 计算机科学课文查姆：施普林格（ISBN 978-3-031-43972-8/hbk；978-3-331-43975-9/pbk；978-1-031-43973-5/电子书）。第二十三章，第524页。（2024年）。MSC公司：68-01 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.T.Morazán}，基于编程的形式语言和自动机理论。设计、实施、验证和证明。查姆：施普林格（2024；Zbl 07786059） 全文： 内政部
比约恩Kjos-Hanssen 自动复杂性。不规则性的可计算度量。 （英语） Zbl 07762368号 逻辑中的德格鲁伊特级数及其应用12.柏林：De Gruyter（ISBN 978-3-11-077481-8/hbk；978-3-11-10-77487-0/电子书）。（2024年）。MSC公司：68-01 68季度xx PDF格式BibTeX公司 XML格式 全文： 内政部
克里斯蒂安·卡鲁德。 停下，或不停下。这就是问题所在。 （英语） Zbl 07502836号 新加坡：世界科学（ISBN 978-981-12-3227-5/hbk）。250页。（2024年）。MSC公司：68-01 03-01 03日第10天 04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.S.Calude}，停止或不停止。这就是问题所在。新加坡：世界科学（2024；Zbl 07502836） 全文： 内政部
珀保罗·马图拉诺 量子计算。开发人员指南（即将出现）。 （英语） Zbl 07204916号 De Gruyter教科书柏林：De Gruyter/Oldenbourg（ISBN 978-3-11-063675-8/pbk；978-3-11-10-63679-6/电子书）。xx，200页。（2024年）。MSC公司：68-01 81-01 2009年第68季度 2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{P.Marturano}，量子计算。开发人员指南（即将出现）。柏林：De Gruyter/Oldenbourg（2024；Zbl 07204916）
马里奥·塞格迪;伊兰·纽曼;特洛伊·李 查询复杂性（待显示）。 （英语） Zbl 07177078号 新加坡：世界科学（ISBN 978-981-322-320-2/hbk）。200页。（2024年）。MSC公司：68-02 68第05页 第68季度25 68卢比 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{M.Szegedy}等人，《查询复杂性》（即将出现）。新加坡：世界科学（2024；Zbl 07177078） 全文： 内政部
铃木、靖国（编辑）;Masami Hagiya（编辑） 自然计算的最新进展。IWNC第九届研讨会的精选结果（待公布）。 （英语） Zbl 06416159号 工业数学21.东京：Springer（ISBN 978-4-431-55464-6/hbk；978-4-331-55465-3/电子书）。150页。（2024年）。MSC公司：68-06 99年第68季度 92-06 92B05型 92-04 PDF格式BibTeX公司 XML格式引用 \textit{Y.Suzuki}（编辑）和textit{M.Hagiya}（主编），自然计算的最新进展。IWNC第九届研讨会的精选结果（待公布）。东京：施普林格（2024；Zbl 06416159）
埃蒂安·安德烈（编辑）;孙骏（编辑） 用于验证和分析的自动化技术。第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}（主编），代数开发技术的最新趋势。第26届IFIP工作组1.3国际研讨会，WADT 2022，Aveiro，葡萄牙，2022年6月28日至30日。修订了选定的论文。查姆：施普林格（2023；Zbl 07825997） 全文： 内政部
安德烈亚·马里诺;席尔瓦，安娜 时间图中的路径和连通性。第34届巴西数学座谈会迷你课程教材——34°Colóquio Brasileiro de Matemática，IMPA，里约热内卢，巴西，Juli 2023。 （英语） Zbl 07823897号 Publicaçes Matemáticas do IMPA公共管理局里约热内卢：国家医学院（IMPA）（ISBN 978-85-244-0541-9/印刷版；978-85-244-0536-5/电子书）。第64页。，开放访问（2023）。MSC公司：05-02 05C99年 05C40号 05C38号 68兰特 2017年第68季度 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Marino}和\textit{A.Silva}，时序图中的路径和连通性。第34届巴西数学学术讨论会迷你课程教材——巴西马提马提卡34度学院，巴西里约热内卢国际数学协会，2023年7月。里约热内卢：国家马提马提卡研究所（IMPA）（2023；Zbl 07823897） 全文： 链接
Alireza Mahzoon;丹尼尔·格罗;罗尔夫·德雷克斯勒 结构复杂乘数的形式验证。 （英语） 兹伯利07819811 新加坡：Springer（ISBN 978-3-031-24570-1/hbk；978-3-051-24573-2/pbk；988-3-031-204571-8/电子书）。xiii，130页。(2023).MSC公司：68-02 2007年7月68日 2006年第68季度 60年第68季度 68瓦30 68瓦35 PDF格式BibTeX公司 XML格式引用 \textit{A.Mahzoon}等人，结构复杂乘数的形式验证。新加坡：Springer（2023；Zbl 07819811） 全文： 内政部
Jochen Schmidt 计算机科学基础课程——练习本。163项任务和解决方案。第3版。（Grundkurs Informatik–Dasübungsbuch.163 Aufgaben mit Lösungen） （德语） Zbl 07804623号 威斯巴登：Springer Vieweg（ISBN 978-3-658-43442-7/pbk；978-3-558-43443-4/电子书）。vii，206页。(2023).MSC公司：68-01 68页 68季度xx 68瑞克斯 PDF格式BibTeX公司 XML格式引用 \textit{J.Schmidt}，Grundkurs Informatik--Dasübungsbuch（格兰德库斯信息科技公司）。163 Aufgaben mit Lösungen学校。第三版。威斯巴登：斯普林格·维埃格（2023；Zbl 07804623） 全文： 内政部
图利奥·塞切里尼·西尔伯斯坦;米歇尔·库尔纳特 细胞自动机和组。第二版。 （英语） Zbl 07802895号 施普林格数学专著.商会：施普林格出版社（ISBN 978-3-031-43327-6/hbk；978-3-031-43330-6/pbk；978-3-031-43328-3/ebook）。第22页，第556页。(2023).MSC公司：37-02 20-02 68-02 37B15号机组 68问题80 20层65 20立方米 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Ceccherini-Silberstein}和\textit{M.Coornaert}，细胞自动机和组。第二版。查姆：施普林格（2023；Zbl 07802895） 全文： 内政部
亚历山大·梅杜纳;托马斯·科泽尔 自动化。理论、趋势和应用。 （英语） Zbl 07801310号 新加坡：世界科学（ISBN 978-981-12-7812-9/hbk）。(2023).MSC公司：68-01 65年第68季度 PDF格式BibTeX公司 XML格式 全文： 内政部
朱克纳，斯塔西斯 热带电路的复杂性。纯动态编程的局限性。 （英语） Zbl 07785212号 Springer数学简介查姆：施普林格（ISBN 978-3-031-42353-6/pbk；978-3-331-42354-3/电子书）。九、129页。(2023).MSC公司：68-02 2006年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Jukna}，热带电路复杂性。纯动态编程的局限性。查姆：施普林格（2023；Zbl 07785212） 全文： 内政部
哈维尔·埃斯帕尔扎;迈克尔·布隆丁 自动机理论。算法方法。 （英语） Zbl 07770922号 马萨诸塞州剑桥：麻省理工学院出版社（ISBN 978-0-262-04863-7/hbk；978-0-2262-37693-8/电子书）。xii，532页。，开放访问（2023）。 审核人：Ioan Tomescu（布库雷什蒂） MSC公司：68-02 68-01 68第05页 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}和\textit{M.Blondin}，自动机理论。算法方法。马萨诸塞州剑桥：麻省理工学院出版社（2023；Zbl 07770922） 全文： 链接
亨宁费尔瑙（编辑）;克劳斯·扬森（编辑） 计算理论基础。第24届国际研讨会，FCT 2023，德国特里尔，2023年9月18-21日。诉讼程序。 （英语） Zbl 07768599号 计算机科学讲义14292.查姆：施普林格（ISBN 978-3-031-43586-7/pbk；978-3-331-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日。诉讼程序。 （英语） 兹伯利07768597 计算机科学讲义14287.查姆：施普林格（ISBN 978-3-031-43834-9/pbk；978-3-331-43835-6/电子书）。xiii，第364页。(2023).MSC公司：68-06 6800万 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-331-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-331-42250-8/电子书）。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日。诉讼程序。 （英语） 兹伯利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） 全文： 内政部
玛莎·施尼伯 近似函数的多项式形式验证。 （英语） Zbl 07761099号 最佳大师威斯巴登：Springer Vieweg；不来梅：不来梅大学（硕士论文）（ISBN 978-3-658-41887-8/pbk；978-3-558-41888-5/电子书）。x、 79页。(2023).MSC公司：68-02 2006年第68季度 第68季度25 60年第68季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit｛M.Schnieber｝，近似函数的多项式形式验证。威斯巴登：斯普林格·维埃格；不来梅：不来梅大学（硕士论文）（2023；Zbl 07761099） 全文： 内政部
达斯科·巴甫洛维奇 程序作为图表。从类别可计算性到可计算类别。 （英语） Zbl 07761082号 可计算性理论与应用查姆：施普林格（ISBN 978-3-031-34826-6/hbk；978-3-331-34829-7/pbk；979-3-031-34.827-3/ebook）。xvii，第252页。(2023).MSC公司：68-01 18-01 18立方米 68号30 第68季度01 PDF格式BibTeX公司 XML格式引用 \textit{D.Pavlovic}，程序作为图表。从分类可计算性到可计算类别。查姆：施普林格（2023；Zbl 07761082） 全文： 内政部 arXiv公司
法比奥·贝纳蒂 量子系统中的动力学、信息和复杂性。第二版。 （英语） Zbl 07756419号 理论和数学物理（查姆）查姆：施普林格（ISBN 978-3-031-34247-9/hbk；978-3-0.31-34250-9/pbk；978-1-031-34248-6/电子书）。xiv，第618页。(2023).MSC公司：81-02 82-02 81页68 2005年第81季度 68问题30 37A35型 94甲17 94A40型 46升60 81S25美元 68页30 第81页，共15页 94A24型 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Benatti}，量子系统中的动力学、信息和复杂性。第二版。查姆：施普林格（2023；Zbl 07756419） 全文： 内政部
图利奥·塞切里尼·西尔伯斯坦;米歇尔·库尔纳特 [罗斯蒂斯拉夫·格里戈楚克。] 细胞自动机和小组练习。前言：罗斯蒂斯拉夫·格里戈楚克（Rostislav I.Grigorchuk）。 （英语） Zbl 07756329号 施普林格数学专著查姆：施普林格（ISBN 978-3-031-10390-2/hbk；978-3-0.31-10393-3/pbk；988-3-031-10391-9/电子书）。十七、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 07754282号 纽约州纽约市：计算机协会（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 07754282） 全文： 内政部
巴纳·萨哈（编辑）;塞尔维迪奥，罗科·A。（编辑） 2023年6月20日至23日，美国佛罗里达州奥兰多，STOC’23，第55届ACM SIGACT计算理论年会论文集。 （英语） Zbl 1523.68013号 纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-9913-5）。1926年第xxiii页。(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） 全文： 内政部
兹索尔特加兹达格（编辑）;萨博尔茨·伊凡（编辑）;格格利·科瓦什奈（编辑） 第16届自动机和形式语言国际会议论文集，AFL，匈牙利埃格尔，2023年9月5日至7日。 （英语） 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公司 链接
克莱门·奥伯特（编辑）;辛齐亚·迪·朱斯托（编辑）;西蒙·福勒（编辑）;拉里萨·萨芬娜（编辑） 第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公司 链接
大卫·帕斯托雷洛 量子机器学习简明指南。 （英语） Zbl 07750341号 机器学习：基础、方法和应用新加坡：Springer（ISBN 978-981-19689-6-9/hbk；978-981-9689-9-0/pbk；988-981-119689-7-6/电子书）。x、 138页。(2023). 审核人：Irina Ioana Mohorianu（牛津大学） MSC公司：68-01 2012年第68季度 68T05型 68吨10 81页68 PDF格式BibTeX公司 XML格式引用 \textit{D.Pastorello}，量子机器学习简明指南。新加坡：施普林格（2023；Zbl 07750341） 全文： 内政部
福斯，劳伦特（编辑） 数学信息学。2023年拍摄。（Informatique mathematique.Une photoye en 2023） （法语） 兹比尔1522.68027 CNRS阿尔法巴黎：CNRS数据库（ISBN 978-2-271-14930-5/pbk）。第258页。(2023).MSC公司：68-06 68季度xx 68瑞克斯 68单位05 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{L.Fuchs}（编辑），信息数学。2023年拍摄。巴黎：CNRSÉditions（2023年；兹bl 1522.68027）
保罗·巴尔丹（编辑）;瓦莱里亚·德·佩瓦（编辑） 第十届计算机科学代数和余代数会议，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日。 （英语） Zbl 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） 全文： 内政部 链接
贾格德夫·辛格（编辑）;乔治·A·阿纳斯塔西奥。（编辑）;杜米特鲁·巴利亚努（编辑）;德文德拉·库马尔（编辑） 数学建模、应用分析和计算方面的进展。第五届会议记录，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 07728586号 商会：施普林格出版社（ISBN 978-3-031-28915-6/hbk；978-3-031-28918-7/pbk；978-3-031-28916-3/ebook）。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 07728586） 全文： 内政部
康斯坦丁·埃纳（编辑）;阿卡什·拉尔（编辑） 计算机辅助验证。第35届国际会议，CAV 2023，法国巴黎，2023年7月17日至22日。诉讼程序。第三部分。 （英语） Zbl 1529.68047号 计算机科学讲义13966.查姆：施普林格（ISBN 978-3-031-37708-2/pbk；978-3-331-37709-9/ebook）。十七、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；Zbl 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；Zbl 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；Zbl 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） 全文： 内政部
马里克，Huisman（编辑）;安托尼奥·拉瓦拉（编辑） 分布式对象、组件和系统的形式化技术。第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届分布式计算技术国际联合会议的一部分，于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 第68季度25 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 第68季度25 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） 全文： 内政部 链接
沃尔夫冈·施莱纳 具体抽象。使用RISCAL模型检查器对离散理论和算法进行形式化和分析。 （英语） Zbl 1515.68009号 符号计算中的文本和专题查姆：施普林格（ISBN 978-3-031-24933-4/hbk；978-3-0.31-24936-5/pbk；978-1-3031-24944-1/电子书）。xii，第271页。(2023).MSC公司：68-01 68页第10页 60年第68季度 68瑞克斯 68V20型 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{W.Schreiner}，具体抽象。使用RISCAL模型检查器对离散理论和算法进行形式化和分析。查姆：斯普林格（2023；Zbl 1515.68009） 全文： 内政部
桑卡拉纳拉亚南，斯里拉姆（编辑）;娜塔莎·莎莉吉娜（编辑） 用于构建和分析系统的工具和算法。第29届国际会议TACAS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。第二部分。 （英语） Zbl 07710780号 计算机科学讲义13994.查姆：施普林格（ISBN 978-3-031-30819-2/pbk；978-3-331-30820-8/电子书）。第二十四、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-331-30823-9/电子书）。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日在法国巴黎举行。诉讼程序。 （英语） Zbl 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年；兹比尔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年；兹比尔1524.68002） 全文： 内政部
塞尔吉奥·拉杰斯鲍姆（编辑）;巴利乌，阿尔基达（编辑）;约书亚·戴穆德。（编辑）;丹尼斯·奥利韦蒂（编辑） 结构信息和通信复杂性。第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 6800万 2011年第68季度 68兰特 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Rajsbaum}（编辑）等人，《结构信息和通信复杂性》。第30届国际学术讨论会，SIROCCO 2023，阿尔卡德赫纳雷斯，西班牙，2023年6月6-9日。诉讼程序。查姆：斯普林格（2023；Zbl 1528.68034） 全文： 内政部
乔治亚娜·卡尔泰斯（编辑）;克里斯蒂安·席林（编辑） 模型检查软件。第29届国际研讨会，2023年4月26日至27日，法国巴黎，SPIN 2023。诉讼程序。 （英语） Zbl 1522.68021号 计算机科学讲义13872.查姆：施普林格（ISBN 978-3-031-32156-6/pbk；978-3-331-32157-3/电子书）。x、 第199页。(2023).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Caltais}（编辑）和\textit{C.Schilling}（主编），模型检查软件。第29届国际研讨会，SPIN 2023，巴黎，法国，2023年4月26-27日。诉讼程序。查姆：施普林格（2023；Zbl 1522.68021） 全文： 内政部
佩德罗·洛佩兹·加西亚（编辑）;约翰·加拉赫（John P.Gallagher）。（编辑）;罗伯托·贾科巴齐（编辑） 声明式编程和智能系统的分析、验证和转换。在曼努埃尔·赫尔梅内吉尔多60岁生日之际，为他撰写的论文。 （英语） Zbl 1517.68022号 计算机科学讲义13160.查姆：施普林格（ISBN 978-3-031-31475-9/pbk；978-3-331-31476-6/电子书）。xiv，第351页。(2023).MSC公司：68-06 68新元 68季度xx 68泰克 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{P.Lopez-Garcia}（ed.）等人，声明式编程和智能系统的分析、验证和转换。在曼努埃尔·赫尔梅内吉尔多60岁生日之际，为他撰写的论文。查姆：施普林格（2023；Zbl 1517.68022） 全文： 内政部
海宁·博迪恩（编辑）;尼古拉斯·特兰（编辑）;György的Vaszil（编辑） 形式系统的描述复杂性。第25届IFIP工作组1.02国际会议，DCFS 2023，波茨坦，德国，2023年7月4-6日。诉讼程序。 （英语） Zbl 1517.68005号 计算机科学讲义13918.查姆：施普林格（ISBN 978-3-031-34325-4/pbk；978-3-331-34326-1/电子书）。十六、197页。(2023).MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛H.Bordihn｝（编辑）等人，《形式系统的描述复杂性》。第25届IFIP工作组1.02国际会议，DCFS 2023，波茨坦，德国，2023年7月4-6日。诉讼程序。查姆：施普林格（2023；Zbl 1517.68005） 全文： 内政部
Dan A.Simovici。 用于数据挖掘的线性代数工具。第二版。 （英语） Zbl 1515.15005号 新加坡：世界科学（ISBN 978-981-12-7033-8/hbk；978-981-12-7035-2/电子书）。xvi，985页。(2023).MSC公司：15-01 68-01 15轴 68泰克 68季度xx 68瓦xx PDF格式BibTeX公司 XML格式引用 \textit{D.A.Simovici}，数据挖掘的线性代数工具。第二版。新加坡：世界科学（2023；Zbl 1515.15005） 全文： 内政部
马来人库马尔·达斯;普拉迪普塔·帕尼格拉希。 热力系统的设计和分析。 （英语） Zbl 07702325号 佛罗里达州博卡拉顿：CRC出版社（ISBN 978-0-367-50254-6/hbk；978-0-365-50326-0/pbk；978-1-003-04927-2/电子书）。xv，407页。(2023). 审核人：阿兰·布里拉德（里迪塞姆） MSC公司：80-02 76-02 65-02 68T05型 第68季度32 80-04 76-04 PDF格式BibTeX公司 XML格式引用 \textit{M.Kumar Das}和\textit{P.K.Panigrahi}，热系统的设计和分析。佛罗里达州博卡拉顿：CRC出版社（2023；Zbl 07702325） 全文： 内政部
拉吉夫·潘迪（编辑）;尼迪·斯利瓦斯塔瓦（编辑）;尼拉杰·库马尔·辛格（编辑）;迦腻色迦Tyagi（编辑） 量子计算：从比特到量子比特的转换。 （英语） Zbl 1515.81022号 计算智能研究1085.新加坡：Springer（ISBN 978-981-19-9529-3/hbk；978-981-9-9532-3/pbk；988-981-19-19-9530-9/电子书）。xxi，479页。(2023).MSC公司：81-06 68-06 2012年第68季度 81页68 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.Pandey}（编辑）等人，《量子计算：从比特到量子比特的转变》。新加坡：Springer（2023；Zbl 1515.81022） 全文： 内政部
罗兰·格里克（编辑）;路易吉·桑托卡纳莱（编辑）;温特，迈克尔（编辑） 计算机科学中的关系和代数方法。第20届国际会议，RAMiCS 2023，德国奥格斯堡，2023年4月3-6日。诉讼程序。 （英语） 兹比尔1517.68016 计算机科学讲义13896.查姆：施普林格（ISBN 978-3-031-28082-5/pbk；978-3-331-28083-2/电子书）。十八、293页。(2023).MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Glück}（ed.）等人，《计算机科学中的关系和代数方法》。第20届国际会议，RAMiCS 2023，德国奥格斯堡，2023年4月3-6日。诉讼程序。查姆：施普林格（2023；Zbl 1517.68016） 全文： 内政部
Chechik，玛莎（编辑）;Joost-Pieter卡托恩（编辑）;马丁·勒克（编辑） 形式化方法。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。 （英语） Zbl 1517.68007号 计算机科学讲义14000.查姆：施普林格（ISBN 978-3-031-27480-0/pbk；978-3-331-27481-7/电子书）。十六、659页。(2023).MSC公司：68-06 68新元 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Chechik}（编辑）等，《形式方法》。第25届国际研讨会，FM 2023，吕贝克，德国，2023年3月6日至10日。诉讼程序。商会：施普林格（2023年；兹比尔1517.68007） 全文： 内政部
文森佐·阿塞里（编辑）;阿戈斯蒂诺·科尔特斯（编辑）;皮埃特罗·费拉拉（编辑）;马蒂娜·奥利亚罗（编辑） 软件验证的挑战。2022年5月20日，意大利威尼斯CSV第一次研讨会的贡献。 （英语） Zbl 1515.68022号 智能系统参考库238.新加坡：Springer（ISBN 978-981-19-9600-9/hbk；978-981-9-9603-0/pbk；978-19-9601-6/ebook）。xv，264页。(2023).MSC公司：68-06 68新元 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛V.Arceri｝（编辑）等人，软件验证的挑战。2022年5月20日，意大利威尼斯CSV第一次研讨会的贡献。新加坡：Springer（2023；Zbl 1515.68022） 全文： 内政部
诺姆·格林伯格（编辑）;桑杰·贾恩（编辑）;Ng，Keng Meng女士（编辑）;斯文·舍韦（编辑）;弗兰克·斯蒂芬（编辑）;吴国华（编辑）;杨，岳（编辑） 计算和自动机理论及其应用方面。 （英语） Zbl 07687311号 新加坡国立大学数学科学研究所讲座笔记系列42。新加坡：世界科学（ISBN 978-981-12-7862-4/hbk；978-981-12-7864-8/电子书）。(2023).MSC公司：03-06 68-06 03年月日 68季度xx 00B15号机组 PDF格式BibTeX公司 XML格式 全文： 内政部
穆罕默德·阿提夫;Jan Friso，格鲁特 了解使用mCRL2的分布式系统的行为。 （英语） Zbl 1516.68001号 系统、决策和控制研究458.查姆：施普林格出版社（ISBN 978-3-031-23007-3/hbk；978-3-331-23010-3/pbk；978-1-3031-23008-0/电子书）。第十五卷，235页。(2023).MSC公司：68-01 64岁以下 60年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{M.Atif}和\textit{J.F.Groote}，理解使用mCRL2的分布式系统的行为。查姆：斯普林格（2023；Zbl 1516.68001） 全文： 内政部
丹妮拉·卡尔维蒂;埃尔基·萨默萨洛 贝叶斯科学计算。 （英语） Zbl 07672371号 应用数学科学215.查姆：施普林格（ISBN 978-3-031-23823-9/hbk；978-3-331-23826-0/pbk；978-1-3031-23924-6/电子书）。十七、286页。(2023).MSC公司：65-01 62-01 第68季度01 65C20个 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvetti}和\textit{E.Somersalo}，贝叶斯科学计算。查姆：施普林格（2023；Zbl 07672371） 全文： 内政部
郑志勇;田坤;刘凤霞 现代密码学。第2卷。对信息和数学原理的经典介绍。 （英语） Zbl 1520.94001号 金融数学与金融科技新加坡：Springer（ISBN 978-981-19-7643-8/hbk；978-981-9-7646-9/pbk；988-981-19-19-7644-5/电子书）。xi，191页。，开放访问（2023）。 审核人：雅克·海诺（塔林） MSC公司：94-01 94A60型 94A62型 94A24型 94甲17 94甲15 第68季度25 94B99型 14G50型 PDF格式BibTeX公司 XML格式引用 \textit｛Z.Zheng｝等人，《现代密码学》。第2卷。对信息和数学原理的经典介绍。新加坡：Springer（2023；Zbl 1520.94001） 全文： 内政部
拉尔夫·霍尔斯坦 优化方法。介绍经典、自然类比和神经优化。（Optimierungsmethoden.Einführung in die klassischen，naturalogen und neuronalen Optimieungen.） （德语） 兹伯利07670614 威斯巴登：Springer Vieweg（ISBN 978-3-658-39854-5/pbk；978-3-558-39855-2/电子书）。第二十二、408页。(2023). 审核人：格哈德·威勒姆·韦伯（波兹南和安卡拉）和吉纳尔·帕里赫（艾哈迈达巴德） MSC公司：90-01 68-01 90立方厘米27 90C05（二氧化碳） 90C29型 90 C59 第68季度25 68瓦50 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{R.Hollstein}，Optimierungsmethoden。Einführung in die klassischen，naturalugen und neuronalen Optimierungen的研究。威斯巴登：施普林格电影节（2023年；Zbl 07670614） 全文： 内政部
库尔迪普·辛格·卡斯旺;贾吉特·辛格·达特沃尔;阿努帕姆巴利扬;沙利·拉尼 量子计算。一个新的计算时代。 （英语） Zbl 07669083号 新泽西州皮斯卡塔韦：IEEE出版社；新泽西州霍博肯：John Wiley&Sons（ISBN 978-1-394-15781-5/hbk；978-1-394-15784-6/电子书）。十七、312页。(2023). 审核人：亚历山大·尤里维奇·弗拉索夫（桑克-佩特堡） MSC公司：68-01 81-01 2009年第68季度 2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{K.Singh Kaswan}等人，《量子计算》。一个新的计算时代。新泽西州皮斯卡塔韦：IEEE出版社；新泽西州霍博肯：约翰·威利父子公司（2023；Zbl 07669083） 全文： 内政部
贝拉勒·埃桑·巴基;梁全奎 量子计算机。理论和算法。 （英语） Zbl 1521.68002号 查姆：施普林格（ISBN 978-981-19-7516-5/hbk；978-981-9-7519-6/pbk；988-981-19-19-7517-2/电子书）。十六、297页。(2023).MSC公司：68-01 81-01 2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit｛B.E.Baaquie｝和\textit｛L.-C.Kwek｝，量子计算机。理论和算法。查姆：斯普林格（2023；Zbl 1521.68002） 全文： 内政部
佩特拉·贝伦布里克（编辑）;帕特里夏·鲍耶（编辑）;阿努吉·达瓦尔（编辑）;马马杜·穆斯塔法·坎特（编辑） 第40届计算机科学理论方面国际研讨会，2023年3月7日至9日，德国汉堡，STACS 2023。 （英语） Zbl 1507.68023号 LIPIcs–莱布尼茨国际信息学会议录254.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆（ISBN 978-3-95977-266-2）。xxi，55篇文章，非连续页面，仅电子版，开放获取（2023）。MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Berenbrink}（ed.）等人，第40届计算机科学理论方面国际研讨会，STACS 2023，德国汉堡，2023年3月7-9日。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2023；Zbl 1507.68023） 全文： 内政部 链接
Yael Tauman卡莱（编辑） 第14届理论计算机科学创新会议，ITCS 2023，2023年1月10日至13日，美国马萨诸塞州剑桥市麻省理工学院。 （英语） Zbl 1507.68037号 LIPIcs–莱布尼茨国际信息学会议录251.瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）（ISBN 978-3-95977-263-1）。xxi，102篇文章，非连续页面，仅电子版，开放存取（2023年）。MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{Y.T.Kalai}（编辑），《理论计算机科学会议的第14次创新》，ITCS 20232023年1月10日至13日，美国马萨诸塞州剑桥市麻省理工学院。Wadern:Schloss Dagstuhl--Leibniz Zentrum für Informatik（2023；Zbl 1507.68037） 全文： 内政部 链接
达纳·理查兹;汉堡，亨利 计算机科学的逻辑和语言模型。第3版。 （英语） Zbl 07662225号 新加坡：世界科学（ISBN 978-981-12-6066-7/hbk；978-981-12-6068-1/电子书）。(2023).MSC公司：68-01 03-01 03B70号 68N17号 2005年第68季度 2012年第68季度 65年第68季度 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式 全文： 内政部
Cezara德拉戈伊（编辑）;迈克尔·埃米（编辑）;王晶波（编辑） 验证、模型检查和抽象解释。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。 （英语） Zbl 1517.68010号 计算机科学讲义13881.商会：施普林格出版社（ISBN 978-3-031-24949-5/pbk；978-3-031-24950-1/ebook）。x、 第389页。(2023).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Dragoi}（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：施普林格（2023；Zbl 1517.68010） 全文： 内政部
帕特里克·博斯克;马克·古约马尔;劳伦特·米克莱特 算法设计。方法论方法。150个问题和详细的解决方案。翻译自法语。 （英语） Zbl 07653154号 佛罗里达州博卡拉顿：CRC出版社（ISBN 978-1-032-36941-9/hbk；978-1-032.36939-6/pbk；978-1-003-3459-0/电子书）。xii，807页。(2023). 审核人：穆罕默德·法尔希（亚兹德） MSC公司：68-01 00A07年 第68季度25 68瓦xx PDF格式BibTeX公司 XML格式引用 \textit{P.Bosc}等人，算法设计。方法论方法。150个问题和详细的解决方案。翻译自法语。佛罗里达州博卡拉顿：CRC出版社（2023；Zbl 07653154） 全文： 内政部
彼得·科格（Peter M.Kogge）。 异国计算的禅宗。 （英语） Zbl 1520.68002号 应用数学的其他标题184.宾夕法尼亚州费城：工业和应用数学学会（SIAM）（ISBN 978-1-61197-728-8/pbk）。xxxi，386页。(2023). 审核人：弗拉基克·雅。克雷诺维奇（埃尔帕索） MSC公司：68-01 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.M.Kogge}，奇异计算的禅宗。宾夕法尼亚州费城：工业和应用数学学会（SIAM）（2023；Zbl 1520.68002）
菲利普·莫拉克;达米安·尼文斯基;沃伊切赫·莱特 200关于语言、自动机和计算的问题。 （英语） Zbl 1509.68002号 剑桥：剑桥大学出版社（ISBN 978-1-00-907378-3/pbk；978-1-316-51346-0/hbk；978-1-00-907263-2/ebook）。x、 256页。(2023).MSC公司：68-01 00A07年 04年第68季度 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Murlak}等人，《语言、自动机和计算的200个问题》。剑桥：剑桥大学出版社（2023；Zbl 1509.68002） 全文： 内政部
陈，胡比 可计算性和复杂性。 （英语） Zbl 07646019号 马萨诸塞州剑桥：麻省理工学院出版社（ISBN 978-0-262-04862-0/hbk）。(2023).MSC公司：68-01 68季度xx PDF格式BibTeX公司 XML格式
帕拉维·维杰·查万;亚什什·贾达夫 自动机理论和形式语言。 （英语） Zbl 07639970号 阿姆斯特丹：爱思唯尔/学术出版社（ISBN 978-0-323-91784-1/pbk；978-0-313-97217-8/电子书）。xxii，209页。(2023). 审核人：安德烈亚斯·马莱蒂（莱比锡） MSC公司：68-01 04年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.V.Chavan}和\textit{A.Jadhav}，自动机理论和形式语言。阿姆斯特丹：爱思唯尔/学术出版社（2023；Zbl 07639970）
莱泽克·Gąsieniec（编辑） SOFSEM 2023：计算机科学的理论与实践。第48届计算机科学理论与实践当前趋势国际会议，SOFSEM 2023，斯洛伐克斯莫科维奇，2023年1月15日至18日。诉讼程序。 （英语） Zbl 1517.68014号 计算机科学讲义13878.查姆：施普林格（ISBN 978-3-031-23100-1/pbk；978-3-0031-23101-8/电子书）。xi，第402页。(2023).MSC公司：68-06 68季度xx 68瑞克斯 68泰克 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Gąsieniec}（编辑），SOFSEM 2023：计算机科学的理论与实践。第48届计算机科学理论与实践当前趋势国际会议，SOFSEM 2023年11月，斯洛伐克斯莫科维奇，2023年1月15-18日。诉讼程序。查姆：施普林格（2023；Zbl 1517.68014） 全文： 内政部
杜定珠（编辑）;杜冬蕾（编辑）;吴晨晨（编辑）;徐大川（编辑） 计算模型的理论和应用。第17届年会，TAMC 2022，中国天津，2022年9月16日至18日。诉讼程序。 （英语） Zbl 1516.68012号 计算机科学讲义13571.商会：施普林格出版社（ISBN 978-3-031-20349-7/pbk；978-3-031-20350-3/ebook）。xiii，416页。(2023).MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.-Z.Du}（编辑）等人，计算模型的理论和应用。第17届年会，TAMC 2022，中国天津，2022年9月16-18日。诉讼程序。查姆：斯普林格（2023；Zbl 1516.68012） 全文： 内政部
贾格德夫·辛格（编辑）;乔治·A·阿纳斯塔西奥。（编辑）;杜米特鲁·巴利亚努（编辑）;卡洛·卡塔尼（编辑）;德文德拉·库马尔（编辑） 数学建模、应用分析和计算方面的进展。第四届会议记录，2021年8月5日至7日，印度斋浦尔JECRC大学，ICMMAAC 2021。 （英语） Zbl 1522.00198号 网络与系统课程讲稿415.新加坡：Springer（ISBN 978-981-19-0178-2/pbk；978-981-19-0179-9/电子书）。xxiii，626页。(2023).MSC公司：00B25型 00A71号 35-06 34-06 68问题80 03E72型 PDF格式BibTeX公司 XML格式引用 \textit{J.Singh}（编辑）等人，《数学建模、应用分析和计算的进展》。第四届会议记录，ICMMAAC 2021，JECRC大学，印度斋浦尔，2021年8月5-7日。新加坡：Springer（2023；Zbl 1522.00198） 全文： 内政部
斯蒂芬·塞莱斯尼克。 类Quantum网络。通过数学和逻辑研究神经行为的方法。 （英语） Zbl 1519.81161号 新加坡：世界科学（ISBN 978-981-12-6069-8/hbk；978-981-12-6071-1/电子书）。第二十六、327页。(2023).MSC公司：81页68 2012年第68季度 68T07型 92B20型 00A79号 81-01 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Selesnick}，Quantum-like网络。通过数学和逻辑研究神经行为的方法。新加坡：世界科学（2023；Zbl 1519.81161） 全文： 内政部
王勇 真正并发的代数理论。 （英语） 兹伯利07569576 阿姆斯特丹：爱思唯尔/学术出版社（ISBN 978-0-443-18912-8/pbk；978-0-433-18913-5/电子书）。viii，第219页。(2023).MSC公司：68-02 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang}，真正并发的代数理论。阿姆斯特丹：爱思唯尔/学术出版社（2023；Zbl 07569576） 全文： 内政部
安德鲁·阿达马茨基（编辑） 非传统计算、艺术、哲学。 （英语） Zbl 1504.68006号 非常规计算WSPC丛书2.新加坡：世界科学（ISBN 978-981-12-5714-8/hbk；978-981-52-5716-2/电子书）。xiii，583页。(2023).MSC公司：68-06 00轴 68季度xx 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Adamatzky}（编辑），非传统计算，艺术，哲学。新加坡：世界科学（2023；Zbl 1504.68006） 全文： 内政部
乔治·查普林 量子力学和贝叶斯机器。 （英语） Zbl 1519.81150号 新加坡：世界科学（ISBN 978-981-323-246-4/hbk；978-981-3 23-248-8/电子书）。xiv，179页。(2023).MSC公司：81页68 第68季度32 68T07型 68吨10 62C10个 81页第45页 第81页，共16页 81-02 PDF格式BibTeX公司 XML格式引用 \textit{G.Chapline}，量子力学和贝叶斯机器。新加坡：世界科学（2023；Zbl 1519.81150） 全文： 内政部