中国机械工程学会生产工程分会知识服务平台

期刊


ISSN0163-5700
刊名SIGACT News
参考译名美国计算机学会算法与计算理论专业组新闻
收藏年代2000～2024



全部

2000 2001 2002 2003 2004 2005
2006 2007 2008 2009 2010 2011
2012 2013 2014 2015 2016 2017
2018 2019 2020 2021 2022 2023
2024

2012, vol.43, no.1 2012, vol.43, no.2 2012, vol.43, no.3 2012, vol.43, no.4

题名作者出版年年卷期
Automatic Inference of Memory FencesMichael Kuperstein; Martin Vechev; Eran Yahav20122012, vol.43, no.2
Education ForumLi, Chong-Zhang20122012, vol.43, no.2
SIGACT News Online Algorithms Column 20: The Power of HarmonyRob van Stee20122012, vol.43, no.2
On Intellectual and Instrumental Values in ScienceOded Goldreich20122012, vol.43, no.2
Guest Column: The Second P=? NP PollWilliam I. Gasarch20122012, vol.43, no.2
Computational Geometry Column 53Adrian Dumitrescu20122012, vol.43, no.2
Automated Model Repair for Distributed ProgramsBorzoo Bonakdarpour; Sandeep S. Kulkarni20122012, vol.43, no.2



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2024