×

找到31171个文档(结果1-100)

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

计算机科学讲义14500。查姆:施普林格(ISBN 978-3-031-50520-1/pbk;978-3-0.31-50521-8/电子书)。十八、340页。(2024).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

计算机科学课堂讲稿14499。查姆:施普林格(ISBN 978-3-031-50523-2/pbk;978-3-331-50524-9/电子书)。十八、352页。(2024).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

网络和互联网经济。第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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可靠的软件工程。理论、工具和应用。第九届国际研讨会,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格式引用
全文: 内政部

计算和组合。第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格式引用
全文: 内政部

计算和组合。第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格式引用
全文: 内政部

形式化方法:基础和应用。第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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

综合正式方法。第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格式引用
全文: 内政部

不确定性推理的符号和定量方法。第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格式引用
全文: 内政部

应用密码学和网络安全。第22届国际会议,ACNS 2024,阿拉伯联合酋长国阿布扎比,2024年3月5日至8日。诉讼程序。第三部分。 (英语) Zbl 07830609号

计算机科学课堂讲稿14585。查姆:施普林格(ISBN 978-3-031-54775-1/pbk;978-3-0031-54776-8/电子书)。第二十二、463页。(2024).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

应用密码学和网络安全。第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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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格式引用
全文: 内政部

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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

几何代数的高级计算应用。第一届国际会议,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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

组合数学、图论和计算。第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).
PDF格式BibTeX公司 XML格式引用

标称集的双向比较。接近不对称。 (英语) 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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

复杂网络及其应用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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

博弈论在深度学习中的应用。 (英语) Zbl 07819800号

Springer计算机科学简介.商会:施普林格出版社(ISBN 978-3-031-54652-5/pbk;978-3-031-54653-2/ebook)。xii,84页。(2024).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

计算机科学课堂讲稿14150.日记账子行。柏林:施普林格出版社(ISBN 978-3-662-68190-9/pbk;978-3-562-68191-6/电子书)。十八、295页。(2024).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

算法和离散应用数学。第十届国际会议,CALDAM 2024,印度比莱,2024年2月15日至17日。诉讼程序。 (英语) Zbl 07815710号

计算机科学课堂讲稿14508.查姆:施普林格(ISBN 978-3-031-52212-3/pbk;978-3-331-52213-0/电子书)。第二十二章,330页。(2024).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

应用密码学和网络安全。第22届国际会议,ACNS 2024,阿拉伯联合酋长国阿布扎比,2024年3月5日至8日。诉讼程序。第一部分。 (英语) 兹伯利07815699

计算机科学课堂讲稿14583.查姆:施普林格(ISBN 978-3-031-54769-0/pbk;978-3-331-54770-6/电子书)。xxviii,489页。(2024).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

计算机科学课堂讲稿14579.查姆:施普林格(ISBN 978-3-031-55600-5/pbk;978-3-331-55601-2/电子书)。xix,350页。(2024).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

拉丁语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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

信息安全和密码学——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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

信息安全和密码学——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).
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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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格式引用
全文: 内政部

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格式引用
全文: 内政部

第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格式引用
全文: 内政部

理论计算机科学。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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时变时滞马尔可夫复杂神经网络的同步控制。 (英语) Zbl 07806315号

系统、决策和控制研究514.查姆:施普林格出版社(ISBN 978-3-031-47834-5/hbk;978-3-331-47837-6/pbk;978-1-031-47835-2/电子书)。viii,159页。(2024).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于处理复杂问题的计算智能和数学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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算机视觉指标。计算机视觉、视觉神经科学和视觉人工智能的调查、分类和分析(即将发布)。第二版。 (英语) 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格式引用

