Last update: Thu Jun 29 02:43:11 MDT 2023
Return to index directory
I
-
Identification, 14(3)247--266
-
Identify, 10(5)509--531, 14(3)200--214, 14(3)215--227, 14(3)228--246,
14(3)267--280, 14(3)319--327
-
IEEE, 10(5)509--531, 14(3)200--214, 14(3)215--227, 14(3)228--246,
14(3)247--266, 14(3)267--280, 14(3)295--318, 14(3)319--327,
14(3)328--337, 26(3)537--561, 27(1)33--52
-
II, 11(4)381--401, 16(3)210--237, 21(1)65--102, 25(4)609--657
-
III, 26(2)407--432
-
IJbema, Mark, 25(6)947--969
-
IJbema, Mark, see Hesselink, Wim H.
-
Iliasov, Alexei, 33(6)1009--1036
-
Iliasov, Alexei, see Stankaitis, Paulius
-
Ilie, Jean Michel, 27(5)951--973
-
Ilie, Jean Michel, see Bouneb, Messaouda
-
ILP, 22(3)217--241
-
impact, 8(6)716--736, 25(2)159--187
-
imperative, 9(3)331--348, 9(5)448--468
-
implementation, 3(4)326--345, 4(4)341--375, 9(2)119--148, 17(2)113--137,
17(3)319--341, 20(6)597--617, 26(1)99--123, 26(2)367--405,
29(6)951--986, 30(2)279--317, 31(4)411--419
-
implementing, 2(1)359--392
-
Implicit, 10(3)193--213
-
impredicative, 5(2)91--120
-
Improved, 25(2)319--341
-
improvement, 30(5)545--569
-
Improving, 29(4)601--627
-
in, fold-, 24(3)307--330
-
Inadequate, 13(3)364--385
-
{\.I}nan, Kemal, 26(6)1153--1167,
see Güniçen, Canan
-
incompleteness, 29(1)3--31
-
Inconsistent, 10(3)243--247
-
incremental, 6(4)359--390, 11(1)45--55, 14(3)215--227, 20(1)61--77,
20(4)379--405, 26(4)761--793, 28(3)345--379, 29(5)911--931
-
independent, language-, 28(3)469--497
-
induction, 3(1)2--20, 3(4)326--345, 5(6)530--553, 31(2)207--230
-
inductive, 6(4)440--465, 9(5)484--517, 25(2)257--288, 25(4)465--501,
26(1)3--36, 31(5)641--642, 33(4)637--667
-
industrial, 27(5)975--1001, 28(3)499--527
-
Industry, 32(1)147--148
-
Inequations, 14(4)369--399
-
inference, 5(4)289--298, 6(6)659--675, 9(1)49--67
-
Inferring, 33(3)385--406
-
infinite, 6(6)696--715, 7(1)37--53
-
Informatics, 31(5)641--642
-
information, 3(4)315--325, 23(4)513--539, 27(2)335--374, 28(4)669--696,
30(3)463--489, 31(2)165--206
-
infrastructure, 33(6)829--854
-
infusion, 26(5)1033--1076
-
Ingólfsdóttir, A., 5(5)432--466, see Hennessy, M.
-
inherent, 25(2)159--187
-
inheritance, 2(1)301--311, 3(2)129--141, 25(1)89--106
-
initial, 9(4)425--445, 29(3)423--452
-
Injection, 32(2)229--250
-
inputash, 28(1)65--78
-
inspired, 21(5)393--395
-
Institution, 13(3)274--307
-
institutions, 27(2)375--395, 33(6)1209--1248
-
instruction, 23(1)73--89
-
Integer, 18(2)244--262, 33(6)1115--1145
-
integrated, 13(2)94--110, 16(3)238--262, 17(4)389--389
-
integrating, 2(1)226--246, 20(2)161--204, 26(5)963--992, 27(1)53--77
-
integration, 8(3)247--293, 10(3)233--242, 10(5)532--549, 16(1)80--94,
22(3)327--344, 23(1)113--131, 28(1)1--20, 33(6)855--884
-
intelligence, 33(3)343--384
-
Intensional, 15(4)299--318
-
intensive, variability-, 33(6)1147--1172
-
Inter-process, 22(6)735--772
-
interacting, 19(3)375--399, 21(6)571--588
-
interaction, 11(6)665--689, 19(4)513--550, 21(6)613--641, 28(4)697--722
-
interactive, 11(3)302--325, 12(4)237--259, 19(3)277--302, 21(6)513--539,
31(5)541--610, 33(2)151--183
-
interconnection, 2(1)342--358
-
interest, self-, 24(4)793--805
-
interface, 7(4)430--439, 8(5)607--616, 10(1)59--75, 11(2)107--131,
11(3)244--271, 11(3)272--301, 11(3)326--342, 12(5)372--391,
20(2)205--224, 21(6)589--612, 26(2)319--366
-
interference, non-, 20(3)259--275, 26(1)169--194
-
interleaving, 11(6)690--723, 19(4)445--474, 29(4)705--750
-
interleaving, non-, 1(1)213--228
-
interlocking, 10(4)338--360, 10(4)361--380, 33(1)87--125, 33(6)925--955
-
internal, 10(2)125--159, 21(1)65--102, 24(4)555--567
-
Internet, 10(4)313--337
-
interoperability, 30(3)381--441
-
interoperating, 16(4)394--411
-
interpretation, 7(1)77--90, 29(3)531--557
-
interpreters, Meta-, 1(1)193--211
-
Interpreting, 7(5)473--509
-
interruptions, 24(3)331--353
-
intersection, 4(5)470--486
-
interval, 18(2)231--243, 20(2)225--238
-
intransitive, 24(4)769--792, 29(6)1087--1120
-
Introducing, 26(2)305--317
-
introduction, 4(5)470--486, 7(5)533--549, 13(2)128--141, 13(3)233--251,
14(3)200--214
-
invariance, 14(1)35--54, 24(4)595--607
-
invariant, 8(4)463--478, 11(4)402--425, 19(2)205--224, 20(4)379--405,
20(6)619--635, 21(3)227--244, 24(1)67--95, 25(1)59--87,
26(2)203--249, 27(5)805--829, 31(1)95--129
-
invariant, co-, 8(1)108--126
-
Invariant-based, 22(1)63--81
-
Inverardi, P., 5(2)91--120
-
Inverardi, P., see Bucci, A.
-
Inverardi, Paola, 6(6)676--695
-
Inverardi:1994:APR, 6(6)676--695
-
inversion, 9(3)331--348
-
inverted, 8(6)679--705
-
Investigating, 10(5)532--549, 31(3)353--374
-
investigation, 5(5)467--479
-
Invocation, 10(3)193--213
-
Ipate, F., 18(1)3--30
-
Ipate, F., see Bogdanov, K.
-
Ipate, Florentin, 12(6)443--458, 13(6)431--446, 16(4)374--386,
20(6)597--617, 28(1)1--20
-
Ipate, Florentin, see Hierons, Robert M.
-
Ipate:2000:GTS, 12(6)443--458
-
Ipate:2002:TCC, 13(6)431--446
-
Ipate:2004:CDS, 16(4)374--386
-
Ipate:2016:UIC, 28(1)1--20
-
IPv6, 11(6)591--615
-
Ireland, A., 17(1)38--57
-
Ireland, A., see Cook, A.
-
Ireland, Andrew, 11(3)302--325, 26(2)203--249
-
Ireland, Andrew, see Llano, Maria Teresa
-
Ireland:1999:IPC, 11(3)302--325
-
Isabelle, 1(1)320--338
-
Isabelleash, 27(2)255--282, 28(6)1005--1026, 30(3)491--492,
31(6)675--698, 33(6)855--884
-
ISBN, 29(6)1121--1122, 30(3)491--492, 30(6)759--759, 30(6)761--762,
31(4)453--454
-
Ishikawa, Fuyuki, 31(3)287--320
-
Ishikawa, Fuyuki, see Kobayashi, Tsutomu
-
isolated, 22(1)33--61
-
issue, 1(1)366--411, 18(3)263--263, 19(2)137--138
-
it-yourself, Do-, 1(1)19--84
-
iterative, 31(5)459--502
-
ITSEC, 20(1)5--19
-
Iyoda, Juliano, 19(3)343--362
-
Iyoda, Juliano, see Slind, Konrad