Last update: Sun Jun 12 03:08:01 2016
Return to index directory
T
-
T3E, 1557(0)38--47
-
table, 1592(0)176--z, 1594(0)418--418
-
Tableau, 1540(0)332--347
-
Tabling, 1551(0)106--121, 1551(0)137--151
-
Tabu, 1585(0)187--194
-
Tabular, 1579(0)345--359
-
TACAS, 1579(0)1--18, 1579(0)19--33, 1579(0)34--43, 1579(0)44--58,
1579(0)59--73, 1579(0)74--88, 1579(0)89--103, 1579(0)104--118,
1579(0)119--133, 1579(0)134--147, 1579(0)148--162, 1579(0)163--177,
1579(0)178--192, 1579(0)193--207, 1579(0)208--222, 1579(0)223--239,
1579(0)240--254, 1579(0)255--269, 1579(0)270--284, 1579(0)285--299,
1579(0)300--314, 1579(0)315--329, 1579(0)330--344, 1579(0)345--359,
1579(0)360--374, 1579(0)375--389, 1579(0)390--404, 1579(0)405--419,
1579(0)420--434, 1579(0)435--438, 1579(0)439--443
-
Tachibana, Kanta, 1585(0)206--214
-
Tachibana:1999:GCS, 1585(0)206--214
-
Tadic, Vladislav, 1572(0)126--137
-
Tadic:1999:ABC, 1572(0)126--137
-
Tagashira, S., 1552(0)266--277
-
Tagashira:1999:CUM, 1552(0)266--277
-
Tagless, 1595(0)186--199
-
Taha, W., 1576(0)193--207
-
Taha, W., see Moggi, E.
-
Tajima, Morihiko, 1558(0)265--281
-
Tajima:1999:EPO, 1558(0)265--281
-
Tajine, Mohamed, 1568(0)399--410
-
Tajine:1999:HDC, 1568(0)399--410
-
Takabatake, M., 1593(0)663--z
-
Takabatake:1999:PMS, 1593(0)663--z
-
Takacs, L., 1573(0)666--679
-
Takacs, L., see Sawyer, W.
-
Takada, H., 1586(0)284--z
-
Takada, H., see Ravindran, B.
-
Takagi, Tomohiro, 1585(0)240--250
-
Takagi, Tomohiro, see Yamaguchi, Toru
-
Takahashi, Hiroki, 1554(0)301--312
-
Takahashi, Hiroki, see Zhang, Xiaohua
-
Takahashi, T., 1586(0)1178--z
-
Takahashi:1999:IEM, 1586(0)1178--z
-
Takakura, H., 1552(0)368--379
-
Takakura, H., see Hamano, T.
-
Takao, Naoya, 1554(0)236--251
-
Takao, Naoya, see Nabeshima, Shinji
-
Takaragi, K., 1550(0)83--z
-
Takaragi, K., see Yshiura, H.
-
Takaragi, Kazuo, 1550(0)83--89
-
Takaragi, Kazuo, see Yoshiura, Hiroshi
-
Takashima, Y., 1556(0)264--z
-
Takashima, Y., see Kanda, M.
-
Takkula, T., 1593(0)3--z
-
Takkula, T., see Sanders, P.
-
Talbi, E.-G., 1586(0)239--z
-
Talbi:1999:PAC, 1586(0)239--z
-
Tales, 1580(0)17--z
-
Talk, 1554(0)445--450, 1554(0)451--452, 1573(0)4--19, 1573(0)176--202,
1573(0)301--330, 1573(0)563--578, 1573(0)593--622, 1585(0)357--364
-
Tamm, Hellis, 1551(0)179--195
-
Tamm, Hellis, see Hakli, Raul
-
Tamura, T., 1574(0)94--98
-
Tamura, T., see Pramudiono, I.
-
Tanaka, Hidehiko, 1554(0)87--102, 1557(0)594--595
-
Tanaka, Hidehiko, see Ide, Ichiro,
see Magnaghi, Antonio
-
Tanaka, Katsumi, 1554(0)356--369
-
Tanaka, Katsumi, see Zettsu, Koji
-
Tanaka, Kimiko, 1585(0)317--324
-
Tanaka, Masaru, 1585(0)349--356
-
Tanaka, Masaru, see Niwa, Tatsuya
-
Tanaka, T., 1552(0)532--541
-
Tanaka, T., see Amagasa, T.
-
Tanaka, Toshiaki, 1560(0)82--96
-
Tanaka, Toshiaki, see Hada, Satoshi
-
Tanaka, Y., 1593(0)211--z, 1593(0)764--z
-
Tanaka, Y., see Matsuda, M., \see{Satoh, S.
-
Tanaka:1999:LLR, 1585(0)317--324
-
Tang, Chuan Yi, 1563(0)334--344
-
Tang, Chuan Yi, see Wu, Bang Ye
-
Tang, W.-P., 1573(0)176--202
-
Tang, W.-P., see Barth, T. J.
-
Tang, X., 1586(0)138--z
-
Tang, X., see Kusakabe, S.
-
Tang, Z., 1593(0)463--z, 1593(0)1147--z
-
Tang, Z., see Hu, W., \see{Shi, W.
-
Tangent, 1568(0)31--40
-
Taniar, David, 1557(0)559--569
-
Taniar:1999:PSC, 1557(0)559--569
-
Taniguchi, Rin-ichiro, 1557(0)296--305
-
Taniguchi, Rin-ichiro, see Arita, Daisaku
-
Taniguchi, Yukinobu, 1554(0)17--29
-
Taniguchi, Yukinobu, see Niikura, Yasuhiro
-
Tanks, 1567(0)163--185
-
Tannen, Val, 1540(0)39--57
-
Tannen, Val, see Popa, Lucian
-
Tano, S., 1566(0)117--132
-
Tano:1999:DFS, 1566(0)117--132
-
Tao, X., 1574(0)520--524
-
Tao, Y., 1586(0)964--z
-
Tao:1999:MFD, 1574(0)520--524
-
Tao:1999:WSI, 1586(0)964--z
-
Taouil, Rafik, 1540(0)398--416
-
Taouil, Rafik, see Pasquier, Nicolas
-
Tapken, J., 1577(0)219--233
-
Tapken:1999:IHG, 1577(0)219--233
-
Tapp, Alain, 1509(0)61--74
-
Tapp, Alain, see Cleve, Richard
-
Targeted, 1586(0)661--z
-
Targeted, {Java}-, 1577(0)77--97
-
Tarlecki, Andrzej, 1548(0)341--357
-
Tarlecki, Andrzej, see Bidoit, Michel
-
Tarumi, H., 1552(0)408--420
-
Tarumi:1999:GAD, 1552(0)408--420
-
TAS, 1577(0)239--244
-
Task, 1542(0)312--330, 1542(0)538--551, 1555(0)293--z, 1555(0)413--z,
1557(0)236--245, 1571(0)54--69, 1573(0)480--493, 1586(0)201--z,
1586(0)339--z, 1586(0)1065--z
-
Tatsumi, Shoji, 1599(0)133--147
-
Tatsumi, Shoji, see Kitamura, Yasuhiko
-
Tautz, C., 1570(0)138--147
-
Tautz, C., see Nick, M.
-
Tavares, S. E., 1556(0)43--z, 1556(0)131--z
-
Tavares, S. E., see Chen, Z.-G.,
see Mister, S.
-
Taylor, John, Shawe-, 1572(0)263--273, 1572(0)274--284
-
Taylor, V. E., 1586(0)996--z
-
Taylor, V. E., see Chen, J.
-
TC, 1597(0)84--100
-
TCP, 1552(0)301--310
-
Teaching, 1572(0)168--182
-
Teams:, A-, 1555(0)261--z
-
Teamwork, 1555(0)293--z
-
Technique, 1568(0)413--424, 1570(0)138--147, 1574(0)138--142,
1575(0)259--273, 1593(0)319--z, 1593(0)713--z, 1593(0)1015--z
-
techniques, 1540(0)332--347, 1557(0)127--139, 1574(0)13--23,
1579(0)148--162, 1579(0)285--299, 1579(0)420--434, 1589(0)1--15,
1589(0)16--30, 1589(0)31--47, 1589(0)48--62, 1589(0)63--78,
1589(0)79--91, 1589(0)92--106, 1589(0)107--121, 1589(0)122--137,
1589(0)138--151, 1589(0)152--167, 1589(0)168--182, 1589(0)183--197,
1589(0)198--215, 1589(0)216--240, 1589(0)241--260, 1589(0)261--276,
1589(0)277--292, 1589(0)293--309, 1589(0)310--325, 1589(0)326--340
-
technology, 1500(0)1--z, 1500-0-i-xii, 1548(0)1--7, 1548(0)8--16,
1548(0)17--22, 1548(0)23--27, 1548(0)28--41, 1548(0)42--58,
1548(0)59--73, 1548(0)74--90, 1548(0)91--105, 1548(0)106--123,
1548(0)124--139, 1548(0)140--153, 1548(0)154--163, 1548(0)164--177,
1548(0)178--195, 1548(0)196--213, 1548(0)214--230, 1548(0)231--247,
1548(0)248--262, 1548(0)263--277, 1548(0)278--292, 1548(0)293--307,
1548(0)308--324, 1548(0)325--340, 1548(0)341--357, 1548(0)358--372,
1548(0)373--388, 1548(0)389--405, 1548(0)406--421, 1548(0)422--437,
1548(0)438--454, 1548(0)455--470, 1548(0)471--485, 1548(0)486--501,
1548(0)502--518, 1548(0)522--526, 1548(0)527--529, 1552(0)1--13,
1552(0)14--28, 1552(0)29--40, 1552(0)41--54, 1552(0)55--67,
1552(0)68--80, 1552(0)81--92, 1552(0)93--104, 1552(0)105--116,
1552(0)117--128, 1552(0)129--140, 1552(0)141--144, 1552(0)145--156,
1552(0)157--168, 1552(0)169--180, 1552(0)181--192, 1552(0)193--204,
1552(0)205--217, 1552(0)218--229, 1552(0)230--241, 1552(0)242--253,
1552(0)254--265, 1552(0)266--277, 1552(0)278--289, 1552(0)290--300,
1552(0)301--310, 1552(0)311--322, 1552(0)323--334, 1552(0)335--346,
1552(0)347--357, 1552(0)358--367, 1552(0)368--379, 1552(0)380--381,
1552(0)382--395, 1552(0)396--407, 1552(0)408--420, 1552(0)421--433,
1552(0)434--445, 1552(0)446--453, 1552(0)454--465, 1552(0)466--473,
1552(0)474--483, 1552(0)484--495, 1552(0)496--507, 1552(0)508--519,
1552(0)520--531, 1552(0)532--541, 1552(0)542--553, 1552(0)554--567,
1552(0)568--579, 1552(0)580--590, 1570(0)186--192, 1574(0)464--468,
1574(0)464--z, 1580(0)129--z, 1586(0)570--z, 1593(0)159--z,
1593(0)329--z, 1593(0)973--z, 1597(0)129--130, 1597(0)263--274
-
Tehrani, S., Nadjm-, 1569(0)193--z
-
Tehrani, Simin, Nadjm-, 1567(0)238--250, 1569(0)193--z--1
-
Tejera, M., Hernandez-, 1542(0)293--311
-
Telecollaboration, 1554(0)30--43
-
Telecommunication, 1551(0)152--163, 1597(0)1--2, 1597(0)194--209
-
Telemedical, 1593(0)964--z
-
Telemedicine, 1593(0)959--z, 1593(0)983--z
-
Telford, S. O., 1593(0)1143--z
-
Telford:1999:CAS, 1593(0)1143--z
-
Tell, 1509(0)258--268
-
Tellier, Pierre, 1568(0)447--458
-
Tellier:1999:DNV, 1568(0)447--458
-
Templates, 1586(0)697--z
-
temporal, 1548(0)28--41, 1548(0)74--90, 1552(0)1--13, 1552(0)14--28,
1552(0)29--40, 1552(0)41--54, 1552(0)55--67, 1552(0)68--80,
1552(0)81--92, 1552(0)93--104, 1552(0)105--116, 1552(0)117--128,
1552(0)129--140, 1552(0)141--144, 1552(0)145--156, 1552(0)157--168,
1552(0)169--180, 1552(0)181--192, 1552(0)193--204, 1552(0)205--217,
1552(0)218--229, 1552(0)230--241, 1552(0)242--253, 1552(0)254--265,
1552(0)266--277, 1552(0)278--289, 1552(0)290--300, 1552(0)301--310,
1552(0)311--322, 1552(0)323--334, 1552(0)335--346, 1552(0)347--357,
1552(0)358--367, 1552(0)368--379, 1552(0)380--381, 1552(0)382--395,
1552(0)396--407, 1552(0)408--420, 1552(0)421--433, 1552(0)434--445,
1552(0)446--453, 1552(0)454--465, 1552(0)466--473, 1552(0)474--483,
1552(0)484--495, 1552(0)496--507, 1552(0)508--519, 1552(0)520--531,
1552(0)532--541, 1552(0)542--553, 1552(0)554--567, 1552(0)568--579,
1552(0)580--590, 1555(0)177--z, 1558(0)113--125, 1562(0)209--229,
1563(0)32--46, 1565(0)73--86, 1567(0)414--428, 1578(0)288--305,
1584(0)58--72, 1586(0)606--z, 1589(0)293--309
-
Temporal, Spatial-, 1552(0)484--495
-
Temporal, Spatio-, 1552(0)454--465, 1552(0)496--507,
1552(0)532--541
-
Temporal-Difference, 1572(0)126--137
-
Ten Dam, A. A., 1593(0)50--z
-
Ten Dam, A. A., see Van Sterkenburg, R. P.
-
Terabe, M., 1574(0)143--147
-
Terabe:1999:DPP, 1574(0)143--147
-
Teraflops, 1557(0)1--12
-
Term, 1548(0)178--195, 1577(0)98--113, 1581(0)98--113, 1589(0)152--167
-
Termination, 1559(0)199--218, 1559(0)240--254, 1581(0)325--339
-
terms, 1558(0)282--299, 1572(0)274--284, 1582(0)212--z, 1584(0)260--282
-
Terrain, 1580(0)315--z
-
Territories, 1563(0)173--183
-
Teruel, Pedro E., López-de-, 1557(0)570--571
-
Terzopoulos, Demetri, 1554(0)406--421
-
Terzopoulos:1999:VMM, 1554(0)406--421
-
Tesfaye, Tarik, Ono-, 1579(0)330--344
-
test, 1548(0)502--518, 1556(0)57--z, 1561(0)127--133, 1573(0)238--249
-
Test-Bed, 1580(0)265--z
-
Testing, 1563(0)47--56, 1578(0)41--55, 1578(0)165--179, 1579(0)315--329,
1584(0)29--44
-
Teuner, A., 1542(0)432--449
-
Teuner, A., see Santos Conde, J. E.
-
Text, 1552(0)434--445, 1562(0)27--36, 1570(0)148--156
-
Textual, 1574(0)174--178
-
Tezuka, H., 1586(0)1178--z
-
Tezuka, H., see Takahashi, T.
-
th, 1558(0)265--281
-
Thalheim, Bernhard, 1565(0)227--242, 1565(0)287--302
-
Thalheim, Bernhard, see Chen, Peter P.
-
Thalheim:1999:SM, 1565(0)227--242
-
Thalmann, H., 1580(0)151--z
-
Thalmann, H., see Keller, S. F.
-
Thamm, J., 1552(0)382--395
-
Thamm:1999:WSC, 1552(0)382--395
-
than, 1592(0)1--z
-
Thapliyal, Ashish, 1509(0)247--257
-
Thapliyal, Ashish, see DiVincenzo, David P.
-
Theater, 1542(0)66--82
-
theorem, 1568(0)104--117, 1577(0)239--244, 1579(0)178--192,
1579(0)375--389, 1581(0)355--364, 1584(0)1--8, 1584(0)204--223
-
Theoretic, 1599(0)76--87
-
Theoretic, Automata-, 1578(0)14--30
-
Theoretic, Information-, 1509(0)218--z, 1574(0)133--137
-
theoretic, proof-, 1582(0)132--z
-
Theoretic, Set-, 1548(0)373--388
-
Theoretic, Type-, 1581(0)6--13
-
Theoretical, 1572(0)1--10, 1572(0)11--17
-
theory, 1509(0)258--268, 1509(0)296--301, 1540(0)1--30, 1540(0)31--z,
1540(0)32--38, 1540(0)39--57, 1540(0)58--69, 1540(0)70--82,
1540(0)83--99, 1540(0)100--112, 1540(0)113--130, 1540(0)131--149,
1540(0)150--168, 1540(0)169--186, 1540(0)187--198, 1540(0)199--216,
1540(0)217--235, 1540(0)236--256, 1540(0)257--276, 1540(0)277--295,
1540(0)296--313, 1540(0)314--331, 1540(0)332--347, 1540(0)348--364,
1540(0)365--382, 1540(0)383--397, 1540(0)398--416, 1540(0)417--434,
1540(0)435--452, 1540(0)453--470, 1540(0)471--488, 1551(0)290--304,
1563(0)467--477, 1566(0)166--179, 1572(0)1--10, 1572(0)11--17,
1572(0)18--33, 1572(0)34--49, 1572(0)50--62, 1572(0)63--78,
1572(0)79--90, 1572(0)91--100, 1572(0)101--110, 1572(0)111--125,
1572(0)126--137, 1572(0)138--152, 1572(0)153--167, 1572(0)168--182,
1572(0)183--197, 1572(0)198--213, 1572(0)214--229, 1572(0)230--240,
1572(0)241--252, 1572(0)253--262, 1572(0)263--273, 1572(0)274--284,
1572(0)285--300, 1578(0)165--179, 1581(0)198--212, 1585(0)454--461,
1586(0)911--z, 1586(0)1193--z, 1589(0)92--106, 1594(0)85--102
-
Theory, Set-, 1552(0)466--473
-
Therapy, 1570(0)210--217
-
Thermodynamic, 1509(0)296--301, 1585(0)106--113
-
Thermography, 1558(0)232--251
-
Thiemann, P., 1576(0)243--257
-
Thiemann:1999:HOC, 1576(0)243--257
-
Thin, 1568(0)53--64
-
thing, 1552(0)141--144, 1555(0)211--z
-
Thinning, 1568(0)325--336, 1568(0)337--346
-
Third, 1550(0)95--99, 1550(0)100--107, 1550(0)100--z, 1560(0)171--187
-
Thitikamol, K., 1586(0)511--z
-
Thitikamol:1999:CIP, 1586(0)511--z
-
Thome, R., 1580(0)129--z
-
Thome, R., see Camara, G.
-
Thonnat, M., 1542(0)200--215
-
Thonnat:1999:EII, 1542(0)200--215
-
thought, 1552(0)301--310
-
Thread, 1586(0)363--z, 1586(0)496--z
-
Thread-Level, 1593(0)754--z
-
Threaded, 1586(0)138--z
-
Threaded, Multi-, 1523(0)157--z
-
Threats, 1587(0)202--212
-
Three, 1540(0)1--30, 1599(0)118--132, 1599(0)118--z
-
Three-Dimensional, 1554(0)289--300
-
Threshold, 1560(0)171--187, 1587(0)103--116, 1587(0)177--191,
1592(0)90--z
-
Thrill, 1568(0)275--285
-
through, 1540(0)332--347, 1551(0)31--45, 1551(0)228--242,
1552(0)254--265, 1559(0)322--324, 1562(0)209--229, 1575(0)244--258,
1579(0)148--162, 1586(0)1115--z, 1594(0)384--398
-
Tian, Z., 1574(0)104--108, 1574(0)159--168
-
Tian, Z., see Zhou, A.
-
Tierney, B., 1593(0)150--z
-
Tierney, B., see Lee, J.
-
Tight, 1563(0)414--423
-
Tile, 1577(0)60--76
-
Tiling, 1575(0)168--182
-
time, 1509(0)89--102, 1540(0)169--186, 1557(0)541--548, 1562(0)230--241,
1563(0)78--89, 1563(0)143--152, 1563(0)259--269, 1568(0)31--40,
1569(0)19--z, 1584(0)9--28, 1585(0)333--340, 1586(0)413--z,
1586(0)1228--z, 1587(0)36--50, 1593(0)713--z
-
Time, Discrete-, 1567(0)262--278
-
Time, Link-, 1575(0)76--90
-
Time, Polynomial-, 1578(0)180--196
-
Time, Real-, 1542(0)98--114, 1542(0)115--134, 1542(0)135--150,
1548(0)1--7, 1548(0)91--105, 1555(0)293--z, 1557(0)296--305,
1557(0)377--387, 1573(0)378--395, 1577(0)45--59, 1579(0)34--43,
1579(0)44--58, 1586(0)284--z, 1586(0)299--z, 1586(0)309--z,
1586(0)319--z, 1586(0)329--z, 1586(0)363--z, 1586(0)400--z,
1586(0)425--z, 1586(0)430--z, 1593(0)23--z, 1593(0)50--z,
1593(0)60--z, 1594(0)323--339, 1597(0)305--314
-
Time, Run-, 1575(0)183--197, 1586(0)466--z, 1586(0)533--z
-
Time-Bounded, 1563(0)434--443, 1599(0)61--75
-
Time-Deterministic, 1567(0)238--250
-
Time-Lined, 1554(0)236--251
-
Time-Series, 1574(0)525--530
-
TimeCube, 1552(0)474--483
-
Timed, 1548(0)59--73, 1567(0)142--162, 1567(0)204--217, 1569(0)19--z,
1579(0)59--73
-
Timed-Release, 1592(0)74--z, 1592(0)74--z--1
-
Timestamp, 1552(0)242--253, 1560(0)290--305
-
Timetabling, 1551(0)320--334
-
Timing, 1556(0)306--z
-
TINA, 1597(0)399--400, 1597(0)401--415, 1597(0)416--428, 1597(0)416--z,
1597(0)446--458, 1597(0)482--498
-
{TINA}, {IN}-, 1597(0)183--193
-
{TINA}-Based, 1597(0)13--24
-
Ting, K. M., 1574(0)296--305
-
Ting:1999:IPB, 1574(0)296--305
-
Tiountchik, A., 1586(0)712--z
-
Tiountchik, Alexander, 1587(0)164--176
-
Tiountchik:1999:FIM, 1586(0)712--z
-
Tiountchik:1999:RAF, 1587(0)164--176
-
Tirado, F., 1573(0)411--424
-
Tirado, F., see Prieto-Matias, M.
-
Tiropanis, Thanassis, 1597(0)482--498
-
Tiropanis, Thanassis, see Cabell, Quincy
-
Tison, S., 1578(0)150--164
-
Tison, S., see Bogaert, B.
-
TLCA, 1581(0)1--5, 1581(0)6--13, 1581(0)14--24, 1581(0)25--39,
1581(0)40--53, 1581(0)54--68, 1581(0)69--82, 1581(0)83--97,
1581(0)98--113, 1581(0)114--128, 1581(0)129--146, 1581(0)147--161,
1581(0)162--176, 1581(0)177--197, 1581(0)198--212, 1581(0)213--227,
1581(0)228--242, 1581(0)243--257, 1581(0)258--279, 1581(0)280--294,
1581(0)295--309, 1581(0)310--324, 1581(0)325--339, 1581(0)340--354,
1581(0)355--364, 1581(0)365--380, 1581(0)381--396
-
TLS, 1550(0)1--12, 1550(0)13--23, 1550(0)13--z
-
TMN, 1597(0)3--12
-
to-End, End-, 1586(0)1243--z
-
to-Peer, Peer-, 1552(0)254--265
-
to-Station, Station-, 1560(0)154--170
-
Todinca, Ioan, 1563(0)197--206
-
Todinca, Ioan, see Bouchitté, Vincent
-
Toi, Howard, Wong-, 1567(0)390--413
-
Tokai, Shogo, 1554(0)252--288
-
Tokai, Shogo, see Matsuyama, Takashi
-
Tokoro, Mario, 1585(0)34--41
-
Tokoro, Mario, see Sasaki, Takahiro
-
Tolerance, 1594(0)196--210
-
Tolerant, 1586(0)384--z
-
Tolerant, Fault-, 1509(0)302--313, 1548(0)124--139,
1586(0)210--z, 1586(0)220--z, 1586(0)418--z, 1586(0)763--z
-
Tombesi, P., 1509(0)402--412
-
Tombesi, P., see Vitali, D.
-
Tomii, T., 1552(0)554--567
-
Tomii, T., see Salev, K.
-
Tomlin, Claire, 1569(0)238--z
-
Tomlin:1999:CCN, 1569(0)238--z
-
Tomography, 1593(0)178--z
-
Tomov, N., 1593(0)713--z
-
Tomov:1999:SRN, 1593(0)713--z
-
Tomsich, P., 1593(0)895--z
-
Tomsich, P., see Krall, A.
-
Tonkes, Bradley, 1585(0)357--364
-
Tonkes:1999:PNE, 1585(0)357--364
-
Tonomura, Yoshinobu, 1554(0)17--29
-
Tonomura, Yoshinobu, see Niikura, Yasuhiro
-
Tool, 1574(0)1--z, 1575(0)296--300, 1577(0)234--238, 1579(0)315--329,
1579(0)375--389, 1579(0)405--419, 1579(0)420--434, 1586(0)996--z,
1589(0)183--197, 1590(0)152--z, 1590(0)184--z, 1593(0)50--z,
1593(0)653--z, 1593(0)951--z, 1593(0)1167--z
-
Tool-Aided, 1567(0)163--185
-
Tool-kit, 1571(0)1--24, 1571(0)1--z
-
Toolbox, 1557(0)337--346, 1567(0)429--444
-
Toolkit, 1593(0)503--z
-
tools, 1557(0)388--397, 1577(0)239--244, 1579(0)1--18, 1579(0)19--33,
1579(0)34--43, 1579(0)44--58, 1579(0)59--73, 1579(0)74--88,
1579(0)89--103, 1579(0)104--118, 1579(0)119--133, 1579(0)134--147,
1579(0)148--162, 1579(0)163--177, 1579(0)178--192, 1579(0)193--207,
1579(0)208--222, 1579(0)223--239, 1579(0)240--254, 1579(0)255--269,
1579(0)270--284, 1579(0)285--299, 1579(0)300--314, 1579(0)315--329,
1579(0)330--344, 1579(0)345--359, 1579(0)360--374, 1579(0)375--389,
1579(0)390--404, 1579(0)405--419, 1579(0)420--434, 1579(0)435--438,
1579(0)439--443, 1590(0)136--z, 1593(0)381--z, 1593(0)1175--z
-
Toolset, 1579(0)345--359
-
Topic-Specific, 1597(0)70--82
-
Topics, 1565-0-IX-z
-
Topological, 1509(0)341--356, 1540(0)187--198, 1542(0)21--36,
1557(0)437--449, 1568(0)118--135, 1568(0)207--217, 1568(0)242--257,
1580(0)293--z
-
Topology, 1568(0)218--228, 1568(0)229--241, 1585(0)58--65,
1594(0)416--z
-
Topos, 1584(0)323--342
-
Torán, Jacobo, 1563(0)281--290, 1563(0)551--560,
see Arvind, Vikraman,
see Esteban, Juan Luis
-
Tori, 1593(0)1159--z
-
Torlone, Riccardo, 1540(0)383--397
-
Torlone, Riccardo, see Cabibbo, Luca
-
Torre, Salvatore La, 1569(0)5--z
-
Torre, Salvatore La, see Alur, Rajeev
-
Torres, F., 1542(0)98--114
-
Torres-Velázquez, Rodolfo, 1585(0)18--25,
see Estivill-Castro, Vladimir
-
Torres:1999:SSR, 1542(0)98--114
-
Torus, 1593(0)483--z
-
TOSCA, 1597(0)277--290
-
Total, 1578(0)258--272, 1581(0)54--68
-
Toth, G., 1573(0)680--690
-
Toth, G., see Keppens, R.
-
Tougne, Laure, 1568(0)31--40
-
Tougne, Laure, see Feschet, Fabien
-
Touitou, Dan, 1563(0)393--403
-
Touitou, Dan, see Aiello, William
-
tour, 1589(0)216--240
-
Tourancheau, B., 1573(0)215--226
-
Tourancheau, B., see Vicaire, J.-B.
-
Touriño, J., 1593(0)1087--z, see Aretzaz, M.
-
tournament, 1571(0)151--165
-
Tourwe, T., 1575(0)244--258
-
Tourwe:1999:OOO, 1575(0)244--258
-
Tous, Juan, 1597(0)328--341
-
Tous, Juan, see Kind, Andreas
-
Touzet, H., 1584(0)372--384
-
Touzet, H., see Bonfante, G.
-
Tovar, E., 1586(0)339--z
-
Tovar:1999:TSS, 1586(0)339--z
-
Toward, 1554(0)30--43, 1555(0)363--z, 1556(0)43--z, 1560(0)171--187
-
towards, 1552(0)278--289, 1559(0)21--40, 1560(0)1--11, 1567(0)324--340,
1570(0)101--112, 1580(0)29--z, 1580(0)163--z, 1586(0)1065--z,
1593(0)350--z, 1593(0)430--z, 1593(0)841--z, 1594(0)418--418,
1595(0)54--71, 1595(0)200--215, 1597(0)1--2, 1597(0)328--341
-
tower, 1563(0)356--361
-
Town, 1580(0)17--z
-
Toyama, K., 1542(0)312--330
-
Toyama, K., see Doods, Z.
-
Trace, 1548(0)59--73, 1559(0)328--330, 1563(0)227--236, 1563(0)227--z,
1593(0)503--z
-
Trace-Based, 1548(0)231--247
-
Traceability, 1556(0)144--z
-
Tracer, 1593(0)402--z
-
Track, Fast-, 1579(0)104--118
-
Tracking, 1540(0)169--186, 1542(0)135--150, 1542(0)162--179,
1542(0)376--391, 1542(0)412--431, 1542(0)432--449, 1554(0)433--444,
1586(0)353--z
-
Tracking, Face-, 1542(0)151--161
-
Tradeoffs, 1592(0)459--z
-
trading, 1571(0)1--24, 1571(0)25--40, 1571(0)41--53, 1571(0)54--69,
1571(0)70--90, 1571(0)91--104, 1571(0)105--125, 1571(0)126--150,
1571(0)151--165, 1571(0)166--188, 1571(0)189--206
-
Traffic, 1542(0)216--230, 1566(0)190--204, 1586(0)950--z
-
Traffic, Air-, 1569(0)3--z
-
Trahan, J. L., 1586(0)616--z
-
Trahan, J. L., see Fernandez-Zepeda, J. A.
-
Trakhtenbrot, 1584(0)1--8
-
transaction, 1540(0)150--168, 1552(0)421--433, 1589(0)261--276,
1593(0)33--z
-
transaction, Inter-, 1574(0)104--108
-
Transactional, 1590(0)14--z
-
Transcript, 1550(0)13--z, 1550(0)28--z, 1550(0)41--z, 1550(0)51--z,
1550(0)75--z, 1550(0)90--94, 1550(0)100--z, 1550(0)108--117,
1550(0)125--130, 1550(0)131--136, 1550(0)146--153, 1550(0)158--167,
1550(0)168--176, 1550(0)203--212, 1550(0)220--226
-
Transcript-Irrelevant, 1560(0)1--11
-
Transducers, 1578(0)258--272
-
Transfer, 1560(0)43--52, 1580(0)265--z, 1592(0)42--z, 1592(0)56--z,
1592(0)74--z, 1592(0)74--z--1
-
Transform, 1509(0)10--33, 1557(0)357--366
-
transformation, 1552(0)434--445, 1557(0)226--235, 1559(0)1--20,
1559(0)21--40, 1559(0)41--60, 1559(0)61--80, 1559(0)81--100,
1559(0)101--123, 1559(0)124--142, 1559(0)143--158, 1559(0)159--178,
1559(0)179--198, 1559(0)199--218, 1559(0)219--239, 1559(0)240--254,
1559(0)255--270, 1559(0)271--288, 1559(0)289--307, 1559(0)308--z,
1559(0)309--312, 1559(0)313--315, 1559(0)316--318, 1559(0)319--321,
1559(0)319--z, 1559(0)322--324, 1559(0)325--327, 1559(0)328--330,
1575(0)244--258, 1575(0)292--295, 1586(0)108--z, 1589(0)138--151,
1593(0)653--z
-
transformational, 1577(0)239--244, 1582(0)92--z, 1586(0)123--z
-
Transforming, 1593(0)673--z
-
Transition, 1567(0)238--250
-
Translating, 1589(0)198--215
-
Translation, 1540(0)296--313, 1540(0)296--z
-
Transmitting, 1552(0)266--277
-
Transparent, 1586(0)19--z, 1586(0)496--z, 1594(0)211--226
-
Transport, 1597(0)114--128
-
Transportation, 1555(0)277--z, 1580(0)203--z
-
Traoré, Jacques, 1587(0)228--243
-
Traore:1999:GST, 1587(0)228--243
-
Trapdoor, 1560(0)219--222
-
Trapped, 1509(0)426--437
-
TRAPping, 1575(0)288--291
-
Traps, 1509(0)438--446
-
Traveling, 1568(0)164--176, 1586(0)266--z
-
Treasure-Map, 1574(0)228--237
-
treatment, 1582(0)160--z
-
tree, 1557(0)427--436, 1557(0)579--580, 1558(0)195--204,
1563(0)184--196, 1563(0)334--344, 1568(0)299--309, 1574(0)143--147,
1578(0)150--164, 1578(0)180--196, 1578(0)258--272, 1593(0)951--z
-
Tree, {PMD}-, 1552(0)496--507
-
Tree-Width, 1540(0)70--82
-
Treewidth, 1563(0)197--206
-
Trends, 1565(0)183--194
-
Treseler, H., 1567(0)163--185
-
Treseler, H., see Kowalewski, S.
-
Treur, J., 1555(0)177--z
-
Treur, J., see Engelfriet, J.
-
Triangulated, 1542(0)489--508, 1563(0)197--206
-
Tribe, 1592(0)432--z
-
Tribology, 1573(0)652--665
-
Trichina, E., 1586(0)712--z
-
Trichina, E., see Tiountchik, A.
-
Trichina, Elena, 1587(0)164--176
-
Trichina, Elena, see Tiountchik, Alexander
-
trick, 1572(0)183--197
-
Tridiagonal, 1557(0)28--37
-
Trifonov, V., 1576(0)128--146
-
Trifonov:1999:SPL, 1576(0)128--146
-
Trigila, Sebastiano, 1597(0)399--400
-
Trigila:1999:MT, 1597(0)399--400
-
Trinder, P., 1595(0)54--71, 1595(0)88--102
-
Trinder, P., see Hall, J. G., \see{King, D. J.
-
Tripakis, Stavros, 1579(0)59--73
-
Tripakis:1999:TDR, 1579(0)59--73
-
Tropology, 1552(0)466--473
-
Troudi, N., 1574(0)464--468, 1574(0)464--z
-
Troudi, N., see Zigbed, A., \see{Zighed, A.
-
Troya, J. M., 1586(0)248--z
-
Troya, J. M., see Alba, E.
-
TRUCE, 1594(0)384--398
-
Trust, 1550(0)36--40, 1550(0)41--44, 1550(0)41--z, 1550(0)59--63,
1550(0)64--66, 1550(0)108--117, 1550(0)193--202, 1550(0)203--212
-
Trust-Management, 1550(0)45--50, 1550(0)51--58, 1550(0)51--z
-
Trusted, 1560(0)171--187
-
Truszczynski, M., 1584(0)73--89
-
Truszczynski, M., see Marek, V.
-
Trzeciak, P., 1593(0)693--z
-
Trzeciak, P., see Kitowski, J.
-
Tsai, C.-J., 1574(0)169--173
-
Tsai, C.-J., see Jiang, M.-F.
-
Tsai, P. S. M., 1574(0)74--83
-
Tsai:1999:EAI, 1574(0)74--83
-
Tsang, W.-H., 1586(0)329--z
-
Tsang, W.-H., see Lam, K.-Y.
-
Tschichholz, Michael, 1597(0)446--458
-
Tschichholz, Michael, see Schoo, Peter
-
Tschudin, C. F., 1594(0)183--195
-
Tschudin:1999:SDE, 1594(0)183--195
-
Tseng, C.-W., 1575(0)168--182
-
Tseng, C.-W., see Rivera, G.
-
Tseng, S.-S., 1574(0)169--173, 1574(0)360--364
-
Tseng, S.-S., see Jiang, M.-F., \see{Su, C.-M.
-
Tseng, Y.-C., 1593(0)1159--z
-
Tseng, Y.-C., see Wang, S.-Y.
-
Tseng, Y.-O., 1593(0)80--z
-
Tseng, Y.-O., see Chang, C.-H.
-
Tsiounis, Yiannis, 1560(0)276--289
-
Tsiounis, Yiannis, see Handschuh, Helena
-
TSP, 1563(0)373--382
-
Tsujimura, Yasuhiro, 1585(0)276--284
-
Tsujimura:1999:ERF, 1585(0)276--284
-
Tsukamoto, M., 1552(0)14--28
-
Tsukamoto, M., see Goh, C.-L.
-
Tsukamoto, Masahiko, 1554(0)59--74
-
Tsukamoto:1999:IRS, 1554(0)59--74
-
Tsukimoto, H., 1574(0)34--43
-
Tsukimoto:1999:REP, 1574(0)34--43
-
Tsume-Go, 1558(0)146--166, 1558(0)167--182, 1558(0)222--231
-
Tsume-Shogi, 1558(0)300--317
-
Tsumoto, S., 1574(0)210--219, 1574(0)274--278
-
Tsumoto:1999:ADP, 1574(0)210--219
-
Tsumoto:1999:RDD, 1574(0)274--278
-
Tsushima, Hideki, 1554(0)344--355
-
Tsushima, Hideki, see Katayama, Kaoru
-
TTP, 1587(0)258--243
-
Tu, H.-C., 1599(0)118--z
-
Tu, H.-C., see Jieh, H.
-
Tu, Hsieh-Chang, 1599(0)118--132
-
Tu, Hsieh-Chang, see Hsiang, Jieh
-
Tube, 1568(0)413--424
-
Tumor, 1593(0)973--z
-
tune, 1582(0)132--z
-
Tuning, 1574(0)247--251
-
Tunnel-Free, 1568(0)53--64
-
Tupa, D., 1509(0)426--437
-
Tupa, D., see James, D. F. V.
-
Tuple, 1594(0)196--210
-
Turbulence, 1573(0)227--237
-
Turek, S., 1573(0)271--284, 1573(0)271--z
-
Turek, S., see Becker, C., \see{Becket, C.
-
Turing, 1563(0)143--152
-
Turini, Franco, 1559(0)124--142
-
Turini, Franco, see Brogi, Antonio
-
Turner, Mark, 1562(0)11--26
-
Turner, Terry, 1597(0)3--12
-
Turner, Terry, see Davison, Rob
-
Turner:1999:FC, 1562(0)11--26
-
Tutoring, 1570(0)193--200
-
TV, 1554(0)208--220, 1554(0)221--235
-
Two, 1540(0)236--256, 1552(0)157--168, 1552(0)157--z, 1557(0)577--578,
1563(0)373--382, 1567(0)163--185, 1567(0)279--303, 1592(0)107--z,
1593(0)1061--z
-
Two-Level, 1593(0)231--z
-
Two-Particle, 1509(0)1--9
-
Two-Sided, 1557(0)48--57, 1563(0)100--109
-
Two-Step, 1557(0)68--77, 1558(0)146--166
-
Twofish, 1556(0)27--42
-
Tx, Swiss-, 1593(0)623--z
-
Typability, 1578(0)104--119
-
Typable, 1584(0)260--282
-
type, 1523(0)41--z, 1523(0)83--z, 1548(0)214--230, 1548(0)373--388,
1548(0)389--405, 1548(0)406--421, 1548(0)422--437, 1548(0)422--z,
1551(0)228--242, 1552(0)266--277, 1559(0)81--100, 1560(0)1--11,
1571(0)54--69, 1576(0)74--90, 1576(0)91--108, 1578(0)31--40,
1581(0)69--82, 1581(0)83--97, 1581(0)198--212, 1581(0)310--324,
1581(0)381--396, 1582(0)1--z, 1584(0)241--259, 1584(0)283--297,
1584(0)298--312, 1584(0)343--354, 1589(0)277--292, 1595(0)137--152,
1595(0)169--185
-
Type, Sandglass-, 1593(0)663--z
-
Type-Based, 1576(0)208--z
-
Type-Checking, 1589(0)1--15
-
type-directed, 1582(0)70--z
-
Type-Logical, 1582(0)180--z
-
Type-Safety, 1523(0)119--z
-
Type-Theoretic, 1581(0)6--13
-
typed, 1548(0)438--454, 1581(0)1--5, 1581(0)6--13, 1581(0)14--24,
1581(0)25--39, 1581(0)40--53, 1581(0)54--68, 1581(0)69--82,
1581(0)83--97, 1581(0)98--113, 1581(0)114--128, 1581(0)129--146,
1581(0)147--161, 1581(0)162--176, 1581(0)177--197, 1581(0)198--212,
1581(0)213--227, 1581(0)228--242, 1581(0)243--257, 1581(0)258--279,
1581(0)280--294, 1581(0)295--309, 1581(0)310--324, 1581(0)325--339,
1581(0)340--354, 1581(0)355--364, 1581(0)365--380, 1581(0)381--396,
1589(0)138--151
-
Tyszkiewicz, Jurek, 1540(0)58--69
-
Tyszkiewicz, Jurek, see Neven, Frank
-
Tzifa, Evangelia, 1597(0)291--304
-
Tzifa, Evangelia, see Kaltabani, Anastasia