×

找到131039个文档(结果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格式引用
全文: DOI程序

验证、模型检查和抽象解释。第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格式引用
全文: DOI程序

形式化方法:基础和应用。第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格式引用
全文: DOI程序

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格式引用
全文: DOI程序

筛选结果依据…

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

传记参考