×

找到131076份文件(结果1-100)

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

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

筛选结果依据…

全部的 前5名

作者

全部的 前5名

串行