×

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

软件科学和计算结构基础。2011年3月26日至4月3日在德国萨尔布吕肯举行的第14届国际会议FOSSACS 2011,是欧洲软件理论与实践联合会议ETAPS 2011的一部分。诉讼程序。 (英语) Zbl 1213.68041号

计算机科学课堂讲稿6604.柏林:施普林格出版社(ISBN 978-3-642-19804-5/pbk)。xv,第473页。(2011).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

值得信赖的全球计算。2010年2月24日至26日在德国慕尼黑举行的2010年TGC第五届国际研讨会。修订了选定的论文。 (英语) Zbl 1198.68071号

计算机科学课堂讲稿6084.柏林:施普林格出版社(ISBN 978-3-642-15639-7/pbk)。xi,第379页。(2010).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

键入lambda计算和应用程序。第六届国际会议,2003年TLCA,2003年6月10日至12日,西班牙巴伦西亚。诉讼程序。 (英语) Zbl 1029.00023号

计算机科学课堂讲稿. 2701. 柏林:斯普林格。viii,317 p.46.00欧元/净;$56.00; £32.00; 《新加坡财务报告》第79.00页(2003年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

体积

出版年份

主字段

软件