Last update: Sun Jan 7 02:03:35 MST 2024
Return to index directory
D
-
D, 10(2)107--112
-
Darker, 13(4)155--178
-
data, 10(2)107--112, 11(2)69--78, 12(1)31--38, 14(1)1--14, 18(1)1--13,
18(4)157--168
-
database, 10(2)107--112, 14(2)86--z, 17(4)141--147
-
Davis, Ruth, 18(4)149--156
-
Davis, Ruth, see Xue, Jinyun
-
DCOM, 19(1)14--28
-
Dear, 19(4)153--153
-
Debugging, 11(3)141--150
-
Decimal, 18(4)149--156
-
Decomposition, 14(3)93--101
-
definable, user-, 19(3)130--140
-
defined, 13(1)35--50
-
Definition, 18(2)47--62
-
Deimel, Anton, 19(1)29--36, 19(1)49--56
-
Deimel, Anton, see Broy, Manfred
-
Deimel:1998:SBF, 19(1)29--36
-
Deinhammer, Guido, 18(4)157--168
-
Deinhammer:1997:NAC, 18(4)157--168
-
Delfs, Hans, 12(4)207--216
-
Delfs, Hans, see Suda, Peter
-
Depot4, 19(2)97--108
-
Derandomization, 18(4)175--z
-
Derivation, 18(4)149--156
-
Deriving, 10(3)133--145, 14(3)93--101
-
descent, 11(3)129--140
-
described, 10(2)107--112, 13(1)23--34
-
describes, 10(2)113--120, 13(1)23--34, 15(1)2--11
-
describing, 16(2)63--80
-
describing, Pascal-, 10(2)107--112
-
description, 10(2)113--120, 10(3)157--163, 12(2)91--110
-
design, 10(1)19--39, 10(2)63--87, 10(2)89--105, 10(2)113--120,
10(3)133--145, 11(2)85--98, 12(1)1--15, 12(2)63--74, 12(4)197--206,
13(1)35--50, 17(4)173--z, 19(3)109--121
-
Designing, 10(1)10--18
-
detailed, 15(1)2--11
-
Detection, 17(2)63--69, 17(3)121--139, 18(1)1--13
-
develop, 19(4)168--174
-
developed, 13(1)35--50
-
developing, 13(1)23--34
-
development, 10(2)113--120, 11(1)11--26, 11(1)45--52, 12(1)43--60,
13(1)23--34, 13(1)35--50, 14(2)49--55, 16(3)136--z, 18(4)169--174,
19(3)109--121, 19(4)154--160, 19(4)190--202
-
Diagram, 15(2)82--z
-
difference, 12(4)175--178
-
Dijkstra, Edsger W., 10(1)5--9
-
Dijkstra:1989:LSR, 10(1)5--9, 11(1)53--55
-
Direct, 16(4)147--159
-
direction, 10(2)113--120
-
discusses, 10(2)107--112
-
Display-oriented, 10(3)165--168
-
distributed, 15(4)177--z, 16(1)12--19, 16(4)147--159, 17(1)13--25,
17(2)50--62, 18(2)63--72, 18(3)125--136, 19(1)14--28
-
Doberkat, Ernst-Erich, 13(3)137--153, 17(4)163--172
-
Doberkat:1992:IPS, 13(3)137--153
-
Doberkat:1996:LSH, 17(4)163--172
-
Dobler, Heinz, 13(4)193--202
-
Dobler:1992:APC, 13(4)193--202
-
document, 10(2)113--120, 15(1)12--25, 15(2)68--81, 18(2)80--z
-
documentation, 10(2)113--120, 13(1)23--34, 13(1)35--50, 15(1)2--11
-
Dolinsky, Jens-Uwe, 19(2)71--79
-
Dolinsky:1998:ACL, 19(2)71--79
-
domain, 10(2)107--112
-
Domesticating, 13(2)75--88
-
Donald, 13(1)23--34
-
due, 11(1)11--26, 13(1)35--50
-
Dynamic, 15(4)162--176, 17(4)148--162, 18(1)1--13, 19(2)81--88
-
dynamically, 19(2)97--108