中国教育图书进出口有限公司

Science of Computer Programming

I S S N：0167-6423

出版社：Elsevier BV

2023 年

第 230 卷

第 229 卷

第 228 卷

第 227 卷

第 226 卷

2022 年

第 224 卷

第 223 卷

第 222 卷

第 221 卷

第 220 卷

第 219 卷

第 218 卷

第 217 卷

第 216 卷

第 215 卷

第 214 卷

第 213 卷

2021 年

第 212 卷

第 211 卷

第 210 卷

第 209 卷

第 208 卷

第 207 卷

第 206 卷

第 205 卷

第 204 卷

第 203 卷

第 202 卷

第 201 卷

2020 年

第 200 卷

第 199 卷

第 198 卷

第 197 卷

第 196 卷

第 195 卷

第 194 卷

第 193 卷

第 192 卷

第 191 卷

第 190 卷

第 189 卷

第 188 卷

第 187 卷

第 186 卷

第 185 卷

2019 年

第 186 卷

第 185 卷

第 184 卷

第 183 卷

第 182 卷

第 181 卷

第 180 卷

第 179 卷

第 178 卷

第 177 卷

第 176 卷

第 175 卷

第 174 卷

第 173 卷

第 172 卷

第 171 卷

第 170 卷

第 169 卷

2018 年

第 168 卷

第 167 卷

第 166 卷

第 165 卷

第 164 卷

第 163 卷

第 162 卷

第 161 卷

第 160 卷

第 159 卷

第 158 卷

第 157 卷

第 156 卷

第 155 卷

第 154 卷

第 153 卷

第 152 卷

第 151 卷

2017 年

第 150 卷

第 149 卷

第 148 卷

第 147 卷

第 146 卷

第 145 卷

第 144 卷

第 143 卷

第 141-142 卷

第 140 卷

第 139 卷

第 138 卷

第 137 卷

第 136 卷

第 135 卷

第 134 卷

第 133 卷

2016 年

第 132 卷

第 131 卷

第 130 卷

第 129 卷

第 128 卷

第 127 卷

第 126 卷

第 125 卷

第 124 卷

第 123 卷

第 122 卷

第 121 卷

第 120 卷

第 119 卷

第 118 卷

第 117 卷

第 115-116 卷

2015 年

第 114 卷

第 113 卷

第 112 卷

第 111 卷

第 110 卷

第 109 卷

第 107-108 卷

第 106 卷

第 105 卷

第 104 卷

第 103 卷

第 102 卷

第 101 卷

第 100 卷

第 99 卷

第 98 卷

第 97 卷

2014 年

第 96 卷

第 95 卷

第 94 卷

第 93 卷

第 92 卷

第 91 卷

第 90 卷

第 89 卷

第 88 卷

第 87 卷

第 86 卷

第 85 卷

第 84 卷

第 83 卷

第 82 卷

第 81 卷

第 80 卷

第 79 卷

2013 年

第 78 卷 12 期

第 78 卷 11 期

第 78 卷 10 期

第 78 卷 9 期

第 78 卷 8 期

第 78 卷 7 期

第 78 卷 6 期

第 78 卷 5 期

第 78 卷 4 期

第 78 卷 3 期

第 78 卷 2 期

2012 年

第 78 卷 1 期

第 77 卷 12 期

第 77 卷 10-11 期

第 77 卷 9 期

第 77 卷 7-8 期

第 77 卷 6 期

第 77 卷 5 期

第 77 卷 4 期

第 77 卷 3 期

第 77 卷 2 期

第 77 卷 1 期

2011 年

第 76 卷 12 期

第 76 卷 11 期

第 76 卷 10 期

第 76 卷 9 期

第 76 卷 8 期

第 76 卷 7 期

第 76 卷 6 期

第 76 卷 5 期

第 76 卷 4 期

第 76 卷 3 期

第 76 卷 2 期

第 76 卷 1 期

2010 年

第 75 卷 12 期

第 75 卷 11 期

第 75 卷 10 期

