Last update: Sun Oct 15 02:35:30 MDT 2017
Return to index directory
P
-
P, 969(0)129--z
-
P4s, 1017(0)24--z
-
PAC, 997(0)239--z
-
PAC-Learning, 961(0)417--z
-
Pacholczyk, D., 990(0)297--z
-
Pacholczyk:1995:QRU, 990(0)297--z
-
Pacitti, E., 1013(0)109--z
-
Pacitti, E., see Lifschitz, S.
-
Packages, 974(0)737--z
-
Packet, 1018(0)154--z
-
Packet-Switched, 1018(0)258--z
-
packing, 959(0)303--z, 974(0)115--z, 979(0)113--z
-
Packing, Tree-, 959(0)121--z
-
Paechter, B., 993(0)86--93
-
Paechter:1995:ULS, 993(0)86--93
-
Paek, S., 1018(0)342--z
-
Paek:1995:SMV, 1018(0)342--z
-
PAG, 983(0)33--z
-
Page, 955(0)147--z
-
Page, I., 975(0)1--z, 975(0)370--z
-
Page, I., see Stansfield, A.,
see Woodward, D. R.
-
Pagello, E., 992(0)261--z
-
Pagello, E., see Ferrari, C.
-
Pagnan, S., 974(0)393--z
-
Pagnan, S., see Ottonello, C.
-
Pahl, C., 1021(0)270--z
-
Pahl, C., see Gruhn, V.
-
pair, 955(0)358--z, 959(0)71--z, 1017(0)333--z
-
Pairs, All-, 979(0)185--z, 1026(0)363--z
-
Pajdla, T., 970(0)25--32
-
Pajdla:1995:EMS, 970(0)25--32
-
Pal, K., 1020(0)152--z
-
Pal:1995:HSD, 1020(0)152--z
-
Pala, P., 974(0)185--z
-
Pala, P., see Del Bimbo, A.
-
Palamidessi, C., 983(0)100--z
-
Palamidessi, C., see Cortesi, A.
-
Palao, P., 1022(0)65--z
-
Palao, P., see Nuthez, M.
-
Palmer, P. L., 970(0)820--825
-
Palmer:1995:FST, 970(0)820--825
-
Palopoli, L., 978(0)303--z
-
Palopoli, L., see Buccafurri, F.
-
Palsberg, Jens, 983(0)314--330
-
Palsberg:1995:TLC, 983(0)314--330
-
Paltrinieri, M., 976(0)499--514
-
Paltrinieri:1995:VCP, 976(0)499--514
-
Pan, Z., 956(0)236--z
-
Pan:1995:EAA, 956(0)236--z
-
Panangaden, P., 1026(0)124--z
-
Panangaden:1995:EPI, 1026(0)124--z
-
Panconesi, A., 979(0)448--z
-
Panconesi, A., see Dubhashi, D.
-
Panda, B., 1006(0)45--z
-
Panda:1995:MSD, 1006(0)45--z
-
Pandiagonal, 959(0)388--z
-
Pandu Rangan, C., 959(0)71--z
-
Pandu Rangan, C., see Kamakoti, V.
-
Panitz, S. E., 983(0)348--z
-
Panitz, S. E., see Schmidt-Schauss, M.
-
Panneerselvam, G., 975(0)272--z
-
Panneerselvam:1995:IFF, 975(0)272--z
-
Pantziou, G., 959(0)313--z
-
Pantziou, G., see Diaz, J.
-
Pantziou, G. E., 955(0)291--z, 965(0)191--z
-
Pantziou, G. E., see Djidjev, H. N.,
see Kagaris, D.
-
Panyiotou, S., 978(0)197--z
-
Panyiotou, S., see Naqvi, W.
-
Papadakis, T., 979(0)554--z
-
Papadakis, T., see Poblete, P. V.
-
Papadias, D., 988(0)537--z
-
Papadias, D., see Theodoridis, Y.
-
Papadimitriou, C. H., 1004(0)181--z
-
Papadimitriou:1995:OID, 1004(0)181--z
-
Papadopoulos, G., 966(0)3--z
-
Papadopoulos:1995:MPT, 966(0)3--z
-
Papadopoulou, E., 979(0)238--z
-
Papadopoulou:1995:ECG, 979(0)238--z
-
Papakonstantinou, Y., 1013(0)161--z
-
Papakonstantinou:1995:QTS, 1013(0)161--z
-
Papatriantafilou, M., 972(0)273--z
-
Papatriantafilou, M., see Hoepman, J.-H.
-
Papazoglou, M., 978(0)48--z
-
Papazoglou, M., see Yang, J.
-
paper, 1005(0)1--34, 1005(0)35--52, 1005(0)53--60, 1005(0)61--79,
1005(0)81--87, 1005(0)88--100, 1005(0)101--117, 1005(0)118--135,
1005(0)138--144, 1005(0)145--151, 1005(0)153--172, 1005(0)173--178,
1005(0)180--193, 1005(0)194--214, 1005(0)216--240, 1005(0)241--262,
1005(0)263--276, 1005(0)278--287, 1005(0)282--287, 1005(0)289--292,
1005(0)293--303, 1005(0)305--309, 1022(0)1--z
-
Paraboschi, S., 985(0)165--z, 1013(0)1--z, 1013(0)38--z
-
Paraboschi, S., see Baralis, E., \see{Ceri, S.
-
Paraconsistent, 990(0)377--z
-
paradigm, 969(0)82--z, 980(0)249--z, 992(0)353--z, 997(0)1--z,
997(0)153--z, 1026(0)80--z
-
parallel, 954(0)217--z, 956(0)155--z, 959(0)61--z, 959(0)313--z,
959(0)324--z, 959(0)372--z, 960(0)52--z, 960(0)253--z, 964(0)7--z,
964(0)16--z, 964(0)57--z, 964(0)85--z, 964(0)109--z, 964(0)142--z,
964(0)157--z, 964(0)234--z, 964(0)246--z, 964(0)258--z,
964(0)294--z, 964(0)320--z, 964(0)341--z, 964(0)356--z,
964(0)411--z, 964(0)427--z, 964(0)434--z, 964(0)453--z,
964(0)464--z, 964(0)477--z, 965(0)221--z, 966(0)55--z, 966(0)69--z,
966(0)101--z, 966(0)231--z, 966(0)351--z, 966(0)379--z,
966(0)403--z, 966(0)473--z, 966(0)485--z, 966(0)513--z,
966(0)527--z, 966(0)593--z, 966(0)691--z, 966(0)699--z,
966(0)715--z, 969(0)1--z, 970(0)790--795, 970(0)932--937,
974(0)115--z, 974(0)121--z, 974(0)133--z, 975(0)399--z,
977(0)269--z, 977(0)284--z, 977(0)299--z, 977(0)340--z,
978(0)146--z, 978(0)157--z, 978(0)217--z, 979(0)17--z, 979(0)31--z,
979(0)89--z, 979(0)409--z, 979(0)570--z, 980(0)121--z, 980(0)171--z,
980(0)187--z, 980(0)199--z, 980(0)217--z, 980(0)249--z,
980(0)255--z, 980(0)261--z, 980(0)275--z, 980(0)285--z,
980(0)317--z, 980(0)333--z, 980(0)349--z, 980(0)363--z,
980(0)379--z, 980(0)395--z, 985(0)213--z, 985(0)277--z,
1000(0)62--z, 1000(0)78--z, 1000(0)101--z, 1004(0)132--z,
1004(0)198--z, 1004(0)234--z, 1012(0)1--z, 1012(0)292--z,
1012(0)419--z, 1017(0)290--z, 1017(0)372--z, 1018(0)342--z,
1020(0)42--z, 1023(0)34--z, 1023(0)225--z, 1026(0)413--z
-
Parallel, Data-, 966(0)429--z, 966(0)711--z, 982(0)463--464,
1023(0)319--z
-
parallel, Data-, 966(0)143--z
-
Parallel, Expression-Or-, 982(0)457--458
-
Parallelash, 959(0)607--z
-
Parallelising, 966(0)687--z
-
Parallelism, 962(0)378--z, 964(0)273--z, 965(0)363--z, 966(0)3--z,
966(0)9--z, 966(0)27--z, 966(0)269--z, 968(0)247--z, 982(0)115--132,
1019(0)264--z
-
parallelism, And-, 966(0)43--z
-
Parallelism, Data-, 966(0)27--z, 966(0)723--z
-
parallelism, Or-, 966(0)43--z
-
Parallelization, 954(0)202--z, 964(0)304--z, 964(0)385--z, 966(0)315--z,
966(0)417--z, 980(0)75--z, 1013(0)109--z
-
Parallelizing, 964(0)127--z, 966(0)417--z, 980(0)43--z, 981(0)137--z
-
Parameter, 970(0)82--89, 970(0)106--113, 974(0)37--z, 974(0)471--z,
1020(0)121--z, 1024(0)427--z
-
Parameterised, 962(0)395--z
-
Parameterized, 1021(0)158--z
-
Parametric, 965(0)353--z, 970(0)90--97, 980(0)217--z, 993(0)191--199
-
Parametric, Non-, 974(0)423--z, 994(0)313--326
-
Parametrization, 970(0)655--660, 994(0)101--108
-
Pardalos, P. M., 959(0)582--z, 980(0)317--z
-
Pardalos, P. M., see Khoury, B. N.
-
Pardalos:1995:PSC, 980(0)317--z
-
Pardo, J. M., 1024(0)331--z
-
Pardo, J. M., see Carreira, M. J.
-
Pardubska, D., 965(0)273--z
-
Pardubska, D., see Hromkovic, J.
-
Parent, C., 1013(0)539--z
-
Parent, C., see Ye, X.
-
Parental, Poly-, 993(0)48--61
-
Parikh, J. A., 1024(0)499--z
-
Parikh, R., 960(0)22--z
-
Parikh:1995:LO, 960(0)22--z
-
Parikh:1995:TAU, 1024(0)499--z
-
Parimala, N., 1006(0)248--z
-
Parimala:1995:HCD, 1006(0)248--z
-
Paris, C. L., 991(0)12--z
-
Paris:1995:ADG, 991(0)12--z
-
Parisi, D., 992(0)243--z
-
Parisi, D., see Nolfi, S.
-
Parity, 1025(0)74--z
-
PARIX, 966(0)181--z
-
Park, M.-S., 966(0)301--z
-
Park, M.-S., see Hwang, S.-J.
-
Park, Sang-Joon, 963(0)148--z
-
Park:1995:SGC, 963(0)148--z
-
Parker, K., 1005(0)289--292
-
Parker:1995:CCC, 1005(0)289--292
-
PARMA, 964(0)258--z
-
Parmee, I. C., 993(0)25--39
-
Parmee, I. C., see Bilchev, G.
-
Parnas, D. L., 967(0)3--z, 967(0)237--z, 967(0)471--z
-
Parnas, D. L., see Hall, J. A.
-
Parnas:1995:LFM, 967(0)3--z
-
Parnas:1995:TPE, 967(0)471--z
-
Parrington, N., 1021(0)308--z
-
Parrington, N., see Mitchell, I.
-
Parser, 990(0)95--z, 990(0)465--z, 1026(0)111--z
-
Parsimonious, 990(0)457--z, 991(0)457--z
-
Parsing, 969(0)326--z, 982(0)24--25, 1012(0)379--z, 1012(0)399--z
-
Part, 994(0)139--154, 1026(0)96--z
-
Part, Multi-, 974(0)533--z
-
Part-of-Speech, 991(0)321--z
-
Partial, 955(0)403--z, 969(0)434--z, 972(0)116--z, 978(0)594--z,
982(0)279--298, 982(0)299--320, 1004(0)332--z, 1006(0)178--z
-
Partial, Strong-, 972(0)72--z
-
partial-order, 987(0)278--z
-
Partiality, 1026(0)210--z
-
Partially, 981(0)1--z, 991(0)161--z
-
particle, 956(0)61--z, 970(0)294--301, 980(0)255--z, 1024(0)59--z
-
partition, 979(0)252--z, 1017(0)318--z, 1023(0)59--z
-
partitioning, 956(0)109--z, 966(0)351--z, 975(0)227--z, 980(0)121--z,
983(0)82--z, 1004(0)428--z, 1006(0)302--z, 1017(0)275--z
-
Partly, 986(0)283--z
-
party, 963(0)397--z, 976(0)36--52
-
Party, Multi-, 963(0)110--z, 1018(0)240--z
-
Party, Third-, 1005(0)263--276
-
Parulkar, G. M., 1018(0)80--z, 1018(0)318--z
-
Parulkar, G. M., see Buddhikot, M. M.,
see Cranor, C. D.
-
Pasanen, T., 969(0)211--z
-
Pasanen, T., see Katajainen, J.
-
Pasquale, J., 1018(0)170--z
-
Pasquale, J., see Fall, K.
-
Pasquier, M., 990(0)323--z
-
Pasquier, M., see Quek, C.
-
Pass, 986(0)313--z
-
Passing, 1026(0)324--z
-
passing, marker-, 1010(0)359--370
-
Passing, Value-, 1026(0)294--z
-
Passive, 979(0)369--z
-
Passos, E., 991(0)210--z, 991(0)293--z
-
Passos:1995:AAN, 991(0)210--z
-
Passos:1995:CMK, 991(0)293--z
-
Past, 990(0)249--z
-
Pastor Lopez, O., 978(0)79--z
-
PastorLopez:1995:OVC, 978(0)79--z
-
Patarin, Jacques, 963(0)248--z
-
Patarin:1995:CMI, 963(0)248--z
-
Patch, 970(0)926--931, 994(0)139--154
-
Patel, M. J., 993(0)200--223
-
Patel:1995:CTS, 993(0)200--223
-
Paterok, M., 977(0)56--z
-
Paterok:1995:MMH, 977(0)56--z
-
Paterson, M., 1026(0)1--z
-
Paterson, M. S., 959(0)1--z
-
Paterson, M. S., see Zwick, U.
-
Paterson:1995:LMD, 1026(0)1--z
-
path, 955(0)122--z, 955(0)263--z, 959(0)213--z, 959(0)254--z,
965(0)191--z, 978(0)522--z, 979(0)31--z, 979(0)185--z, 988(0)207--z,
988(0)241--z, 990(0)107--z, 998(0)497--z, 1004(0)92--z,
1017(0)333--z, 1017(0)344--z, 1026(0)52--z, 1026(0)338--z
-
Path, Cow-, 1026(0)22--z
-
Pathology:, Onco-, 978(0)642--z
-
Paton, N. W., 985(0)21--z, 1012(0)146--z, 1013(0)143--z
-
Paton, N. W., see Dinn, A.
-
Paton:1995:EDT, 1012(0)146--z
-
Paton:1995:FSA, 985(0)21--z
-
Pattern-Matching, 1018(0)216--z
-
Patterns, Sub-, 974(0)335--z
-
Patterson, D. W. R., 1010(0)1--10
-
Patterson, D. W. R., see Allen, J. R. C.
-
Paul, C., 1017(0)358--z
-
Paul, C., see Galinier, P.
-
Paul, Wolfgang J., 1016-0-xii
-
Paul, Wolfgang J., see Muller, Silvia M.
-
Paulik, L., 1012(0)487--z
-
Paulik, L., see Vojtas, P.
-
Paulokat, J., 984(0)266--279
-
Paulokat, J., see Mu noz, H.
-
Paulson, L. C., 996(0)120--139
-
Paulson:1995:CFC, 996(0)120--139
-
Pavlou, G., 998(0)12--z, 998(0)430--z
-
Pavlou:1995:IIT, 998(0)12--z
-
Pavlou:1995:IRM, 998(0)430--z
-
paying, 954(0)129--z
-
Payne, R., 975(0)21--z
-
Payne:1995:STF, 975(0)21--z
-
Payoff, 959(0)1--z
-
Pazat, J.-L., 966(0)351--z
-
Pazat, J.-L., see Le Fur, M.
-
PB-complete, 969(0)227--z
-
pC++, 977(0)254--z
-
PDL-based, 992(0)103--z
-
Pe'er, I., 979(0)142--z
-
Pearson, D., 980(0)81--z
-
Pearson, D., see Hao, B.
-
Pecchiari, P., 992(0)175--z
-
Pecchiari, P., see Di Manzo, M.
-
Peckar, W., 970(0)122--129
-
Peckar, W., see Schnoerr, C.
-
Pedagogical, 967(0)508--z
-
Peer:1995:IGS, 979(0)142--z
-
Pegler, I. S., 1020(0)121--z
-
Pegler, I. S., see Price, C. J.
-
Pei, 966(0)131--z
-
Peinado, M., 959(0)549--z
-
Peinado:1995:ILB, 959(0)549--z
-
Peinkenkamp, T., 1023(0)210--z
-
Peinkenkamp, T., see Liu, F.
-
Peirgigli, M., 998(0)490--z
-
Peirgigli, M., see D'Aurelio, M.
-
Pelc, A., 979(0)89--z
-
Pelc, A., see Chlebus, B. S.
-
Peleg, D., 955(0)38--z, 972(0)116--z
-
Peleg, D., see Awerbuch, B., \see{Holzman, R.
-
Peloux, J.-P., 988(0)123--z
-
Peloux:1995:LCI, 988(0)123--z
-
Pelz, E., 965(0)303--z
-
Pelz, E., see Klaudel, H.
-
Pendaries, J. M., 989(0)307--z
-
Pendaries, J. M., see Monk, S.
-
Penedo, M. G., 1024(0)331--z
-
Penedo, M. G., see Carreira, M. J.
-
Peng, A., 1024(0)479--z
-
Peng, Q., 1024(0)398--z
-
Peng, Q., see Ma, L.
-
Peng:1995:IHF, 1024(0)479--z
-
Penjam, J., 982(0)459--460
-
Penjam, J., see Meriste, M.
-
Pentland, A., 994(0)249--262
-
Pentland:1995:MR, 994(0)249--262
-
Penzhorn, W. T., 1008(0)329--z, 1025(0)74--z
-
Penzhorn:1995:CLW, 1025(0)74--z
-
Penzhorn:1995:FHC, 1008(0)329--z
-
Penzo, W., 967(0)5--z
-
Penzo, W., see Ciaccia, P.
-
People, 970(0)550--555, 978(0)136--z
-
PEPP, 964(0)234--z
-
Pepper, P., 1009(0)27--z, 1009(0)58--z
-
Pepper:1995:MDC, 1009(0)27--z
-
Pepper:1995:RSH, 1009(0)58--z
-
per, 1008(0)265--z
-
Perception, 988(0)443--z, 994(0)207--216
-
Perceptron, 990(0)397--z
-
Pereira, L. M., 990(0)41--z, 990(0)273--z, 990(0)377--z
-
Pereira, L. M., see Alferes, J. J.,
see Alferes, J., \see{Damasio, C. V.
-
Perera, S., 1020(0)185--z
-
Perera:1995:NIC, 1020(0)185--z
-
Perfect, 955(0)194--z, 963(0)367--z, 1025(0)63--z
-
Perform, 992(0)395--z
-
Performance, 963(0)70--z, 964(0)180--z, 964(0)477--z, 966(0)703--z,
969(0)444--z, 970(0)600--605, 970(0)826--831, 975(0)111--z,
975(0)439--z, 977(0)11--z, 977(0)71--z, 977(0)86--z, 977(0)254--z,
977(0)284--z, 977(0)299--z, 977(0)357--z, 977(0)372--z,
978(0)157--z, 978(0)187--z, 978(0)323--z, 982(0)463--464,
986(0)179--z, 988(0)537--z, 989(0)76--z, 989(0)343--z, 998(0)213--z,
998(0)275--z, 998(0)309--z, 1006(0)164--z, 1006(0)178--z,
1008(0)359--z, 1011(0)67--z, 1012(0)475--z, 1018(0)76--z,
1018(0)84--z, 1018(0)170--z, 1018(0)289--z, 1023(0)319--z
-
Performance, High-, 975(0)104--z, 1024(0)17--z
-
Performance-Oriented, 977(0)340--z
-
Pergola, E., 959(0)254--z
-
Pergola, E., see Barcucci, E.
-
period, 1004(0)208--z
-
Periodic, 1018(0)206--z, 1025(0)22--z
-
Periodically, 959(0)244--z
-
Periodicity, 959(0)244--z, 969(0)337--z
-
Perleberg, C., 979(0)311--z
-
Perleberg, C., see Fernandes Barbosa, E.
-
permutation, 1008(0)22--z, 1017(0)372--z
-
Permutation-Based, 1023(0)225--z
-
Perner, P., 970(0)532--537
-
Perner:1995:CBR, 970(0)532--537
-
Pernici, B., 1021(0)341--z
-
Pernici, B., see Casati, F.
-
Pernul, G., 978(0)177--z, 1021(0)181--z
-
Pernul, G., see Ellmer, E.
-
Pernul:1995:CRF, 978(0)177--z
-
Pernus, F., 970(0)778--783
-
Pernus, F., see Leonardis, A.
-
Perpetual, 963(0)339--z
-
PerPreT, 977(0)284--z
-
Perrin, D., 969(0)94--z
-
Perrin, G. R., 980(0)261--z
-
Perrin, G. R., see Benaini, A.
-
Perrin, G.-R., 966(0)131--z
-
Perrin, G.-R., see Genaud, S.
-
Perrin:1995:SDF, 969(0)94--z
-
Perrizo, W., 1006(0)45--z
-
Perrizo, W., see Panda, B.
-
PERs, 982(0)169--188
-
Persistent, 972(0)198--z, 978(0)490--z
-
person, 956(0)90--z
-
person, -, 956(0)90--z
-
Personal, 989(0)5--z, 998(0)213--z, 998(0)309--z, 998(0)495--z
-
perspective, 956(0)73--z, 970(0)174--181, 988(0)107--z, 989(0)1--z,
991(0)1--z, 1000(0)275--z, 1010(0)548--558
-
Persson, A., 1005(0)293--303
-
Persson:1995:ECI, 1005(0)293--303
-
Pertaining, 970(0)655--660
-
Petersen, H., 965(0)374--z
-
Petersen, R. J., 975(0)293--z
-
Petersen:1995:ASF, 975(0)293--z
-
Petersen:1995:SRC, 965(0)374--z
-
Petha, R., 1022(0)65--z
-
Petha, R., see Nuthez, M.
-
Petit, A., 969(0)467--z
-
Petit, A., see Huguet, S.
-
Petitjean, S., 994(0)155--166
-
Petitjean:1995:AGO, 994(0)155--166
-
Petkov, N., 974(0)165--z
-
Petkov:1995:UCF, 974(0)165--z
-
Petreschi, R., 959(0)31--z, 1023(0)34--z
-
Petreschi, R., see Baffi, L.,
see Calamoneri, T.
-
Petri, 962(0)145--159, 962(0)175--z, 962(0)348--z, 964(0)94--z,
965(0)221--z, 965(0)253--z, 965(0)303--z, 977(0)209--z,
977(0)224--z, 999(0)509--z, 1000(0)441--z, 1021(0)158--z
-
{Petrie}, M. M., Larrondo-, 967(0)434--z
-
Petrone, L., 1026(0)111--z
-
Petrone:1995:RBP, 1026(0)111--z
-
Petrou, M., 970(0)674--679, 970(0)820--825
-
Petrou, M., see Palmer, P. L.,
see Stoddart, A. J.
-
Pettersson, P., 965(0)62--z
-
Pettersson, P., see Larsen, K. G.
-
Pevzner, P. A., 1000(0)184--z
-
Pevzner, P. A., see Hannenhalli, S.
-
Pfaltz, J. L., 1017(0)318--z
-
Pfaltz:1995:PCA, 1017(0)318--z
-
Pfalzgraf, J., 958(0)167--z
-
Pfalzgraf:1995:MCA, 958(0)167--z
-
PFFM, 959(0)392--z
-
PFSLib, 964(0)246--z
-
Ph., 1016-0-xii
-
Phalke, V., 986(0)381--z
-
Phalke:1995:MHB, 986(0)381--z
-
Pham, Q., Tuan, 956(0)49--z
-
Phan Luong, V., 1013(0)378--z
-
PhanLuong:1995:MAN, 1013(0)378--z
-
Phase, 970(0)668--673, 970(0)868--873, 974(0)447--z, 976(0)70--87
-
PHdPHd1dK, 977(0)239--z
-
Phenomena, 977(0)135--z, 991(0)191--z
-
Philippe, J., 978(0)405--z, 1006(0)192--z
-
Philippe, J., see Fleury, L.
-
Philippou, A., 962(0)456--z
-
Philippou:1995:SDC, 962(0)456--z
-
Phillips, C., 955(0)86--z
-
Phillips, R., 989(0)235--z
-
Phillips, R., see Gaskell, C.
-
Phillips:1995:SJA, 955(0)86--z
-
philosophers, 1019(0)133--z
-
Philosophical, 1000(0)344--z
-
Phoenix, S. J. D., 1025(0)112--z
-
Phoenix:1995:QCP, 1025(0)112--z
-
Photometric, 974(0)293--z
-
PhotoPix, 974(0)109--z
-
Phuong, N. H., 1012(0)431--z
-
Phuong:1995:FST, 1012(0)431--z
-
physical, 959(0)591--z, 966(0)9--z, 978(0)502--z, 992(0)217--z,
1016-0-xii
-
physics, 955(0)315--z, 969(0)106--z, 994(0)277--296
-
Physics-Based, 990(0)311--z, 994(0)233--248, 994(0)297--312,
994(0)347--359
-
Piaggio, M., 992(0)303--z
-
Piaggio, M., see Frixione, M.
-
Piancastelli, L., 978(0)385--z
-
Piancastelli, L., see Gazzotti, D.
-
Pianta, E., 992(0)13--z
-
Pianta, E., see Not, E.
-
Pic, M. M., 964(0)273--z
-
Pic:1995:OOL, 964(0)273--z
-
Picariello, A., 974(0)545--z
-
Picariello, A., see Boccignone, G.
-
Picks, 992(0)243--z
-
piece, 1010(0)55--66
-
Piecewise, 974(0)335--z
-
Piecewise-Linear, 974(0)367--z
-
Piegay, E., 970(0)270--277
-
Piegay:1995:CLD, 970(0)270--277
-
Pieprzyk, J., 1013(0)503--z, 1021(0)44--z
-
Pieprzyk, J., see Baraani-Dastjerdi, A.
-
Pierre, L., 987(0)35--z
-
Pierre:1995:DVS, 987(0)35--z
-
Pierson, J.-M., 980(0)255--z
-
Pierson, J.-M., see Miguet, S.
-
Pietracaprina, A., 979(0)60--z
-
Pietracaprina, A., see Herley, K. T.
-
Piggott, P., 956(0)305--z
-
Piggott:1995:EGG, 956(0)305--z
-
Pighizzini, G., 965(0)383--z, 969(0)309--z
-
Pighizzini, G., see Bertoni, A.
-
Pighizzini:1995:HHC, 965(0)383--z
-
Pinch, R. G. E., 1025(0)188--z
-
Pinch:1995:DRS, 1025(0)188--z
-
Pinchinat, S., 1023(0)111--z
-
Pinchinat:1995:PPR, 1023(0)111--z
-
Pinho, A. J., 974(0)159--z
-
Pinho:1995:EDF, 974(0)159--z
-
Pini, M., 974(0)145--z
-
Pini, M., see Biancardi, A.
-
Pink, S., 1018(0)3--z
-
Pink, S., see Degermark, M.
-
Pinna, M., 1009(0)74--z
-
Pinna:1995:EAG, 1009(0)74--z
-
Pinter, C. C., 997(0)215--z
-
Pinter:1995:CNT, 997(0)215--z
-
Pinto-Ferreira, C. A., 990(0)419--z
-
Pinto-Ferreira, C. A., see Custodio, L. M. M.
-
Pinz, A., 970(0)359--367
-
Pinz:1995:AMI, 970(0)359--367
-
Pinzani, R., 959(0)254--z
-
Pinzani, R., see Barcucci, E.
-
pipe, 993(0)154--165
-
Pipeline, 971(0)229--z, 971(0)261--z, 1006(0)302--z
-
Pipelined, 1023(0)239--z
-
Pipelining, 964(0)326--z, 980(0)127--z
-
Pippig, E., 961(0)417--z
-
Pippig:1995:SNN, 961(0)417--z
-
Piquer, J. M., 986(0)267--z
-
Piquer:1995:IMS, 986(0)267--z
-
Pires, F. J. G., Moura, 992(0)389--z
-
Pirlo, G., 974(0)515--z, 974(0)594--z
-
Pirlo, G., see Congedo, G.
-
Pirotte, A., 1012(0)437--z
-
Pirotte:1995:FOO, 1012(0)437--z
-
Piskunov, S., 964(0)70--z
-
Piskunov, S., see Markova, V.
-
Pissaloux, E., 1024(0)99--z
-
Pissaloux, E., see You, J.
-
Pistore, M., 962(0)42--56
-
Pistore, M., see Montanari, U.
-
Pitas, I., 970(0)680--685
-
Pitas, I., see Bors, A. G.
-
Pitsch, G., 969(0)349--z
-
Pitsch, G., see Hotz, G.
-
Pitsoulis, L., 980(0)317--z
-
Pitsoulis, L., see Pardalos, P. M.
-
Pixel, Sub-, 974(0)387--z
-
PKZIP, 1008(0)144--z
-
Pla, F., 970(0)302--309, 970(0)612--617
-
Pla, F., see Gracia, I., \see{Sanchiz, J. M.
-
Place, In-, 955(0)393--z, 969(0)211--z, 974(0)375--z,
1004(0)244--z
-
Plagemann, T., 998(0)320--z
-
Plagemann, T., see Goebel, V.
-
Plainfosse, D., 986(0)211--z
-
Plainfosse:1995:SDG, 986(0)211--z
-
plaintext, 1008(0)144--z
-
Planar, 955(0)218--z, 955(0)369--z, 959(0)21--z, 959(0)41--z,
959(0)366--z, 965(0)171--z, 965(0)191--z, 970(0)456--463,
971(0)369--z, 979(0)494--z, 999(0)202--z, 1004(0)352--z,
1017(0)275--z, 1024(0)74--z, 1026(0)37--z, 1026(0)52--z,
1026(0)413--z
-
Planarity, 979(0)213--z
-
Planarization, 1017(0)62--z
-
plane, 955(0)346--z, 970(0)65--72, 970(0)753--758, 979(0)199--z,
998(0)225--z
-
Planned, 993(0)132--153
-
planner, 984(0)266--279, 992(0)255--z, 1010(0)501--509
-
planning, 955(0)109--z, 957(0)42--z, 957(0)139--z, 958(0)48--z,
958(0)167--z, 973(0)165--z, 973(0)195--z, 973(0)325--z,
973(0)638--z, 974(0)301--z, 978(0)564--z, 984(0)60--74,
985(0)230--z, 988(0)501--z, 990(0)285--z, 990(0)482--z,
991(0)483--z, 992(0)291--z, 1005(0)145--151, 1010(0)169--180,
1016-0-xii, 1020(0)201--z
-
Plans, 958(0)64--z
-
Plant, 970(0)302--309, 974(0)229--z, 999(0)370--z
-
Plantier, J., 974(0)683--z
-
Plantier, J., see Praud, S.
-
Plastic, 970(0)802--807
-
Plat, N., 967(0)237--z
-
Plat, N., see Hall, J. A.
-
Platek, M., 965(0)283--z, 1012(0)379--z
-
Platek, M., see Holan, T., \see{Jancar, P.
-
Platform, 964(0)439--z, 975(0)86--z
-
Platzner, M., 966(0)695--z
-
Platzner, M., see Friedl, G.
-
Plausibilistic, 974(0)361--z
-
Play, 957(0)13--z
-
Playback, 1018(0)170--z
-
Player, 1018(0)142--z
-
Playout, 1018(0)318--z
-
Plaza, E., 984(0)3--17, 1010(0)265--276
-
Plaza, E., see Armengol, E.
-
Plaza:1995:CTF, 1010(0)265--276
-
PLD, 975(0)158--z
-
Pleszkoch, M. G., 961(0)162--z
-
Pleszkoch, M. G., see Gasarch, W. I.
-
Plexousakis, D., 985(0)260--z
-
Plexousakis:1995:CST, 985(0)260--z
-
PLILP, 982(0)1--23, 982(0)24--25, 982(0)26--z, 982(0)27--44,
982(0)45--62, 982(0)63--80, 982(0)81--96, 982(0)97--114,
982(0)115--132, 982(0)133--150, 982(0)151--168, 982(0)169--188,
982(0)189--206, 982(0)207--222, 982(0)223--240, 982(0)241--258,
982(0)259--278, 982(0)279--298, 982(0)299--320, 982(0)321--340,
982(0)341--356, 982(0)357--379, 982(0)380--396, 982(0)397--414,
982(0)415--430, 982(0)431--450, 982(0)451--452, 982(0)453--454,
982(0)455--456, 982(0)457--458, 982(0)459--460, 982(0)461--462,
982(0)463--464, 982(0)465--466
-
Plump, D., 1017(0)88--z
-
Plump:1995:TGR, 1017(0)88--z
-
Pnueli, A., 987(0)189--z, 999(0)1--z
-
Pnueli, A., see Asarin, E., \see{Maler, O.
-
Pnueli, Y. B., 960(0)463--z
-
Pnueli, Y. B., see Makowsky, J. A.
-
Pobil, Angel Pasqual, del, 1016-0-xii
-
Poblete, P. V., 979(0)554--z
-
Poblete:1995:BTA, 979(0)554--z
-
Podelski, A., 976(0)328--344
-
Podelski:1995:SS, 976(0)328--344
-
Poenighaus, R., 1006(0)75--z
-
Poenighaus:1995:FSS, 1006(0)75--z
-
Poggio, T., 970(0)432--439
-
Poggio, T., see Sung, K.-K.
-
Pogliano, P., 992(0)323--z
-
Pogliano:1995:MPD, 992(0)323--z
-
Pohnpei, 988(0)463--z
-
Poigne, A., 1009(0)74--z
-
Poigne, A., see Pinna, M.
-
point, 959(0)41--z, 965(0)181--z, 970(0)9--16, 970(0)130--137,
970(0)480--487, 971(0)186--z, 979(0)238--z, 979(0)460--z,
999(0)311--z, 1004(0)322--z, 1012(0)31--z, 1024(0)91--z,
1024(0)487--z, 1024(0)503--z
-
Pointers, 978(0)490--z
-
Poisson, 964(0)427--z
-
Polanski, A., 970(0)456--463
-
Polanski:1995:SCP, 970(0)456--463
-
Polar, 955(0)13--z, 970(0)130--137
-
Polar, Log-, 970(0)65--72, 970(0)82--89
-
Polarized, 1026(0)324--z
-
Polezhaev, V., 964(0)385--z
-
Polezhaev, V., see Bessonov, O.
-
Poli, R., 990(0)17--z
-
Poli:1995:NCP, 990(0)17--z
-
Policy, 969(0)191--200, 977(0)165--z
-
Pollack, R., 996(0)140--161
-
Pollack:1995:EPC, 996(0)140--161
-
Poly-Parental, 993(0)48--61
-
Polyadic, 962(0)103--116
-
polygon, 955(0)62--z, 955(0)122--z, 959(0)61--z, 965(0)181--z,
970(0)729--734, 979(0)238--z, 979(0)280--z, 979(0)570--z,
994(0)167--176, 1004(0)22--z, 1004(0)382--z
-
Polygonal, 1024(0)132--z, 1024(0)140--z
-
Polygonal, Multi-, 974(0)465--z
-
Polygons-Beyond, 1004(0)32--z
-
Polyhedra, 955(0)74--z
-
Polyhedral, 979(0)494--z
-
Polyhedral, Non-, 974(0)273--z
-
Polymorphic, 962(0)103--116, 982(0)461--462, 983(0)118--z, 983(0)382--z,
1026(0)166--z
-
Polynesia, 988(0)443--z
-
polynomial, 954(0)263--z, 955(0)122--z, 959(0)379--z, 959(0)400--z,
960(0)253--z, 960(0)269--z, 965(0)89--z, 966(0)501--z,
976(0)515--532, 983(0)118--z, 1004(0)224--z, 1016-0-xii,
1026(0)240--z
-
Polynomial, Super-, 990(0)29--z
-
Ponce, J., 994(0)125--138
-
Ponce, J., see Kriegman, D.
-
Pong, F., 966(0)287--z
-
Pong:1995:VDD, 966(0)287--z
-
Pons, J.-F., 1013(0)411--z
-
Pons, J.-F., see Guerni, M.
-
Pontelli, E., 966(0)43--z
-
Pontelli:1995:DBP, 966(0)43--z
-
Poole, J., 954(0)293--z
-
Poole:1995:NAM, 954(0)293--z
-
Pooley, R., 977(0)102--z
-
Pooley:1995:IBS, 977(0)102--z
-
Popescu, D. C., 974(0)637--z
-
Popescu:1995:GSI, 974(0)637--z
-
Popp, R., 998(0)28--z
-
Popp:1995:SST, 998(0)28--z
-
Population, 967(0)334--z, 1011(0)111--z
-
Poria, S., 1022(0)103--z
-
Poria, S., see Jarvis, S.
-
Porisini, A., Coen-, 989(0)90--z
-
Portable, 966(0)527--z, 966(0)699--z, 982(0)465--466, 983(0)366--z
-
Portinale, L., 1010(0)277--288
-
Portinale:1995:AID, 1010(0)277--288
-
Portugali, J., 988(0)431--z
-
Portugali, J., see Benenson, I.
-
Portuguese, 991(0)300--z, 991(0)321--z
-
Pose, 970(0)440--447, 970(0)464--471, 970(0)778--783
-
Position, 970(0)9--16, 970(0)606--611
-
positive, 961(0)292--z, 969(0)382--z, 997(0)41--z, 1004(0)291--z
-
Pospelov, D. A., 964(0)464--z
-
Pospelov, D. A., see Fet, Y. I.
-
Possibility, 972(0)318--z
-
Possible, 964(0)21--z
-
Posthoff, C., 961(0)363--z
-
Posthoff:1995:OSL, 961(0)363--z
-
Postirradiation, 970(0)850--855
-
Potapova, T., 970(0)668--673
-
Potapova, T., see Fainzilberg, L.
-
Potato, Hot-, 979(0)341--z, 1017(0)209--z
-
Potential, 1011(0)34--z
-
Poulin, D., 978(0)449--z
-
Poulin, D., see Choquette, M.
-
Poulovassilis, A., 985(0)101--z
-
Poulovassilis, A., see Reddi, S.
-
Poutre, H., La, 979(0)171--z
-
Pouzet, M., 966(0)441--z
-
Pouzet:1995:PCR, 966(0)441--z
-
power, 960(0)414--z, 960(0)426--z, 965(0)323--z, 970(0)612--617,
970(0)705--710, 975(0)149--z, 1025(0)188--z, 1026(0)124--z,
1026(0)309--z
-
Power, J., 962(0)117--z
-
Power, J., see Hermida, C.
-
Pozzi, G., 1021(0)341--z
-
Pozzi, G., see Casati, F.
-
PQL, 989(0)324--z
-
Practical, 955(0)346--z, 958(0)10--z, 971(0)106--z, 984(0)181--197,
988(0)297--z, 1004(0)162--z, 1013(0)109--z
-
practice, 962(0)264--z, 972(0)71--z, 1000(0)62--z, 1012(0)184--z,
1019(0)89--z, 1021(0)444--z
-
Praehofer, H., 999(0)529--z
-
Praehofer, H., see Zeigler, B. P.
-
Pragmatic, 954(0)1--z, 954(0)89--z, 954(0)105--z, 996(0)1--13
-
PRAM, 965(0)363--z
-
PRAM-Programs, 966(0)243--z
-
Prantl, M., 970(0)359--367
-
Prantl, M., see Pinz, A.
-
Prasad, P. V. S. R., Bhanu, 1010(0)501--509
-
Pratt, V., 1000(0)392--z
-
Pratt:1995:CST, 1000(0)392--z
-
Praud, S., 974(0)683--z
-
Praud:1995:PIS, 974(0)683--z
-
Praxis, 1000(0)518--z
-
Pre-Design, 998(0)501--z
-
Preattentive, 970(0)912--919
-
Precomputing, 963(0)97--z
-
Precondition, 992(0)291--z
-
Predicate, 954(0)338--z, 961(0)174--z, 962(0)363--z, 966(0)403--z,
969(0)489--z, 971(0)46--z, 972(0)303--z, 992(0)44--z, 1013(0)281--z
-
Predicted, 1018(0)3--z
-
Prediction, 974(0)203--z, 974(0)677--z, 977(0)284--z, 977(0)299--z,
991(0)210--z, 992(0)79--z
-
Predictive, 984(0)101--112, 1024(0)25--z
-
Predictors, 989(0)343--z
-
Preemption, 1023(0)111--z
-
Preference, 988(0)207--z, 990(0)225--z
-
Preferential, 981(0)173--z
-
Prefetching, 966(0)301--z, 986(0)381--z
-
Preliminary, 991(0)49--z, 992(0)56--z, 992(0)139--z, 999(0)191--z
-
Preneel, B., 1008(0)242--z, 1008(0)353--z
-
Preneel, B., see Rijmen, V.
-
Preneel, Bart, 963(0)1--14, 1016-0-xii
-
Preneel, Bart, see Bosselaers, Antoon
-
Preneel:1995:MMB, 963(0)1--14
-
Preorder, 968(0)223--z, 969(0)444--z
-
Prepaid, 1025(0)132--z
-
Preparata, F. P., 955(0)1--z, 1004(0)311--z
-
Preparata, F. P., see Bilardi, G.
-
Preparata:1995:SAL, 1004(0)311--z
-
PREPARE, 998(0)261--z
-
Preprocessing, 974(0)361--z
-
Presburger, 983(0)21--z
-
presence, 997(0)123--z, 1023(0)195--z, 1026(0)22--z
-
Presentations, 960(0)367--z
-
Presenting, 990(0)435--z, 991(0)272--z
-
Preservation, 960(0)480--z
-
Preserve, 959(0)420--z
-
Preserving, 968(0)71--z, 968(0)332--z
-
Prestwich, S., 976(0)533--548
-
Prestwich:1995:IBB, 976(0)533--548
-
Pretty, 962(0)264--z
-
Preucil, I., 973(0)454--z
-
Preucil, L., 978(0)632--z
-
Preucil:1995:ASC, 973(0)454--z
-
Preucil:1995:ISG, 978(0)632--z
-
Preventive, 992(0)347--z
-
Priami, C., 964(0)36--z, 1023(0)141--z
-
Priami, C., see Bianchi, A., \see{Mycroft, A.
-
Pribicevic, B., 991(0)473--z
-
Pribicevic, B., see Krajcar, S.
-
Price, C. J., 1020(0)121--z
-
Price, D., 1024(0)161--z
-
Price, D., see Anisimov, V.
-
Price:1995:DPV, 1020(0)121--z
-
Pridmore, T. P., 970(0)278--285
-
Pridmore:1995:DTL, 970(0)278--285
-
Priebe, V., 979(0)185--z
-
Priebe, V., see Mehlhorn, K.
-
Priese, L., 962(0)175--z
-
Priese, L., see Nielsen, M.
-
Priestley, M., 967(0)83--z
-
Priestley, M., see D'Inverno, M.
-
Primal-Dual, 959(0)650--z
-
Primary, 994(0)191--206, 1024(0)493--z
-
Prime, 963(0)372--z, 1025(0)188--z
-
Primer, 1000(0)203--z
-
Primitive, 965(0)233--z
-
Primitive, Non-, 971(0)17--z
-
primitives, 970(0)464--471, 1016-0-xii, 1023(0)111--z, 1024(0)497--z,
1026(0)124--z
-
PRINCE, 1012(0)166--z
-
principle, 963(0)236--z, 998(0)468--z, 1022(0)15--z
-
Print, Blue-, 974(0)569--z
-
Printed, 970(0)550--555, 974(0)557--z
-
Prints, 978(0)68--z
-
priori, 974(0)527--z
-
Priority, 955(0)270--z, 955(0)282--z, 980(0)379--z, 992(0)152--z
-
prisoner, 956(0)90--z, 956(0)276--z
-
Privacy, 998(0)52--z
-
Private, 963(0)110--z
-
Proactive, 963(0)339--z
-
probabilistic, 961(0)108--z, 961(0)155--z, 962(0)234--z, 962(0)249--z,
965(0)343--z, 970(0)326--333, 970(0)350--358, 970(0)674--679,
970(0)862--867, 987(0)206--224, 997(0)169--z, 1016-0-xii,
1019(0)174--z, 1023(0)286--z, 1024(0)505--z
-
Probert, P., 1011(0)148--z
-
Probert, P., see Leitch, D.
-
problem, 955(0)13--z, 955(0)26--z, 955(0)369--z, 955(0)449--z,
955(0)494--z, 956(0)28--z, 956(0)166--z, 956(0)305--z, 957(0)231--z,
958(0)30--z, 959(0)71--z, 959(0)141--z, 959(0)229--z, 959(0)313--z,
959(0)436--z, 959(0)510--z, 959(0)559--z, 959(0)566--z,
959(0)582--z, 959(0)591--z, 959(0)597--z, 959(0)617--z, 961(0)96--z,
964(0)427--z, 965(0)201--z, 969(0)1--z, 969(0)221--z, 969(0)227--z,
969(0)277--z, 969(0)299--z, 969(0)359--z, 969(0)402--z,
969(0)412--z, 970(0)408--415, 970(0)856--861, 970(0)950--955,
975(0)352--z, 976(0)36--52, 976(0)88--102, 976(0)463--480,
976(0)481--498, 976(0)564--587, 978(0)535--z, 979(0)128--z,
979(0)394--z, 979(0)420--z, 979(0)484--z, 979(0)494--z, 980(0)1--z,
980(0)43--z, 980(0)99--z, 980(0)187--z, 980(0)285--z, 981(0)49--z,
984(0)113--125, 987(0)56--z, 990(0)69--z, 990(0)441--z, 991(0)59--z,
991(0)473--z, 992(0)56--z, 992(0)163--z, 992(0)261--z, 993(0)62--74,
993(0)75--85, 993(0)86--93, 993(0)94--102, 1000(0)115--z,
1004(0)1--z, 1004(0)2--z, 1004(0)132--z, 1004(0)142--z,
1004(0)216--z, 1004(0)409--z, 1004(0)418--z, 1008(0)179--z,
1008(0)265--z, 1010(0)193--204, 1010(0)401--410, 1010(0)441--450,
1010(0)451--460, 1010(0)481--490, 1012(0)103--z, 1012(0)425--z,
1012(0)481--z, 1016-0-xii, 1017(0)73--z, 1017(0)167--z,
1017(0)275--z, 1017(0)333--z, 1017(0)381--z, 1026(0)22--z,
1026(0)428--z
-
Procedure, 954(0)158--z, 962(0)284--z, 969(0)423--z, 971(0)75--z,
976(0)515--532, 992(0)175--z
-
process, 962(0)12--z, 962(0)88--z, 962(0)204--z, 962(0)249--z,
962(0)471--z, 962(0)501--z, 965(0)1--z, 965(0)136--z, 965(0)221--z,
969(0)191--200, 969(0)423--z, 969(0)444--z, 974(0)133--z,
977(0)41--z, 977(0)71--z, 977(0)357--z, 981(0)1--z, 982(0)1--23,
989(0)8--z, 989(0)28--z, 989(0)44--z, 990(0)311--z, 990(0)323--z,
992(0)323--z, 999(0)15--z, 1004(0)301--z, 1005(0)173--178,
1011(0)101--z, 1015(0)179--z, 1018(0)170--z, 1019(0)174--z,
1019(0)195--z, 1021(0)270--z, 1023(0)126--z, 1026(0)294--z
-
processes, 1021(0)282--z
-
processing, 958(0)244--z, 964(0)57--z, 964(0)320--z, 964(0)356--z,
964(0)434--z, 964(0)439--z, 964(0)477--z, 966(0)485--z,
966(0)593--z, 970(0)606--611, 970(0)920--925, 974(0)97--z,
974(0)109--z, 974(0)115--z, 974(0)253--z, 974(0)347--z,
975(0)129--z, 975(0)158--z, 975(0)293--z, 975(0)362--z,
978(0)197--z, 978(0)217--z, 979(0)295--z, 980(0)171--z,
980(0)187--z, 980(0)249--z, 981(0)19--z, 982(0)415--430,
985(0)213--z, 988(0)193--z, 990(0)201--z, 991(0)310--z,
992(0)115--z, 993(0)191--199, 994(0)167--176, 998(0)159--z,
1006(0)135--z, 1006(0)178--z, 1012(0)419--z, 1013(0)281--z,
1013(0)299--z, 1015(0)166--z, 1016-0-xii
-
Processing, Image-, 974(0)145--z
-
Processor, 959(0)627--z, 964(0)51--z, 964(0)85--z, 964(0)326--z,
966(0)117--z, 972(0)145--z, 974(0)127--z, 975(0)36--z, 975(0)68--z,
978(0)545--z, 980(0)99--z, 1012(0)50--z, 1018(0)202--z
-
Processor-Time, 955(0)1--z
-
Procol, 969(0)509--z
-
Procter, R., 964(0)180--z
-
Procter, R., see Hondroudakis, A.
-
Producerash, 976(0)449--462
-
product, 969(0)288--z, 975(0)111--z, 978(0)374--z, 989(0)124--z,
1021(0)441--z
-
Production, 973(0)195--z, 973(0)217--z, 973(0)563--z, 973(0)638--z,
990(0)153--z, 1009(0)388--z, 1011(0)19--z
-
Proesmans, M., 970(0)1--8
-
Proesmans, M., see Van Gool, L.
-
PROFIL, 1010(0)33--42
-
Profiles, 970(0)368--375
-
program, 954(0)158--z, 958(0)64--z, 960(0)77--z, 960(0)281--z,
961(0)76--z, 961(0)435--z, 961(0)467--z, 964(0)157--z, 964(0)163--z,
964(0)204--z, 964(0)234--z, 966(0)27--z, 966(0)379--z, 966(0)403--z,
966(0)429--z, 966(0)441--z, 966(0)687--z, 966(0)715--z,
966(0)719--z, 969(0)319--z, 975(0)399--z, 976(0)154--169,
976(0)204--221, 976(0)431--448, 977(0)11--z, 977(0)254--z,
980(0)59--z, 982(0)1--23, 982(0)24--25, 982(0)26--z, 982(0)27--44,
982(0)45--62, 982(0)63--80, 982(0)81--96, 982(0)97--114,
982(0)115--132, 982(0)133--150, 982(0)151--168, 982(0)169--188,
982(0)189--206, 982(0)207--222, 982(0)223--240, 982(0)241--258,
982(0)259--278, 982(0)279--298, 982(0)299--320, 982(0)321--340,
982(0)341--356, 982(0)357--379, 982(0)380--396, 982(0)397--414,
982(0)415--430, 982(0)431--450, 982(0)451--452, 982(0)453--454,
982(0)455--456, 982(0)457--458, 982(0)459--460, 982(0)461--462,
982(0)463--464, 982(0)465--466, 983(0)64--z, 983(0)136--z,
983(0)154--z, 983(0)243--z, 989(0)154--z, 989(0)324--z,
989(0)343--z, 992(0)353--z, 996(0)1--13, 996(0)14--38, 996(0)39--59,
996(0)60--82, 996(0)83--100, 996(0)101--119, 996(0)120--139,
996(0)140--161, 996(0)162--182, 996(0)183--202, 997(0)95--z,
997(0)266--z, 999(0)405--z, 999(0)436--z, 1000(0)406--z,
1000(0)471--z, 1009(0)190--z, 1012(0)391--z, 1013(0)91--z,
1013(0)378--z, 1013(0)485--z, 1022(0)139--z, 1022(0)231--z,
1023(0)301--z
-
Programmable, 975(0)370--z
-
Programmes, 976(0)588--z
-
Programming, Constraint-, 976(0)499--514
-
Programs, ELS-, 1013(0)91--z
-
Programs, PRAM-, 966(0)243--z
-
PROGRES, 989(0)219--z
-
Progress, 986(0)355--z, 988(0)207--z
-
Progressive, 976(0)36--52, 1024(0)292--z
-
Project, 988(0)69--z, 989(0)423--z, 1021(0)445--z
-
Projection, 954(0)217--z, 954(0)278--z, 983(0)382--z
-
Projective, 970(0)729--734
-
projects, 1010(0)11--22
-
Prokhorov, V. V., 1015(0)135--z
-
Prokhorov:1995:PMS, 1015(0)135--z
-
Proliferative, 974(0)247--z
-
Prolog, 966(0)553--z, 966(0)691--z, 983(0)243--z, 983(0)418--z,
983(0)420--z, 1006(0)214--z
-
PROMAL, 991(0)101--z
-
Promoting, 990(0)387--z
-
proof, 954(0)158--z, 958(0)48--z, 958(0)64--z, 958(0)115--z,
959(0)496--z, 960(0)77--z, 960(0)221--z, 962(0)12--z, 963(0)325--z,
966(0)143--z, 967(0)114--z, 968(0)353--z, 969(0)105--z,
969(0)479--z, 971(0)46--z, 971(0)353--z, 981(0)149--z, 981(0)161--z,
987(0)56--z, 989(0)90--z, 990(0)29--z, 996(0)1--13, 996(0)14--38,
996(0)39--59, 996(0)60--82, 996(0)83--100, 996(0)101--119,
996(0)120--139, 996(0)140--161, 996(0)162--182, 996(0)183--202,
1009(0)299--z, 1012(0)184--z, 1016-0-xii, 1019(0)17--z,
1022(0)269--z, 1023(0)88--z, 1023(0)187--z, 1023(0)335--z
-
Propagation, 955(0)1--z, 958(0)191--z, 970(0)932--937, 976(0)398--414,
985(0)245--z, 990(0)83--z
-
Propagation, Back-, 966(0)513--z
-
Proper, 959(0)334--z, 975(0)168--z
-
Proper, H., 1021(0)191--z
-
Proper, H., see Halpin, T.
-
property, 955(0)449--z, 957(0)28--z, 958(0)131--z, 959(0)643--z,
962(0)348--z, 962(0)453--z, 964(0)36--z, 964(0)117--z, 965(0)343--z,
968(0)296--z, 968(0)316--z, 969(0)237--z, 974(0)494--z,
981(0)233--z, 983(0)64--z, 987(0)278--z, 989(0)59--z, 999(0)405--z,
1008(0)131--z, 1019(0)174--z
-
proposal, 970(0)790--795, 974(0)405--z, 992(0)389--z, 1011(0)173--z
-
Proposed, 964(0)326--z
-
Propositional, 958(0)255--z, 969(0)105--z, 990(0)17--z
-
Propositions, 958(0)144--z
-
ProSet-Linda, 980(0)301--z
-
Prospect, 964(0)234--z, 986(0)117--z
-
Prosser, P., 976(0)70--87
-
Prosser, P., see Gent, I. P.
-
Protecting, 1025(0)112--z
-
protection, 1016-0-xii
-
PROTEUS, 1005(0)216--240
-
protocol, 957(0)157--z, 959(0)161--z, 963(0)70--z, 963(0)124--z,
963(0)236--z, 963(0)297--z, 964(0)94--z, 966(0)269--z, 966(0)287--z,
971(0)58--z, 971(0)90--z, 971(0)308--z, 972(0)160--z, 977(0)372--z,
977(0)385--z, 978(0)227--z, 987(0)21--z, 1018(0)178--z,
1026(0)96--z
-
Prototype, 975(0)303--z, 975(0)341--z, 983(0)382--z, 998(0)458--z
-
prototyping, 974(0)683--z, 975(0)129--z, 975(0)218--z, 975(0)409--z,
978(0)38--z, 980(0)301--z, 1021(0)308--z
-
Prove, 1025(0)142--z
-
prover, 971(0)106--z, 987(0)35--z
-
Provide, 959(0)410--z, 967(0)47--z, 1005(0)289--292
-
Providing, 988(0)93--z, 998(0)92--z
-
Proving, 958(0)1--z, 958(0)10--z, 958(0)18--z, 962(0)453--z,
990(0)261--z, 991(0)79--z
-
proving., 1016-0-xii
-
Provision, 1018(0)251--z
-
Proximity, 955(0)239--z, 988(0)31--z
-
Pruegel-Bennett, A., 993(0)14--24
-
Pruegel-Bennett, A., see Shapiro, J. L.
-
Pruesse, G., 955(0)303--z
-
Pruesse, G., see Baruah, S.
-
Pruhs, K. R., 979(0)484--z
-
Pruhs, K. R., see Kalyanasundaram, B.
-
Pruning, 974(0)488--z
-
Przymusinski, T., 990(0)41--z
-
Przymusinski, T., see Alferes, J.
-
Przytycka, T. M., 979(0)381--z
-
Przytycka, T. M., see Farach, M.
-
PSCS, 998(0)492--z
-
Pseudo-Random, 963(0)185--z
-
pseudorandom, 963(0)15--z, 1008(0)6--z
-
PTL, 962(0)438--z
-
Pu, C., 1018(0)142--z
-
Pu, C., see Cen, S.
-
Pu, P., 1010(0)289--300
-
Pu, P., see Purvis, L.
-
Public, 963(0)236--z, 963(0)248--z, 963(0)287--z, 963(0)325--z,
963(0)353--z, 998(0)261--z, 1021(0)282--z, 1025(0)84--z
-
Public-Key, 959(0)264--z, 1025(0)132--z
-
Pucci, G., 966(0)231--z, 979(0)60--z
-
Pucci, G., see Bhatt, S. N.,
see Herley, K. T.
-
Puder, A., 954(0)59--z
-
Puder:1995:STU, 954(0)59--z
-
Pudil, P., 970(0)832--837
-
Pudil:1995:ASM, 970(0)832--837
-
Pudlak, P., 960(0)210--z
-
Pudlak, P., see Krajicek, J.
-
Pudney, C., 1024(0)274--z
-
Pudney:1995:FDU, 1024(0)274--z
-
Puget, J.-F., 976(0)647--650
-
Puget:1995:ACP, 976(0)647--650
-
Puliafito, A., 977(0)165--z
-
Puliafito, A., see Telek, M.
-
Puliti, P., 974(0)465--z, 992(0)231--z
-
Puliti, P., see Dragoni, A. F.,
see Tascini, G.
-
Pullback, 1017(0)101--z
-
Pumping, 964(0)51--z
-
Pupil, 970(0)717--722
-
Puppo, E., 974(0)367--z
-
Puppo:1995:SRR, 974(0)367--z
-
Pure, 969(0)221--z
-
Puri, A., 999(0)359--z
-
Puri:1995:VHS, 999(0)359--z
-
Purpose, Special-, 966(0)695--z
-
Pursuing, 970(0)400--407
-
pursuit, 957(0)231--z
-
Purvis, L., 1010(0)289--300
-
Purvis:1995:AUC, 1010(0)289--300
-
Pushdown, 965(0)343--z
-
Putnam, 976(0)515--532
-
PVM, 964(0)288--293
-
PVS, 1026(0)96--z
-
Pyramidal, 974(0)139--z
-
Pyramids, 974(0)649--z
-
PYTHAGORAS, 1015(0)135--z