期刊


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

2024, vol.232 2024, vol.233 2024, vol.234 2024, vol.235 2024, vol.236 2024, vol.237

题名作者出版年年卷期
TerGEC: A graph enhanced contrastive approach for program termination analysisLiu S.; Keung J.W.; Liao Y.; Li Y.; Yang Z.20242024, vol.237
Refining a design thinking-based requirements elicitation process: Insights from a focus groupKahan E.; Oliveros A.; Genero M.20242024, vol.237
Orchestration for quantum services: The power of load balancing across multiple service providersAlvarado-Valiente J.; Romero-Alvarez J.; Moguel E.; Garcia-Alonso J.; Murillo J.M.20242024, vol.237
Analyzing novice and competent programmers' problem-solving behaviors using an automated evaluation systemChuang Y.-T.; Chang H.-Y.20242024, vol.237
Unifying frameworks for complete test strategiesSachtleben R.20242024, vol.237
Application of fuzzy Delphi technique to identify analytical lenses for determining the preparation of free and open source software projects for user experience maturityNamayala P.P.; Kondo T.S.20242024, vol.237
Improving and comparing performance of machine learning classifiers optimized by swarm intelligent algorithms for code smell detectionJain S.; Saha A.20242024, vol.237
Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022)Artho C.; Olveczky P.C.20242024, vol.237
Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem provingJesus, Joabe; Sampaio, Augusto20242024, vol.236
A pragma based C plus plus framework for hybrid quantum/classical computationGazda, Arnaud; Koska, Oceane20242024, vol.236
12345678



制造业外文文献服务平台