先进制造业知识服务平台
国家科技图书文献中心机械分馆　　工信部产业技术基础公共服务平台　　国家中小企业公共服务示范平台

期刊


ISSN0167-6423
刊名Science of Computer Programming
参考译名计算机程序设计科学
收藏年代2002～2024



全部

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

2010, vol.75, no.1/2 2010, vol.75, no.10 2010, vol.75, no.11 2010, vol.75, no.12 2010, vol.75, no.3 2010, vol.75, no.4
2010, vol.75, no.5 2010, vol.75, no.6 2010, vol.75, no.7 2010, vol.75, no.8 2010, vol.75, no.9

题名作者出版年年卷期
C++ lambda expressions and closuresJaakko Jarvi; John Freeman20102010, vol.75, no.9
Dynamic algorithm selection for runtime conceptsPeter Pirkelbauer; Sean Parent; Mat Marcus; Bjarne Stroustrup20102010, vol.75, no.9
Integrating coercion with subtyping and multiple dispatchJ. J. Hallett; Victor Luchangco; Sukyoung Ryu; Guy L. Steele, Jr.20102010, vol.75, no.9
Pentagons: A weakly relational abstract domain for the efficient validation of array accessesFrancesco Logozzo; Manuel Fahndrich20102010, vol.75, no.9



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