发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, TBD, Romania (2011.09.26-2011.09.29)] 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Proof Techniques for Synthesis of Sorting Algorithms

[IEEE 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, TBD, Romania (2011.09.26-2011.09.29)] 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Proof Techniques for Synthesis of Sorting Algorithms

Dramnesc, Isabela; Jebelean, Tudor

作者Dramnesc, Isabela; Jebelean, Tudor
文件大小222.41KB
发表时间2011
DOI10.1109/synasc.2011.23
页码101-109

← 返回【学霸图书馆】主页