×

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

经典建筑器皿Taylor偏移了1。 (英语) Zbl 1360.68938号

Manuel Kauers(编辑),2005年符号和代数计算国际研讨会论文集,ISSAC’05,中国北京,2005年7月24日至27日。纽约州纽约市:ACM出版社(ISBN 1-59593-095-7)。200-207 (2005).
MSC公司:68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

走向事务争用管理器理论。 (英语) Zbl 1314.68088号

2005年7月17日至20日,美国内华达州拉斯维加斯,PODC’05,第24届ACM分布式计算原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-994-2)。258-264 (2005).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

计算中的形式化方法。 (英语) Zbl 1110.68001号

布达佩斯:Akadémiai Kiadó(ISBN 963-05-8258-9)。x、 第425页。(2005).
PDF格式BibTeX公司 XML格式引用

一种新的部分透视调度验证程序。 (英语) Zbl 1124.68014号

Pettersson,Paul(编辑)等,时间系统的形式化建模和分析。第三届国际会议,FORMATS 2005,乌普萨拉,瑞典,2005年9月26-28日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30946-2/pbk)。计算机科学课堂讲稿3829127-141(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

并行机器上的随机在线调度。 (英语) Zbl 1124.90325号

Persiano,Giuseppe(编辑)等人,《近似和在线算法》。第二次国际研讨会,2004年WAOA,2004年9月14日至16日,挪威卑尔根。修订了选定的论文。柏林:施普林格出版社(ISBN 3-540-24574-X/pbk)。计算机科学讲座笔记3351167-180(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

《科学与工程中的高性能计算》,加兴,2004年。2004年10月14日至15日,德国加兴,KONWIHR成果研讨会的交易。 (英语) Zbl 1075.68557号

柏林:施普林格出版社(ISBN 3-540-26145-1/hbk)。xi,第301页。(2005).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型