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

期刊


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

2022, vol.213 2022, vol.214 2022, vol.215 2022, vol.216 2022, vol.217 2022, vol.218
2022, vol.219 2022, vol.220 2022, vol.221 2022, vol.222 2022, vol.223 2022, vol.224

题名作者出版年年卷期
Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017) PrefaceProenca, Jose; Lumpe, Markus20222022, vol.218
Verified synthesis of optimal safety controllers for human-robot collaborationGleirscher, Mario; Calinescu, Radu; Douthwaite, James; Lesage, Benjamin; Paterson, Colin; Aitken, Jonathan; Law, James; Alexander, Rob20222022, vol.218
Inverse problems, constraint satisfaction, reversible logic, invertible logic and Grover quantum oracles for practical problemsPerkowski, Marek20222022, vol.218
Preface for the Special Issue of the 12th Conference on Reversible Computation (RC 2020) PrefaceLanese, Ivan; Rawski, Mariusz20222022, vol.218
Studying the commonalities, mappings and relationships between non-functional requirements using machine learningAlashqar, Abdelkareem M.20222022, vol.218
Special Issue on Software Health of Software Ecosystems PrefaceConstantinou, Eleni; Di Nucci, Dario; Kula, Raula Gaikovina; Rocha, Henrique20222022, vol.218
Preface - Special Issue on selected and extended papers from FACS 2019 PrefaceJongmans, Sung-Shik; Arbab, Farhad20222022, vol.218
High-level axioms for graphical linear algebraPaixao, Joao; Rufino, Lucas; Sobocinski, Pawel20222022, vol.218
Special issue on revised and extended versions of papers presented at the 22nd Brazilian Symposium on Programming Languages (SBLP 2018) PrefaceCamarao, Carlos; Sulzmann, Martin20222022, vol.218
Selected papers from The 13th International Symposium on Theoretical Aspects of Software Engineering 29 July-1 August 2019, Guilin, China PrefaceMery, Dominique; Qin, Shengchao20222022, vol.218