×

找到12个文档(结果1-12)

计算机科学数学。基本概念、结构及其应用。第三次扩展和更新版本。(Mathematik für die Informatik.Grundlegende Begriffe,Strukturen und ihre Anwendung) (德语) Zbl 1456.68002号

威斯巴登:Springer Vieweg(ISBN 978-3-658-25808-5/pbk;978-3-558-25809-2/ebook)。xii,426页。(2019)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算机科学家的数学。基本概念和结构。(Mathematik für Informatiker,Grundlegende Begriffe und Strukturen) (德语) Zbl 1309.00001号

威斯巴登:Springer Vieweg(ISBN 978-3-658-06287-3/pbk;978-3-558-06288-0/ebook)。x、 280页。(2014年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

订单、格以及与应用程序的关系。第二次修订和更正版。(《命令》、《动词与关系》。) (德语) Zbl 1254.06001号

Leitfäden der Informatik公司。威斯巴登:施普林格出版社(ISBN 978-3-658-00618-1/pbk;978-3-658-00619-8/电子书)。xiv,第392页。(2012).
MSC公司:06-01 68-01 68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

订单、格以及与应用程序的关系。(Ordnungen,动词和关系mit Anwendungen) (德语) Zbl 1146.06001号

Leitfäden der Informatik公司。威斯巴登:Vieweg+Teubner(ISBN 978-3-8348-0595-9/pbk)。xii,第392页。(2008).
MSC公司:06-01 68-01 68瓦30
PDF格式BibTeX公司 XML格式引用

相关规范。 (英语) Zbl 0791.68104号

Rauszer,Cecylia(编辑),逻辑和计算机科学中的代数方法。1991年9月15日至12月15日在波兰华沙举行的关于逻辑代数方法及其计算机科学应用的第三十八学期论文。华沙:波兰科学院数学研究所。巴纳赫美分。出版物。28, 167-190 (1993).
PDF格式BibTeX公司 XML格式引用

关系代数和程序逻辑。 (英语) Zbl 0749.03016号

代数逻辑。座谈会,布达普/挂。1988年,大学数学。《János Bolyai社会》54、37-58(1991年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

软件