亨宁费尔瑙(编辑);塞尔盖·加斯佩斯(编辑);拉尔夫·克拉辛(编辑) 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) 全文: 内政部