数学图像处理的基本知识。在理论和应用之间。(《数学基础》,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格式引用

基于编程的形式语言和自动机理论。设计、实施、验证和证明。 (英语) Zbl 07786059号

计算机科学课文查姆:施普林格(ISBN 978-3-031-43972-8/hbk;978-3-331-43975-9/pbk;978-1-031-43973-5/电子书)。第二十三章,第524页。(2024).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

机器学习方法。作者翻译自中文。最初由清华大学出版社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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

信号处理的机器学习。数据科学、算法和计算统计学(即将出现)。重印2019年精装版。 (英语) Zbl 07770929号

牛津:牛津大学出版社(ISBN 978-0-19-889655-5/pbk)。十八、359页。(2024).
MSC公司:68-01 68T05型 94甲12
PDF格式BibTeX公司 XML格式引用
全文: 内政部

离散数学的要素。数字和计数、组、图、阶和格。 (英语) Zbl 07762362号

德格鲁伊特研究生柏林:De Gruyter(ISBN 978-3-11-106069-9/pbk;978-3-111-106255-6/电子书)。十八、261页。(2024).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

工程数学和人工智能。基础、方法和应用。 (英语) 兹比尔1523.68010

数学及其应用:建模、工程和社会科学佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-032-25567-5/hbk;978-1-03-25568-2/pbk;978-1-003-2398-0/电子书)。十六、513页。(2024).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

机器学习。基于约束的方法。第二版。 (英语) 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格式引用
全文: 内政部

自然计算的最新进展。IWNC第九届研讨会的精选结果(待公布)。 (英语) Zbl 06416159号

工业数学21.东京:Springer(ISBN 978-4-431-55464-6/hbk;978-4-331-55465-3/电子书)。150页。(2024).
PDF格式BibTeX公司 XML格式引用

从自然语言中检测情感的计算方法(即将出现)。 (英语) Zbl 06353340号

计算社会科学查姆:施普林格(ISBN 978-3-319-00601-7/hbk;978-3-3169-00602-4/电子书)。250页。(2024).
PDF格式BibTeX公司 XML格式引用

粗糙集。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格式引用
全文: 内政部

安全决策和博弈论。第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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算的理论方面——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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

信息安全。第26届国际会议,ISC 2023,荷兰格罗宁根,2023年11月15日至17日。诉讼程序。 (英语) 兹伯利07831366

计算机科学课堂讲稿14411。查姆:施普林格(ISBN 978-3-031-49186-3/pbk;978-3-331-49187-0/电子书)。xiv,598页。(2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

编程语言和系统。第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格式引用
全文: 内政部

无线网络算法。第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).
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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

逻辑、理性和互动。第九届国际研讨会,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格式引用
全文: 内政部

静态分析。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格式引用
全文: 内政部

信息和通信安全。第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年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于验证和分析的自动化技术。第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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

计算机科学课堂讲稿14215.查姆:施普林格(ISBN 978-3-031-45328-1/pbk;978-3-331-45329-8/电子书)。十六、446页。(2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自然语言语义的逻辑和工程。第19届国际会议,LENLS19,日本东京,2022年11月19日至21日。修订了选定的论文。 (英语) Zbl 07826001号

计算机科学课堂讲稿14213.施普林格(ISBN 978-3-031-43976-6/pbk;978-3-331-43977-3/电子书)。xii,第233页。(2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

代数开发技术的最新趋势。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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

信息安全实践和经验。第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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间图中的路径和连通性。第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年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

结构复杂乘数的形式验证。 (英语) Zbl 07819811号

新加坡:Springer(ISBN 978-3-031-24570-1/hbk;978-3-051-24573-2/pbk;988-3-031-204571-8/电子书)。xiii,130页。(2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

密码和网络安全。第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).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

软件工程和形式化方法。第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格式引用
全文: 内政部

人工智能和法律的逻辑。2023年9月8日至9日和11日至12日,中国杭州,第三届新一代人工智能逻辑国际研讨会和逻辑、人工智能和法律国际研讨会联合会议记录。 (英语) Zbl 07812100号

伦敦:学院出版物(ISBN 978-1-84890-439-2/pbk)。第六章,第241页。,开放存取(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

第17届ACM/SIGEVO遗传算法基础研讨会论文集,FOGA 2023,德国波茨坦,2023年8月30日至9月1日。 (英语) Zbl 1530.68015号

纽约州纽约市:计算机协会(ACM)(ISBN 979-8-4007-0202-0)。六、162页。(2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

人工智能逻辑和应用。第三届国际会议,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格式引用
全文: 内政部

筛选结果依据…

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件