第 75 卷 9 期

第 75 卷 8 期

第 75 卷 7 期

第 75 卷 6 期

第 75 卷 5 期

第 75 卷 4 期

第 75 卷 3 期

第 75 卷 1-2 期

2009 年

第 74 卷 11-12 期

第 74 卷 10 期

第 74 卷 9 期

第 74 卷 8 期

第 74 卷 7 期

第 74 卷 5-6 期

第 74 卷 4 期

第 74 卷 3 期

2008 年

第 74 卷 1-2 期

第 73 卷 2-3 期

第 73 卷 1 期

第 72 卷 3 期

第 72 卷 1-2 期

第 71 卷 3 期

第 71 卷 2 期

第 71 卷 1 期

第 70 卷 2-3 期

第 70 卷 1 期

2007 年

第 69 卷 1-3 期

第 68 卷 3 期

第 68 卷 2 期

第 68 卷 1 期

第 67 卷 2-3 期

第 67 卷 1 期

第 66 卷 3 期

第 66 卷 2 期

第 66 卷 1 期

第 65 卷 3 期

第 65 卷 2 期

第 65 卷 1 期

第 64 卷 3 期

第 64 卷 2 期

第 64 卷 1 期

2006 年

第 63 卷 3 期

第 63 卷 2 期

第 63 卷 1 期

第 62 卷 3 期

第 62 卷 2 期

第 62 卷 1 期

第 61 卷 3 期

第 61 卷 2 期

第 61 卷 1 期

第 60 卷 3 期

第 60 卷 2 期

第 60 卷 1 期

第 59 卷 3 期

第 59 卷 1-2 期

2005 年

第 58 卷 3 期

第 58 卷 1-2 期

第 57 卷 3 期

第 57 卷 2 期

第 57 卷 1 期

第 56 卷 3 期

第 56 卷 1-2 期

第 55 卷 1-3 期

第 54 卷 2-3 期

第 54 卷 1 期

2004 年

第 53 卷 3 期

第 53 卷 2 期

第 53 卷 1 期

第 52 卷 1-3 期

第 51 卷 3 期

第 51 卷 1-2 期

第 50 卷 1-3 期

2003 年

第 49 卷 1-3 期

第 48 卷 2-3 期

第 48 卷 1 期

第 47 卷 2-3 期

第 47 卷 1 期

第 46 卷 3 期

第 46 卷 1-2 期

2002 年

第 45 卷 2-3 期

第 45 卷 1 期

第 44 卷 3 期

第 44 卷 2 期

第 44 卷 1 期

第 43 卷 2-3 期

第 43 卷 1 期

第 42 卷 2-3 期

第 42 卷 1 期

2001 年

第 41 卷 3 期

第 41 卷 2 期

第 41 卷 1 期

第 40 卷 2-3 期

第 40 卷 1 期

第 39 卷 2-3 期

第 39 卷 1 期

2000 年

第 38 卷 1-3 期

第 37 卷 1-3 期

第 36 卷 2-3 期

第 36 卷 1 期

1999 年

第 35 卷 2-3 期

第 35 卷 1 期

第 34 卷 3 期

第 34 卷 2 期

第 34 卷 1 期

第 33 卷 3 期

第 33 卷 2 期

第 33 卷 1 期

1998 年

第 32 卷 1-3 期

第 31 卷 2-3 期

第 31 卷 1 期

第 30 卷 3 期

第 30 卷 1-2 期

1997 年

第 29 卷 3 期

第 29 卷 1-2 期

第 28 卷 2-3 期

第 28 卷 1 期

1996 年

第 27 卷 3 期

第 27 卷 2 期

第 27 卷 1 期

第 26 卷 1-3 期

1995 年

第 25 卷 2-3 期

第 25 卷 1 期

第 24 卷 3 期

第 24 卷 2 期

第 24 卷 1 期

1994 年

第 23 卷 2-3 期

第 23 卷 1 期

第 22 卷 3 期

第 22 卷 1-2 期

