保罗·亚历山大·比洛肯 Python、数据科学和机器学习。从无到有,从小到大。 (英语) Zbl 07291789号 新加坡:世界科学(ISBN 978-981-12-1572-8/hbk)。300页。(2025).MSC公司:68-01 62-01 68甲15 68T05型 68T09号 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Bilokon},Python,数据科学和机器学习。从零开始到生产力(看起来)。新加坡:世界科学(2025;Zbl 07291789) 全文: 内政部
雷娜·迪米特洛娃(编辑);奥里·拉哈夫(编辑);塞巴斯蒂安·沃尔夫(编辑) 验证、模型检查和抽象解释。第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) 全文: 内政部
朱加尔·加格(编辑);马克斯·科利姆(编辑);孔玉清(编辑) 网络和互联网经济。第19届国际会议,WINE 2023,中国上海,2023年12月4-8日。诉讼程序。 (英语) Zbl 07831413号 计算机科学课堂讲稿14413。查姆:施普林格(ISBN 978-3-031-48973-0/pbk;978-3-331-48974-7/电子书)。xvi,第717页。(2024).MSC公司:91-06 68-06 68英里11 91A80型 91B26型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Garg}(编辑)等人,《网络与互联网经济学》。第19届国际会议,WINE 2023,中国上海,2023年12月4-8日。诉讼程序。查姆:施普林格(2024;Zbl 07831413) 全文: 内政部
霍尔格·赫尔曼斯(编辑);孙骏(编辑);卜、雷(编辑) 可靠的软件工程。理论、工具和应用。第九届国际研讨会,SETTA 2023,中国南京,2023年11月27日至29日。诉讼程序。 (英语) Zbl 07831399号 计算机科学课堂讲稿14464。新加坡:Springer(ISBN 978-981-9986-63-7/pbk;978-981-9986-64-4/电子书)。xiii,第436页。(2024).MSC公司:68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Hermanns}(编辑)等人,《可靠软件工程》,理论、工具和应用。第九届国际研讨会,SETTA 2023,中国南京,2023年11月27-29日。诉讼程序。新加坡:施普林格(2024;Zbl 07831399) 全文: 内政部
吴伟丽(编辑);铜广墨(编辑) 计算和组合。第29届国际会议,COCOON 2023,夏威夷,HI,美国,2023年12月15-17日。诉讼程序。第二部分。 (英语) Zbl 07831376号 计算机科学课堂讲稿14423。查姆:施普林格(ISBN 978-3-031-49192-4/pbk;978-3-0031-49193-1/电子书)。十七、419页。(2024).MSC公司:68-06 68卢比 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{W.Wu}(主编)和\textit{G.Tong}(编辑),计算与组合学。第29届国际会议,COCOON 2023,夏威夷,HI,美国,2023年12月15-17日。诉讼程序。第二部分。查姆:施普林格(2024;Zbl 07831376) 全文: 内政部
吴伟丽(编辑);汤光墨(编辑) 计算和组合。第29届国际会议,COCOON 2023,夏威夷,HI,美国,2023年12月15-17日。诉讼程序。第一部分。 (英语) Zbl 07831375号 计算机科学课堂讲稿14422。查姆:施普林格(ISBN 978-3-031-49189-4/pbk;978-3-331-49190-0/电子书)。十七、413页。(2024).MSC公司:68-06 68卢比 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{W.Wu}(主编)和\textit{G.Tong}(编辑),计算与组合学。第29届国际会议,COCOON 2023,夏威夷,HI,美国,2023年12月15-17日。诉讼程序。第一部分查姆:施普林格(2024;Zbl 07831375) 全文: 内政部
哈尼尔·巴博萨(编辑);尤尼·佐哈尔(编辑) 形式化方法:基础和应用。第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) 全文: 内政部
保拉·赫伯(编辑);安东·威伊斯(编辑) 综合正式方法。第18届国际会议,IFM 2023,荷兰莱顿,2023年11月13日至15日。诉讼程序。 (英语) Zbl 07831340号 计算机科学课堂讲稿14300。查姆:施普林格(ISBN 978-3-031-47704-1/pbk;978-3-331-47705-8/电子书)。xix,400页。(2024).MSC公司:68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Herber}(编辑)和\textit{A.Wijs}(主编),集成形式化方法。第18届国际会议,IFM 2023,荷兰莱顿,2023年11月13-15日。诉讼程序。查姆:施普林格(2024;Zbl 07831340) 全文: 内政部
扎伊德·布劳伊(编辑);斯尔詹·维西奇(编辑) 不确定性推理的符号和定量方法。第17届欧洲会议,ECSQARU 2023,法国阿拉斯,2023年9月19-22日。诉讼程序。 (英语) Zbl 07831338号 计算机科学讲义14294。人工智能课堂讲稿。查姆:施普林格(ISBN 978-3-031-45607-7/pbk;978-3-331-45608-4/ebook)。xx,第476页。(2024).MSC公司:68-06 68层37 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Bouraoui}(编辑)和textit{S.Vesic}(主编),不确定性推理的符号和定量方法。第17届欧洲会议,ECSQARU 2023,法国阿拉斯,2023年9月19-22日。诉讼程序。查姆:施普林格(2024;Zbl 07831338) 全文: 内政部
克里斯蒂娜·波普(编辑);莱杰拉·巴蒂纳(编辑) 应用密码学和网络安全。第22届国际会议,ACNS 2024,阿拉伯联合酋长国阿布扎比,2024年3月5日至8日。诉讼程序。第三部分。 (英语) Zbl 07830609号 计算机科学课堂讲稿14585。查姆:施普林格(ISBN 978-3-031-54775-1/pbk;978-3-0031-54776-8/电子书)。第二十二、463页。(2024).MSC公司:2006年4月 68-06 68平方米25 94A60型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Pöpper}(编辑)和\textit{L.Batina}(主编),应用密码学和网络安全。第22届国际会议,ACNS 2024,阿拉伯联合酋长国阿布扎比,2024年3月5-8日。诉讼程序。第三部分查姆:施普林格(2024;Zbl 07830609) 全文: 内政部
克里斯蒂娜·波普(编辑);莱杰拉·巴蒂纳(编辑) 应用密码学和网络安全。第22届国际会议,ACNS 2024,阿拉伯联合酋长国阿布扎比,2024年3月5日至8日。诉讼程序。第二部分。 (英语) Zbl 07830608号 计算机科学课堂讲稿14584。查姆:施普林格(ISBN 978-3-031-54772-0/pbk;978-3-0031-54773-7/电子书)。xxiii,509页。(2024).MSC公司:2006年4月 68-06 68平方米25 94A60型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Pöpper}(编辑)和\textit{L.Batina}(主编),应用密码学和网络安全。第22届国际会议,ACNS 2024,阿拉伯联合酋长国阿布扎比,2024年3月5-8日。诉讼程序。第二部分。查姆:施普林格(2024;Zbl 07830608) 全文: 内政部
上原、琉璃(编辑);Katsuhisa山中(编辑);Yen、Hsu-Chun(编辑) WALCOM:算法和计算。2024年3月18日至20日,在日本金泽举行的第18届算法和计算国际会议和研讨会,WALCOM 2024。诉讼程序。 (英语) Zbl 07830606号 计算机科学课堂讲稿14549。新加坡:Springer(ISBN 978-981-970565-8/pbk;978-981-970566-5/电子书)。xiii,438页。(2024).MSC公司:68-06 68瓦xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Uehara}(编辑)等,WALCOM:算法和计算。第18届算法和计算国际会议和研讨会,WALCOM 2024,日本金泽,2024年3月18-20日。诉讼程序。新加坡:施普林格(2024;Zbl 07830606) 全文: 内政部
亨宁费尔瑙(编辑);塞尔盖·加斯佩斯(编辑);拉尔夫·克拉辛(编辑) 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) 全文: 内政部
大卫·W·席尔瓦。(编辑);Hitzer,埃克哈德(编辑);迪特马尔·希尔登布兰德(编辑) 几何代数的高级计算应用。第一届国际会议,ICACGA 2022,丹佛,科罗拉多州,美国,2022年10月2-5日。诉讼程序。 (英语) Zbl 07825958号 计算机科学课堂讲稿13771.商会:施普林格出版社(ISBN 978-3-031-34030-7/pbk;978-3-031-34031-4/ebook)。xxxix,236页。(2024).MSC公司:68-06 15-06 15A67型 68瓦30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.W.Silva}(ed.)等人,几何代数的高级计算应用。第一届国际会议,ICACGA 2022,丹佛,科罗拉多州,美国,2022年10月2-5日。诉讼程序。商会:施普林格(2024;Zbl 07825958) 全文: 内政部
罗萨里奥托斯卡诺 用启发式卡尔曼算法求解优化问题。新的随机方法。 (英语) Zbl 07819852号 弹簧优化及其应用212.查姆:施普林格(ISBN 978-3-031-52458-5/hbk;978-3-331-52461-5/pbk;978-1-031-52459-2/电子书)。(2024).MSC公司:93-02 93E20型 93B35型 68T05型 93-04 PDF格式BibTeX公司 XML格式 全文: 内政部
弗雷德里克·霍夫曼(编辑);莎拉·霍利迪(编辑);Zvi罗森(编辑);法哈德·沙赫罗基(编辑);约翰·维尔曼(编辑) 组合数学、图论和计算。第52届东南国际会议记录,SEICCGTC 2021,虚拟,美国佛罗里达州博卡拉顿,2021年3月8日至12日(待发布)。 (英语) Zbl 07819841号 施普林格数学与统计学论文集448.新加坡:施普林格出版社(ISBN 978-3-031-52968-9/hbk;978-3-331-52971-9/pbk;978-1-031-52969-6/电子书)。十八、490页。(2024).MSC公司:05-06 05Cxx号 68-06 68兰特 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Hoffman}(编辑)等,组合数学,图论和计算。第52届东南国际会议记录,SEICCGTC 2021,虚拟,美国佛罗里达州博卡拉顿,2021年3月8日至12日(待发布)。新加坡:Springer(2024;Zbl 07819841)
丹尼尔·阿尔佩 应用数学练习。着眼于信息理论、机器学习、小波和统计物理(即将出现)。 (英语) Zbl 07819822号 查普曼数学笔记。查姆:施普林格(ISBN 978-3-031-51821-8/hbk;978-3-331-51824-9/pbk;978-1-031-51822-5/ebook)。(2024).MSC公司:00A69号 00-01号 00A06号 00A07年 42-01 68-01 82-01 94-01 PDF格式BibTeX公司 XML格式
Szkatuła,格拉伊纳;马西耶·克劳扎克 标称集的双向比较。接近不对称。 (英语) Zbl 07819815号 计算智能研究1140.新加坡:Springer(ISBN 978-3-031-53095-1/hbk;978-3-331-53098-2/pbk;978-1-3031-530.96-8/电子书)。十七、206页。(2024).MSC公司:68-02 03电子72 03E75型 68T01型 PDF格式BibTeX公司 XML格式引用 \textit{G.Szkatuła}和\textit{M.Krawczak},名词集合的双向比较。接近不对称。新加坡:施普林格(2024;Zbl 07819815) 全文: 内政部
霍奇内·切里菲(编辑);路易斯·罗查(Luis M.Rocha)。(编辑);香塔尔·切里菲(编辑);穆拉特·顿杜兰(编辑) 复杂网络及其应用XII。第十二届复杂网络及其应用国际会议记录:complex networks 2023。第1卷。 (英语) Zbl 07819804号 计算智能研究1141.查姆:施普林格出版社(ISBN 978-3-031-53467-6/hbk;978-3-331-53470-6/pbk;978-1-031-53468-3/电子书)。第二十二、466页。(2024).MSC公司:68-06 05-06 91-06 92-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Cherifi}(编辑)等,《复杂网络及其应用》第十二卷。第十二届复杂网络及其应用国际会议记录:complex networks 2023。第1卷。查姆:施普林格(2024;Zbl 07819804) 全文: 内政部
坦莫·哈兹拉;库沙尔·安贾里亚;阿迪蒂·巴杰帕伊;阿克沙拉·库马里 博弈论在深度学习中的应用。 (英语) Zbl 07819800号 Springer计算机科学简介.商会:施普林格出版社(ISBN 978-3-031-54652-5/pbk;978-3-031-54653-2/ebook)。xii,84页。(2024).MSC公司:91年1月 68-01 91A10号 91A12号机组 68T07型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{T.Hazra}等人,博弈论在深度学习中的应用。查姆:施普林格(2024;Zbl 07819800) 全文: 内政部
马西耶·库特尼(编辑);罗宾·伯根图姆(编辑);吉安弗兰科·西亚多(编辑) 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) 全文: 内政部
苏布拉曼尼亚姆·卡利亚纳桑达拉姆(编辑);阿尼尔·马赫什瓦里(编辑) 算法和离散应用数学。第十届国际会议,CALDAM 2024,印度比莱,2024年2月15日至17日。诉讼程序。 (英语) Zbl 07815710号 计算机科学课堂讲稿14508.查姆:施普林格(ISBN 978-3-031-52212-3/pbk;978-3-331-52213-0/电子书)。第二十二章,330页。(2024).MSC公司:68-06 68兰特 68单位05 68瓦xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kalyanasundaram}(编辑)和\textit{A.Maheshwari}(编辑),算法和离散应用数学。第十届国际会议,CALDAM 2024,印度比莱,2024年2月15-17日。诉讼程序。查姆:施普林格(2024;Zbl 07815710) 全文: 内政部
克里斯蒂娜·波普(编辑);莱杰拉·巴蒂纳(编辑) 应用密码学和网络安全。第22届国际会议,ACNS 2024,阿拉伯联合酋长国阿布扎比,2024年3月5日至8日。诉讼程序。第一部分。 (英语) 兹伯利07815699 计算机科学课堂讲稿14583.查姆:施普林格(ISBN 978-3-031-54769-0/pbk;978-3-331-54770-6/电子书)。xxviii,489页。(2024).MSC公司:2006年4月 68-06 68平方米25 94A60型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Pöpper}(编辑)和\textit{L.Batina}(主编),应用密码学和网络安全。第22届国际会议,ACNS 2024,阿拉伯联合酋长国阿布扎比,2024年3月5-8日。诉讼程序。第一部分查姆:施普林格(2024;Zbl 07815699) 全文: 内政部
何塞·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) 全文: 内政部
Seo,Hwajeong先生(编辑);金·苏赫里(编辑) 信息安全和密码学——ICISC 2023。第26届信息安全和密码学国际会议,ICISC 2023,韩国首尔,2023年11月29日至12月1日。修订了选定的论文。第二部分。 (英语) Zbl 07815696号 计算机科学课堂讲稿14562.新加坡:Springer(ISBN 978-981-971237-3/pbk;978-981-971238-0/ebook)。xiv,308页。(2024).MSC公司:68-06 2006年4月 68平方米25 68第25页 94A60型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Seo}(编辑)和\textit{S.Kim}(主编),信息安全和密码学——ICISC 2023。第26届信息安全和密码学国际会议,ICISC 2023,韩国首尔,2023年11月29日至12月1日。修订了选定的论文。第二部分。新加坡:Springer(2024;Zbl 07815696) 全文: 内政部
Seo,Hwajeong先生(编辑);金·苏赫里(编辑) 信息安全和密码学——ICISC 2023。第26届信息安全和密码学国际会议,ICISC 2023,韩国首尔,2023年11月29日至12月1日。修订了选定的论文。第一部分。 (英语) Zbl 07815695号 计算机科学课堂讲稿14561.新加坡:Springer(ISBN 978-981-971234-2/pbk;978-981-971235-9/电子书)。xiv,326页。(2024).MSC公司:68-06 2006年4月 68平方米25 68第25页 94A60型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Seo}(编辑)和\textit{S.Kim}(主编),信息安全和密码学——ICISC 2023。第26届信息安全和密码学国际会议,ICISC 2023,韩国首尔,2023年11月29日至12月1日。修订了选定的论文。第一部分新加坡:施普林格(2024;Zbl 07815695) 全文: 内政部
霍奇内·切里菲(编辑);罗萨里奥·努齐奥·曼特格纳(编辑);路易斯·罗查(Luis M.Rocha)。(编辑);香塔尔·切里菲(编辑);萨尔瓦多米奇奇(编辑) 复杂网络及其应用XI。第十一届国际会议论文集,复杂网络2022。第1卷。 (英语) Zbl 07815679号 计算智能研究1077.查姆:施普林格(ISBN 978-3-031-21126-3/hbk;978-3-331-21129-4/pbk)。(2024).MSC公司:68-06 90-06 91-06 92-06 00B25型 PDF格式BibTeX公司 XML格式 全文: 内政部
阿娜·佩雷拉。(编辑);阿曼多·门德斯(编辑);弗罗贝拉·费尔南德斯。(编辑);玛丽亚·帕切科。(编辑);乔安·科埃略。(编辑);何塞·利马(编辑) 优化、学习算法和应用。第三届国际会议,OL2A 2023,葡萄牙德尔加达,2023年9月27日至29日。修订了选定的论文。第二部分。 (英语) Zbl 07815674号 计算机与信息科学中的通信1982.查姆:施普林格出版社(ISBN 978-3-031-53035-7/pbk;978-3-331-53036-4/电子书)。xix,第385页。(2024).MSC公司:90-06 68-06 90 C59 68T05型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.I.Pereira}(编辑)等人,《优化、学习算法和应用》。第三届国际会议,OL2A 2023,葡萄牙德尔加达,2023年9月27日至29日。修订了选定的论文。第二部分。查姆:施普林格(2024;Zbl 07815674) 全文: 内政部
阿娜·佩雷拉。(编辑);阿曼多·门德斯(编辑);弗罗贝拉·费尔南德斯。(编辑);玛丽亚·帕切科。(编辑);乔安·科埃略。(编辑);何塞·利马(编辑) 优化、学习算法和应用。第三届国际会议,OL2A 2023,葡萄牙德尔加达,2023年9月27日至29日。修订了选定的论文。第一部分。 (英语) Zbl 07815673号 计算机与信息科学中的通信1981.查姆:施普林格(ISBN 978-3-031-53024-1/pbk)。(2024).MSC公司:90-06 68-06 90 C59 68T05型 00B25型 PDF格式BibTeX公司 XML格式 全文: 内政部
亚尼斯·哈拉兰博斯 自然语言处理课程。 (英语) Zbl 07815671号 查姆:施普林格(ISBN 978-3-031-27225-7/hbk;978-3-0.31-27228-8/pbk;978-1-031-27226-4/电子书)。十七、454页。(2024).MSC公司:68-01 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Haralambous},自然语言处理课程。查姆:施普林格(2024;Zbl 07815671) 全文: 内政部
最好的,艾克;雷蒙德·魔鬼队 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) 全文: 内政部
杰弗里·费斯勒。;拉杰·拉奥·纳达库迪蒂 用于数据科学、机器学习和信号处理的线性代数(即将出现)。 (英语) Zbl 07813852号 剑桥:剑桥大学出版社(ISBN 978-1-00-941814-0/hbk)。(2024).MSC公司:68-01 15-01 68次发射 PDF格式BibTeX公司 XML格式
约阿希姆·莫维茨。;阿诺·古德米特。 形态的运动。 (英语) Zbl 07813616号 视觉、错觉和感知6。查姆:施普林格(ISBN 978-3-031-44820-1/hbk;978-3-331-44823-2/pbk;988-3-031-144821-8/电子书)。(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式 全文: 内政部
史蒂芬·温克勒(编辑);莱昂纳多·特鲁希略(编辑);查尔斯·奥弗里亚(编辑);胡婷(编辑) 遗传编程理论与实践XX。研讨会记录,GPTP,美国密歇根州东兰辛,2023年6月。 (英语) 兹伯利07813236 遗传和进化计算新加坡:Springer(ISBN 978-981-99-8412-1/hbk;978-981-99-8415-2/pbk;988-981-996-8413-8/电子书)。(2024).MSC公司:68-06 68T05型 68T20型 68瓦50 90 C59 00B25型 PDF格式BibTeX公司 XML格式 全文: 内政部
雷扎尔·乔杜里(编辑);Pissis,Solon P。(编辑) 2024年1月7日至8日,第26届算法工程与实验研讨会(ALENEX’24)与SODA’24一起在美国弗吉尼亚州亚历山大市举行。 (英语) Zbl 1530.68016号 宾夕法尼亚州费城:工业和应用数学学会(SIAM)(ISBN 978-1-61197-792-9)。v、 第233页。,仅电子版(2024年)。MSC公司:68-06 68瓦xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Chowdhury}(ed.)和\textit{S.P.Pissis}(edi.),第26届算法工程与实验研讨会论文集,ALENEX’24,与SODA’24一起在美国弗吉尼亚州亚历山大市举行,2024年1月7日至8日。宾夕法尼亚州费城:工业和应用数学学会(SIAM)(2024;Zbl 1530.68016) 全文: 内政部
伍德拉夫(David P.Woodruff)。(编辑) 第35届ACM-SIAM离散算法年度研讨会论文集,SODA 2024,弗吉尼亚州亚历山大市,2024年1月7日至10日。 (英语) Zbl 1530.68046号 宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)(ISBN 978-1-61197-791-2/电子书)。xx,5360页。,仅电子版(2024年)。MSC公司:68-06 68瓦xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Woodruff}(编辑),第35届ACM-SIAM离散算法年度研讨会论文集,SODA 2024,弗吉尼亚州亚历山大市,2024年1月7日至10日。宾夕法尼亚州费城:工业和应用数学学会(SIAM);纽约州纽约市:计算机协会(ACM)(2024;Zbl 1530.68046) 全文: 内政部
蔡志平(编辑);肖明宇(编辑);张佳琳(编辑) 理论计算机科学。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) 全文: 内政部
王俊义;傅军 时变时滞马尔可夫复杂神经网络的同步控制。 (英语) Zbl 07806315号 系统、决策和控制研究514.查姆:施普林格出版社(ISBN 978-3-031-47834-5/hbk;978-3-331-47837-6/pbk;978-1-031-47835-2/电子书)。viii,159页。(2024).MSC公司:93-02 93E15型 93磅70 93立方厘米 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{J.Wang}和\textit{J.Fu},具有时变延迟的马尔可夫复杂神经网络的同步控制。查姆:施普林格(2024;Zbl 07806315) 全文: 内政部
科内霍,M.尤金尼亚(编辑);Kóczy,LászlóT。(编辑);杰苏斯·麦地那(编辑);埃洛萨·拉米雷斯·波萨(编辑) 用于处理复杂问题的计算智能和数学5。 (英语) Zbl 07806297号 计算智能研究1127.查姆:施普林格出版社(ISBN 978-3-031-46978-7/hbk;978-3-331-46981-7/pbk;979-3-031-4979-4/电子书)。x、 147页。(2024).MSC公司:68-06 68次发射 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Cornejo}(ed.)等人,《解决复杂问题的计算智能和数学》5。查姆:施普林格(2024;Zbl 07806297) 全文: 内政部
斯科特·克里格 计算机视觉指标。计算机视觉、视觉神经科学和视觉人工智能的调查、分类和分析(即将发布)。第二版。 (英语) Zbl 07801014号 新加坡:Springer(ISBN 978-981-9933-92-1/hbk;978-981-9933-95-2/pbk;988-981-9963-93-8/电子书)。xxvi,761页。(2024).MSC公司:68-01 68T45型 PDF格式BibTeX公司 XML格式引用 \textit{S.Krig},计算机视觉度量。计算机视觉、视觉神经科学和视觉人工智能的调查、分类和分析(即将发布)。第二版。新加坡:施普林格(2024;Zbl 07801014)
乔治·布塔佐 硬实时计算系统。可预测的调度算法和应用程序。第4版。 (英语) Zbl 07801012号 查姆:施普林格(ISBN 978-3-031-45409-7/hbk;978-3-0031-45412-7/pbk;978-1-031-45410-3/ebook)。十七、492页。(2024).MSC公司:68-01 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{G.Buttazzo},硬实时计算系统。可预测的调度算法和应用程序。第4版。查姆:施普林格(2024;Zbl 07801012) 全文: 内政部
安娜·布雷格 数学图像处理的基本知识。在理论和应用之间。(《数学基础》,Zwischen Theory und Anwendung(即将出版)。) (德语) Zbl 07800916号 要素柏林:施普林格演讲(ISBN 978-3-662-68283-8/pbk;978-3-622-68284-5/电子书)。viii,52页。(2024).MSC公司:68-01 68平方英寸10 PDF格式BibTeX公司 XML格式引用 \textit{A.Breger},《数学基础》Bildbearbeitung。茨威辛理论与安文敦(即将出版)。柏林:施普林格演讲会(2024;Zbl 07800916)
安德烈亚斯·威切特 量子人工智能与奇思特。 (英语) 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格式 全文: 内政部
朱磊;李晶晶;张,郑 用于降维和数据聚类的动态图学习。 (英语) Zbl 1530.68005号 计算机科学综合讲座查姆:施普林格出版社(ISBN 978-3-031-42312-3/hbk;978-3-331-42315-4/pbk;979-3-031-42813-0/电子书)。xxi,143页。(2024).MSC公司:68-01 62H30型 68T05型 68T09号 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhu}等人,用于降维和数据聚类的动态图学习。Cham:Springer(2024;Zbl 1530.68005) 全文: 内政部
Brock J.拉梅尔斯。 用VHDL介绍逻辑电路和逻辑设计。第三版。 (英语) Zbl 1529.68006号 查姆:施普林格(ISBN 978-3-031-42546-2/hbk;978-3-0031-42549-3/pbk;978-1-031-42547-9/电子书)。十七、539页。(2024).MSC公司:68-01 2007年7月68日 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.J.LaMeres},逻辑电路简介和VHDL逻辑设计。第三版。查姆:斯普林格(2024;Zbl 1529.68006) 全文: 内政部
Brock J.拉梅尔斯。 使用Verilog介绍逻辑电路和逻辑设计。第三版。 (英语) Zbl 1529.68005号 商会:施普林格出版社(ISBN 978-3-031-43945-2/hbk;978-3-031-43948-3/pbk;978-3-031-43946-9/ebook)。十七、527页。(2024).MSC公司:68-01 2007年7月68日 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.J.LaMeres},《逻辑电路与Verilog逻辑设计简介》。第三版。查姆:斯普林格(2024;Zbl 1529.68005) 全文: 内政部
康拉德·恩格尔 监督机器学习的数学基础。优化理论方法(待出现)。(Mathematische Grundlagen desüberwachten maschinellen Lernens.优化理论方法。) (德语) Zbl 07788650号 柏林:Springer Vieweg(ISBN 978-3-662-68133-6/pbk;978-3-562-68134-3/电子书)。(2024).MSC公司:68-01 68次发射 90-01 90立方厘米 PDF格式BibTeX公司 XML格式
马可·T·莫拉赞。 基于编程的形式语言和自动机理论。设计、实施、验证和证明。 (英语) Zbl 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) 全文: 内政部
李,Hang 机器学习方法。作者翻译自中文。最初由清华大学出版社2019年出版。 (英语) Zbl 1529.68007号 北京:清华大学出版社;新加坡:Springer(ISBN 978-981-9939-16-9/hbk;978-981-9939-19-0/pbk;988-981-9969-17-6/电子书)。xv,532页。(2024).MSC公司:68-01 62-01 62H30型 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{H.Li},机器学习方法。作者从中文翻译而来。最初由清华大学出版社2019年出版。北京:清华大学出版社;新加坡:Springer(2024;Zbl 1529.68007) 全文: 内政部
杰夫·埃德蒙兹 如何思考算法。(出现)。第二版。 (英语) Zbl 07782963号 剑桥:剑桥大学出版社(ISBN 978-1-00-930214-2/hbk;978-1-00-00-930213-5/pbk)。(2024).MSC公司:68-01 68瓦xx 97页99 PDF格式BibTeX公司 XML格式
约翰·温 基于模型的机器学习。 (英语) Zbl 07775700号 佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-4987-5681-5/hbk;978-1-032-55882-0/pbk;988-0-429-19268-5/电子书)。十七、450页。(2024).MSC公司:68-01 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Winn},基于模型的机器学习。佛罗里达州博卡拉顿:CRC出版社(2024;Zbl 07775700) 全文: 内政部
辛格,桑德普(编辑);Aliakbar Montazer Haghhii(编辑);Dalal、Sandeep(编辑) 计算和智能系统中的高级数学技术。 (英语) Zbl 07775232号 计算和智能系统。佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-032-39866-2/hbk;978-1-032.60678-1/pbk;97 8-1-003-46016-9/电子书)。(2024).MSC公司:68-01 90-01 00A06号 PDF格式BibTeX公司 XML格式 全文: 内政部
安德烈亚·福西埃洛 计算机视觉:三维重建技术。 (英语) Zbl 07771697号 查姆:施普林格(ISBN 978-3-031-34506-7/hbk;978-3-331-34509-8/pbk;978-1-3031-345007-4/电子书)。viii,第442页。(2024).MSC公司:68-01 68T45型 PDF格式BibTeX公司 XML格式引用 \textit{A.Fusiello},计算机视觉:三维重建技术。查姆:施普林格(2024;Zbl 07771697) 全文: 内政部
小,Max A。 信号处理的机器学习。数据科学、算法和计算统计学(即将出现)。重印2019年精装版。 (英语) Zbl 07770929号 牛津:牛津大学出版社(ISBN 978-0-19-889655-5/pbk)。十八、359页。(2024).MSC公司:68-01 68T05型 94甲12 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Little},信号处理的机器学习。数据科学、算法和计算统计学(即将出现)。重印2019年精装版。牛津:牛津大学出版社(2024;Zbl 07770929) 全文: 内政部
尤尔根·拜尔;拉斐尔·哈格曼斯;丹尼尔·斯塔德勒 模式识别。引言、特征、量词和原则(将要出现)。第二版。 (英语) Zbl 07762573号 De Gruyter毕业生。柏林:De Gruyter(ISBN 978-3-11-133920-7/pbk)。(2024).MSC公司:68-01 68吨10 PDF格式BibTeX公司 XML格式
比约恩Kjos-Hanssen 自动复杂性。不规则性的可计算度量。 (英语) Zbl 07762368号 逻辑中的德格鲁伊特级数及其应用12.柏林:De Gruyter出版社(ISBN 978-3-11-077481-8/hbk;978-3-11-077487-0/ebook)。(2024).MSC公司:68-01 68季度xx PDF格式BibTeX公司 XML格式 全文: 内政部
沃尔克·迪克特;曼弗雷德·库夫莱特纳;格哈德·罗森伯格;乌尔里希·赫斯特兰夫 离散数学的要素。数字和计数、组、图、阶和格。 (英语) Zbl 07762362号 德格鲁伊特研究生柏林:De Gruyter(ISBN 978-3-11-106069-9/pbk;978-3-111-106255-6/电子书)。十八、261页。(2024). 审核人:克里斯蒂安·波斯托夫(Chemnitz) MSC公司:68-01 05-01 06-01 11-01 20-01 60-01 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}等人,《离散数学的要素》。数字和计数、组、图、阶和格。柏林:De Gruyter(2024;Zbl 07762362) 全文: 内政部
何凤翔;陶大成 深入学习的基础(即将出现)。 (英语) Zbl 07750342号 机器学习:基础、方法和应用新加坡:施普林格出版社(ISBN 978-981-16-8232-2/hbk;978-981-16-8235-3/pbk;978-981-16-8233-9/ebook)。xx,280页。(2024).MSC公司:68-02 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{F.He}和\textit{D.Tao},深度学习的基础(即将出现)。新加坡:施普林格(2024;Zbl 07750342)
悉达多·米什拉(编辑);亚历克斯·汤森(编辑) 数值分析符合机器学习(即将出现)。 (英语) Zbl 07707420号 阿姆斯特丹:爱思唯尔/学术出版社(ISBN 978-0-443-23984-7/hbk)。(2024).MSC公司:65-06 68-06 65立方厘米 68次发射 PDF格式BibTeX公司 XML格式
赫伯·昆泽(编辑);大卫·拉托雷(编辑);亚当·里科博尼(编辑);鲁伊斯·加兰(Ruiz Galán,Manuel)(编辑) 工程数学和人工智能。基础、方法和应用。 (英语) 兹比尔1523.68010 数学及其应用:建模、工程和社会科学佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-032-25567-5/hbk;978-1-03-25568-2/pbk;978-1-003-2398-0/电子书)。十六、513页。(2024).MSC公司:68-06 00A06号 68次发射 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.Kunze}(编辑)等人,《工程数学与人工智能》。基础、方法和应用。佛罗里达州博卡拉顿:CRC出版社(2024;Zbl 1523.68010) 全文: 内政部
尤加尔·卡利塔;德鲁巴巴塔查里亚;罗伊,斯瓦鲁 数据科学基础。理论与实践(即将出现)。 (英语) Zbl 07663822号 阿姆斯特丹:爱思唯尔/学术出版社(ISBN 978-0-323-91778-0/pbk)。(2024).MSC公司:68-01 68T05型 68T09号 PDF格式BibTeX公司 XML格式
罗尼·Hänsch 随机森林手册。遥感理论与应用(即将推出)。 (英语) 兹伯利07647205 计算机视觉系列7.新加坡:世界科学(ISBN 978-981-322-405-6/hbk)。300页。(2024).MSC公司:68-01 68T05型 68T07型 68吨10 68T45型 68平方英寸10 PDF格式BibTeX公司 XML格式引用 \textit{R.Hänsch},随机森林手册。遥感的理论和应用(即将出现)。新加坡:世界科学(2024;Zbl 07647205) 全文: 内政部
马可·戈里;亚历山德罗·贝蒂;斯特凡诺·麦拉奇 机器学习。基于约束的方法。第二版。 (英语) Zbl 1524.68001号 阿姆斯特丹:Elsevier/Morgan Kaufmann(ISBN 978-0-323-89859-1/pbk;978-0-233-98469-0/电子书)。xvii,第537页。(2024).MSC公司:68-01 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gori}等人,《机器学习》。基于约束的方法。第二版。阿姆斯特丹:Elsevier/Morgan Kaufmann(2024;Zbl 1524.68001) 全文: 内政部
克里斯蒂安·卡鲁德。 停下,或不停下。这就是问题所在。 (英语) 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/奥尔登堡(ISBN 978-3-11-063675-8/pbk;978-3-11-063679-6/ebook)。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)
马里奥·塞格迪;伊兰·纽曼;Lee,特洛伊 查询复杂性(待显示)。 (英语) Zbl 07177078号 新加坡:世界科学(ISBN 978-981-322-320-2/hbk)。200页。(2024).MSC公司:68-02 68第05页 65年第68季度 68卢比 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{M.Szegedy}等人,《查询复杂性》(即将出版)。新加坡:世界科学(2024;Zbl 07177078) 全文: 内政部
约阿希姆·恩德 压缩感测。应用于传感器系统和图像处理(待发布)。 (英语) 兹标06563075 德格鲁伊特教科书柏林:De Gruyter(ISBN 978-3-11-033531-6/pbk)。xv,350页。(2024).MSC公司:94-02 94甲12 68平方英寸10 94A08型 PDF格式BibTeX公司 XML格式引用 \textit{J.Ender},压缩感知。传感器系统和图像处理的应用(即将出现)。柏林:De Gruyter(2024;Zbl 06563075)
铃木、靖国(编辑);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)
亚历山大·巴拉赫·多布雷斯库;梅特·塔博达;比约恩·W·舒勒。 从自然语言中检测情感的计算方法(即将出现)。 (英语) Zbl 06353340号 计算社会科学查姆:施普林格(ISBN 978-3-319-00601-7/hbk;978-3-3169-00602-4/电子书)。250页。(2024).MSC公司:68-02 68T50型 68T40型 68单位15 PDF格式BibTeX公司 XML格式引用 \textit{A.Balahur-Dobrescu}等人,自然语言情感检测的计算方法(即将出现)。查姆:施普林格(2024;Zbl 06353340)
沃尔夫·齐默尔曼;罗斯维塔·皮希特 (Konzepte höherer Programmiersprachen.(出现)。) (德语) Zbl 05834957号 慕尼黑:德国格鲁伊特出版社/奥尔登堡出版社(ISBN 978-3-486-58102-7/pbk)。350页。(2024).MSC公司:68甲15 68号01 68-01 PDF格式BibTeX公司 XML格式引用 \textit{W.Zimmermann}和\textit{R.Picht},Konzepte höherer Programmiersprachen。(出现)。慕尼黑:de Gruyter/Oldenbourg(2024;Zbl 05834957)
伊萨·特拉奥雷;艾哈迈德·阿瓦德·艾哈迈德。 构建安全且高性能的软件系统(即将推出)。 (英语) Zbl 05538826号 新加坡:世界科学(ISBN 978-981-283-599-4/hbk)。200页。(2024).MSC公司:68-02 68层35 PDF格式BibTeX公司 XML格式引用 \textit{I.Traore}和\textit{A.A.E.Ahmed},构建安全和高性能的软件系统(即将推出)。新加坡:世界科学(2024;Zbl 05538826) 全文: 内政部
孙昌明 立体匹配的快速算法。(出现)。 (英语) Zbl 05317069号 纽约州纽约市:施普林格出版社(ISBN 978-0-387-95424-0/hbk;978-0-3807-68394-2/电子书)。290页。(2024).MSC公司:68-02 68吨10 68单位07 68T45型 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{C.Sun},立体匹配的快速算法。(出现)。纽约州纽约市:施普林格(2024;Zbl 05317069)
安德烈亚·坎帕涅(编辑);奥利弗·伦茨(编辑);夏树银(编辑);多米尼克·扎克(编辑);瓦斯·雅罗斯瓦夫(编辑);姚景涛(编辑) 粗糙集。2023年10月5日至8日,波兰克拉科夫,IJCRS 2023国际联合会议。诉讼程序。 (英语) Zbl 07831417号 计算机科学课堂讲稿14481。人工智能课堂讲稿。查姆:施普林格(ISBN 978-3-031-50958-2/pbk;978-3-331-50959-9/电子书)。lix,第644页。(2023).MSC公司:68-06 68层37 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Campagner}(编辑)等人,《粗糙集》。2023年10月5-8日,波兰克拉科夫,IJCRS 2023国际联合会议。诉讼程序。商会:施普林格(2023;Zbl 07831417) 全文: 内政部
傅洁(编辑);托马斯·克鲁帕(编辑);叶泽凯尔·哈耶尔(编辑) 安全决策和博弈论。第14届国际会议,2023年10月18日至20日,法国阿维尼翁,GameSec 2023。诉讼程序。 (英语) Zbl 07831410号 计算机科学课堂讲稿14167。查姆:施普林格(ISBN 978-3-031-50669-7/pbk;978-3-331-50670-3/电子书)。xxix,390页。(2023).MSC公司:68-06 68平方米25 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Fu}(编辑)等,《安全决策与博弈论》。第14届国际会议,2023年10月18日至20日,法国阿维尼翁,GameSec 2023。诉讼程序。查姆:施普林格(2023;Zbl 07831410) 全文: 内政部
艾丽卡·阿尔布拉汉姆(编辑);克莱门斯·杜伯斯拉夫(编辑);西尔维娅·莉莎·塔皮亚·塔里法(编辑) 计算的理论方面——ICTAC 2023。第20届国际学术讨论会,秘鲁利马,2023年12月4日至8日。诉讼程序。 (英语) Zbl 07831384号 计算机科学课堂讲稿14446。商会:施普林格出版社(ISBN 978-3-031-47962-5/pbk;978-3-031-47963-2/ebook)。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) 全文: 内政部
埃利亚斯·阿萨纳索普洛斯(编辑);巴特·梅宁克(编辑) 信息安全。第26届国际会议,ISC 2023,荷兰格罗宁根,2023年11月15日至17日。诉讼程序。 (英语) 兹伯利07831366 计算机科学课堂讲稿14411。查姆:施普林格(ISBN 978-3-031-49186-3/pbk;978-3-331-49187-0/电子书)。xiv,598页。(2023).MSC公司:68-06 68平方米25 68第25页 94A60型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Athanasopoulos}(编辑)和\textit{B.Mennink}(主编),信息安全。第26届国际会议,ISC 2023,荷兰格罗宁根,2023年11月15-17日。诉讼程序。查姆:施普林格(2023;Zbl 07831366) 全文: 内政部
中基尔胡尔(编辑) 编程语言和系统。第21届亚洲研讨会,APLAS 2023,台湾台北,2023年11月26-29日。诉讼程序。 (英语) Zbl 07831363号 计算机科学课堂讲稿14405。新加坡:Springer(ISBN 978-981-9983-10-0/pbk;978-981-9983-11-7/电子书)。x、 第303页。(2023).MSC公司:68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.-K.Hur}(编辑),编程语言和系统。第21届亚洲研讨会,APLAS 2023,台湾台北,2023年11月26-29日。诉讼程序。新加坡:施普林格(2023;兹bl 07831363) 全文: 内政部
康斯坦蒂诺斯·乔治奥(编辑);埃文格洛斯·克拉纳基斯(编辑) 无线网络算法。第19届国际研讨会,ALGOWIN 2023,荷兰阿姆斯特丹,2023年9月7日至8日。修订了选定的论文。 (英语) Zbl 07831333号 计算机科学课堂讲稿14061。商会:施普林格出版社(ISBN 978-3-031-48881-8/pbk;978-3-031-48882-5/ebook)。ix,151页。(2023).MSC公司:68-06 68M10个 64岁以下 68宽15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{K.Georgiou}(编辑)和\textit{E.Kranakis}(主编),无线网络算法。第19届国际研讨会,ALGOWIN 2023,荷兰阿姆斯特丹,2023年9月7日至8日。修订了选定的论文。查姆:施普林格(2023;Zbl 07831333) 全文: 内政部
克里斯托弗·M·毕晓普。;休·毕晓普 深度学习。基础和概念。 (英语) Zbl 07828102号 查姆:施普林格(ISBN 978-3-031-45467-7/hbk;978-3-331-45468-4/电子书)。(2023).MSC公司:68-01 68T07型 PDF格式BibTeX公司 XML格式 全文: 内政部
雅罗斯·拜尔卡(编辑);安德烈亚斯·威斯(编辑) 近似和在线算法。第21届国际研讨会,WAOA 2023,荷兰阿姆斯特丹,2023年9月7日至8日。诉讼程序。 (英语) Zbl 07826015号 计算机科学课堂讲稿14297.查姆:施普林格(ISBN 978-3-031-49814-5/pbk;978-3-331-49815-2/电子书)。xii,第236页。(2023).MSC公司:68-06 68周25 68周27 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Byrka}(编辑)和\textit{A.Wiese}(编),近似和在线算法。第21届国际研讨会,WAOA 2023,荷兰阿姆斯特丹,2023年9月7日至8日。诉讼程序。查姆:施普林格(2023;Zbl 07826015) 全文: 内政部
娜塔莎·亚历奇纳(编辑);安德烈亚斯·赫齐格(编辑);梁飞(编辑) 逻辑、理性和互动。第九届国际研讨会,LORI 2023,中国济南,2023年10月26-29日。诉讼程序。 (英语) Zbl 07826011号 计算机科学课堂讲稿14329.商会:施普林格出版社(ISBN 978-3-031-45557-5/pbk;978-3-031-45558-2/ebook)。第二十六章,第323页。(2023).MSC公司:68-06 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \文本{N.Alechina}(编辑)等人,《逻辑、理性与互动》。第九届国际研讨会,LORI 2023,中国济南,2023年10月26日至29日。诉讼程序。查姆:施普林格(2023;Zbl 07826011) 全文: 内政部
曼努埃尔五世(Manuel V.Hermenegildo)。(编辑);JoséF·莫拉莱斯。(编辑) 静态分析。2023年10月22日至24日,第30届国际研讨会,SAS 2023,葡萄牙卡斯凯斯。诉讼程序。 (英语) Zbl 07826006号 计算机科学课堂讲稿14284.查姆:施普林格(ISBN 978-3-031-44244-5/pbk;978-3-331-44245-2/电子书)。xiv,566页。(2023).MSC公司:68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Hermenegildo}(编辑)和\textit{J.F.Morales}(主编),静态分析。第30届国际研讨会,SAS2023,卡斯凯斯,葡萄牙,2023年10月22-24日。诉讼程序。查姆:施普林格(2023;Zbl 07826006) 全文: 内政部
王、丁(编辑);Moti Yung(编辑);刘哲丽(编辑);陈晓峰(编辑) 信息和通信安全。第25届ICICS 2023国际会议,中国天津,2023年11月18-20日。诉讼程序。 (英语) Zbl 07826004号 计算机科学课堂讲稿14252.查姆:施普林格(ISBN 978-981-9973-55-2/pbk;978-981-9973-56-9/电子书)。xxv,763页。(2023年)。MSC公司:68-06 68平方米25 68第25页 94A60型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Wang}(编辑)等人,《信息和通信安全》。第25届ICICS 2023国际会议,中国天津,2023年11月18-20日。诉讼程序。查姆:施普林格(2023;Zbl 07826004) 全文: 内政部
埃蒂安·安德烈(编辑);孙骏(编辑) 用于验证和分析的自动化技术。第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) 全文: 内政部
Bekki、Daisuke(编辑);Koji县Mineshima(编辑);艾瑞克·麦克雷迪(编辑) 自然语言语义的逻辑和工程。第19届国际会议,LENLS19,日本东京,2022年11月19日至21日。修订了选定的论文。 (英语) Zbl 07826001号 计算机科学课堂讲稿14213.施普林格(ISBN 978-3-031-43976-6/pbk;978-3-331-43977-3/电子书)。xii,第233页。(2023).MSC公司:03-06 68-06 03B65号 68T50型 91层20 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Bekki}(编辑)等人,《自然语言语义的逻辑和工程》。第19届国际会议,LENLS19,日本东京,2022年11月19-21日。修订了选定的论文。施普林格(2023;Zbl 07826001) 全文: 内政部
亚历山大·马德拉(编辑);马丁斯(Manuel A.Martins)。(编辑) 代数开发技术的最新趋势。2022年6月28日至30日,第26届IFIP WG 1.3国际研讨会,WADT 2022,葡萄牙阿威罗。修订了选定的论文。 (英语) 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) 全文: 内政部
孟伟志(编辑);严,郑(编辑);文森佐·皮乌里(编辑) 信息安全实践和经验。第18届国际会议,ISPEC 2023,丹麦哥本哈根,2023年8月24日至25日。诉讼程序。 (英语) Zbl 07825989号 计算机科学课堂讲稿14341.新加坡:Springer(ISBN 978-981-9970-31-5/pbk;978-981-9970-32-2/电子书)。xiv,616页。(2023).MSC公司:68-06 68第25页 94A60型 94A62型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{W.Meng}(编辑)等,《信息安全实践与经验》。第18届国际会议,ISPEC 2023,丹麦哥本哈根,2023年8月24-25日。诉讼程序。新加坡:施普林格(2023;兹bl 07825989) 全文: 内政部
安德烈亚·马里诺;安娜·席尔瓦 时间图中的路径和连通性。第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号 05立方38 68兰特 2017年第68季度 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Marino}和\textit{A.Silva},时序图中的路径和连通性。第34届巴西数学学术讨论会迷你课程教材——巴西马提马提卡34度学院,巴西里约热内卢国际数学协会,2023年7月。里约热内卢:国家医学院(IMPA)(2023年;Zbl 07823897) 全文: 链接
Alireza Mahzoon;丹尼尔·格罗;罗尔夫·德雷克斯勒 结构复杂乘数的形式验证。 (英语) Zbl 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) 全文: 内政部
邓静(编辑);弗拉基米尔·科列斯尼科夫(编辑);亚历山大·施瓦兹曼(Alexander A.Schwarzmann)。(编辑) 密码和网络安全。第22届国际会议,CANS 2023,美国佐治亚州奥古斯塔,2023年10月31日至11月2日。诉讼程序。 (英语) Zbl 07815729号 计算机科学课堂讲稿14342.新加坡:Springer(ISBN 978-981-9975-62-4/pbk;978-981-9975-63-1/电子书)。xix,第590页。(2023).MSC公司:68-06 2006年4月 68平方米25 94A60型 94A62型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Deng}(编辑)等人,《密码学与网络安全》。第22届国际会议,CANS 2023,美国佐治亚州奥古斯塔,2023年10月31日至11月2日。诉讼程序。新加坡:Springer(2023;Zbl 07815729) 全文: 内政部
卡拉·费雷拉(编辑);Tim A.C.Willemse。(编辑) 软件工程和形式化方法。第21届国际会议,SEFM 2023,荷兰埃因霍温,2023年11月6日至10日。诉讼程序。 (英语) Zbl 07815727号 计算机科学课堂讲稿14323.商会:施普林格出版社(ISBN 978-3-031-47114-8/pbk;978-3-031-47115-5/ebook)。xii,第378页。(2023).MSC公司:68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Ferreira}(编辑)和\textit{T.A.C.Willemse}(主编),软件工程和形式化方法。第21届国际会议,SEFM 2023,荷兰埃因霍温,2023年11月6日至10日。诉讼程序。查姆:施普林格(2023;Zbl 07815727) 全文: 内政部
霍奇内·切里菲(编辑);罗萨里奥·努齐奥·曼特格纳(编辑);路易斯·罗查(Luis M.Rocha)。(编辑);香塔尔·切里菲(编辑);萨尔瓦多米奇奇(编辑) 复杂网络及其应用XI。第十一届国际会议记录,COMPLEX NETWORKS 2022。第2卷。 (英语) Zbl 07815678号 计算智能研究1078.查姆:施普林格(ISBN 978-3-031-21130-0/hbk;978-3-331-21133-1/pbk;978-1-031-21133-1/电子书)。(2023).MSC公司:68-06 90-06 91-06 00B25型 PDF格式BibTeX公司 XML格式 全文: 内政部
斯文·阿克·韦格纳 数据科学的数学导论。(数据科学中的Mathematische Einführung) (德语) Zbl 07813962号 柏林:施普林格演讲(ISBN 978-3-662-68696-6/pbk;978-3-562-68697-3/ebook)。ix,303页。(2023).MSC公司:68-01 68T09号 PDF格式BibTeX公司 XML格式引用 \textit{S.-A.Wegner},《数据科学》中的Mathematische Einführung。柏林:施普林格演讲会(2023;Zbl 07813962) 全文: 内政部
鲁兹贝·哈兹拉特 Python课程。语言的核心。 (英语) Zbl 07813660号 斯普林格本科生数学系列查姆:施普林格(ISBN 978-3-031-49779-7/pbk;978-3-331-49780-3/电子书)。viii,250页。(2023).MSC公司:68-01 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Hazrat},Python课程。语言的核心。查姆:施普林格(2023;Zbl 07813660) 全文: 内政部
布鲁诺·本岑(编辑);辽、北水(编辑);达维德·利加(编辑);雷卡·马尔科维奇(编辑);魏斌(编辑);熊明辉(编辑);徐天文(编辑) 人工智能和法律的逻辑。2023年9月8日至9日和11日至12日,中国杭州,第三届新一代人工智能逻辑国际研讨会和逻辑、人工智能和法律国际研讨会联合会议记录。 (英语) Zbl 07812100号 伦敦:学院出版物(ISBN 978-1-84890-439-2/pbk)。第六章,第241页。,开放存取(2023年)。MSC公司:68-06 03-06 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.Bentzen}(编辑)等人,《人工智能和法律的逻辑》。第三届新一代人工智能逻辑国际研讨会和逻辑、人工智能和法律国际研讨会联合会议记录,2023年9月8日至9日和11日至12日,中国杭州。伦敦:学院出版物(2023;Zbl 07812100) 全文: 链接
弗朗西斯科·奇卡诺(编辑);托比亚斯·弗里德里希(编辑);蒂莫·科茨(编辑);弗兰茨·罗特劳夫(编辑) 第17届ACM/SIGEVO遗传算法基础研讨会论文集,FOGA 2023,德国波茨坦,2023年8月30日至9月1日。 (英语) Zbl 1530.68015号 纽约州纽约市:计算机协会(ACM)(ISBN 979-8-4007-0202-0)。六、162页。(2023).MSC公司:68-06 68T20型 68瓦50 90 C59 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Chicano}(ed.)等人,第17届ACM/SIGEVO遗传算法基础研讨会论文集,FOGA 2023,德国波茨坦,2023年8月30日至9月1日。纽约州纽约市:计算机协会(ACM)(2023;Zbl 1530.68015) 全文: 内政部
张松茂(编辑);张永刚(编辑) 人工智能逻辑和应用。第三届国际会议,AILA 2023,中国长春,2023年8月5日至6日。诉讼程序。 (英语) Zbl 07806652号 计算机与信息科学中的通信1917.新加坡:Springer(ISBN 978-981-9978-68-7/pbk;978-981-9978-69-4/电子书)。xiv,第448页。(2023).MSC公司:68-06 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Zhang}(编辑)和\textit{Y.Zhangneneneep(编辑),人工智能逻辑和应用。第三届国际会议,AILA 2023,中国长春,2023年8月5-6日。诉讼程序。新加坡:Springer(2023;Zbl 07806652) 全文: 内政部