1993 年

第 21 卷 3 期

第 21 卷 2 期

第 21 卷 1 期

第 20 卷 3 期

第 20 卷 1-2 期

1992 年

第 19 卷 3 期

第 19 卷 2 期

第 19 卷 1 期

第 18 卷 3 期

第 18 卷 2 期

第 18 卷 1 期

1991 年

第 17 卷 1-3 期

第 16 卷 3 期

第 16 卷 2 期

第 16 卷 1 期

1990 年

第 15 卷 2-3 期

第 15 卷 1 期

第 14 卷 2-3 期

第 14 卷 1 期

第 13 卷 2-3 期

1989 年

第 13 卷 1 期

第 12 卷 3 期

第 12 卷 2 期

第 12 卷 1 期

第 11 卷 3 期

1988 年

第 11 卷 2 期

第 11 卷 1 期

第 10 卷 3 期

第 10 卷 2 期

第 10 卷 1 期

1987 年

第 9 卷 3 期

第 9 卷 2 期

第 9 卷 1 期

第 8 卷 3 期

第 8 卷 2 期

第 8 卷 1 期

1986 年

第 7 卷

第 6 卷

1985 年

第 5 卷

1984 年

第 4 卷 3 期

第 4 卷 2 期

第 4 卷 1 期

1983 年

第 3 卷 3 期

第 3 卷 2 期

第 3 卷 1 期

1982 年

第 2 卷 3 期

第 2 卷 2 期

第 2 卷 1 期

第 1 卷 3 期

1981 年

第 1 卷 1-2 期

[期刊论文]

Stochastic Formal Model of PI3K/mTOR Pathway in Alzheimer's Disease for Drug Repurposing: An Evaluation of Rapamycin, LY294002, and NVP-BEZ235

DO I：10.1016/j.scico.2023.103028

作者：Herbert Rausch Fernandes;Giovanni Freitas Gomes;Antonio Carlos Pinheiro de Oliveira;等

页码：103028 - 103028

全文购买

[期刊论文]

How accessibility affect other quality attributes of software? A case study of GitHub

DO I：10.1016/j.scico.2023.103027

作者：Yaxin Zhao;Lina Gong;Wenhua Yang;等

页码：103027 - 103027

全文购买

[期刊论文]

FCPP to Aggregate Them All

DO I：10.1016/j.scico.2023.103026

作者：Giorgio Audrito;Gianluca Torta;

页码：103026 - 103026

全文购买

[期刊论文]

Generating C: Heterogeneous metaprogramming system description

DO I：10.1016/j.scico.2023.103015

作者：Oleg Kiselyov;

页码：103015 - 103015

全文购买

[期刊论文]

A method of test case set generation in the commutativity test of reduce functions

DO I：10.1016/j.scico.2023.103006

作者：Xiangyu Mu;Lei Liu;Peng Zhang;等

页码：103006 - 103006

全文购买

[期刊论文]

Asynchronous unfold/fold transformation for fixpoint logic

DO I：10.1016/j.scico.2023.103014

作者：Mahmudul Faisal Al Ameen;Naoki Kobayashi;Ryosuke Sato;

页码：103014 - 103014

全文购买

[期刊论文]

An empirical evaluation of RAIDE: A semi-automated approach for test smells detection and refactoring

DO I：10.1016/j.scico.2023.103013

作者：Railana Santana;Luana Martins;Tássio Virgínio;等

页码：103013 - 103013

全文购买

[期刊论文]

The complexity of evaluating nfer

DO I：10.1016/j.scico.2023.103012

作者：Sean Kauffman;Martin Zimmermann;

页码：103012 - 103012

全文购买

[期刊论文]

[Editorial]

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2021)

DO I：10.1016/j.scico.2023.102991

作者：Sérgio Campos;Marius Minea;

页码：102991 - 102991

全文购买

[期刊论文]

[Editorial Board]

Editorial Board

DO I：10.1016/S0167-6423(23)00103-X

页码：103021 - 103021

全文购买