Connecting you to content on EBSCOhost

Works matching IS 00015903 AND DT 2002 AND VI 38 AND IP 4

Results: 3

1

Minimally adequate teacher synthesizes statechart diagrams<AUG><AU>Erkki<SNM>Mäkinen<ORF RID="A1"><AU><FNMS>Tarja<SNM>Systä<ORF RID="A2"><AFF TYPE="ORG"><OID ID="A1"><OAD>Department of Computer and Information Sciences, University of Tamp...

Published in:

Acta Informatica, 2002, v. 38, n. 4, p. 235, doi. 10.1007/s236-002-8033-8

By:

M ä kinen, Erkki;
Syst ä, Tarja

Publication type:

Article

2

The variance of the height of digital search trees<AUG><AU>Michael<SNM>Drmota<ORF RID="A1"><AFF TYPE="ORG"><OID ID="A1"><OAD>Institut für Geometrie, TU Wien, Wiedner Hauptstrasse 8–10/118, 1040 Wien, Austria (e-mail: drmota@tuwien.ac.at...

Published in:

Acta Informatica, 2002, v. 38, n. 4, p. 261, doi. 10.1007/s236-002-8034-5

By:

Drmota, Michael

Publication type:

Article

3

Axiomatising timed automata.

Published in:

Acta Informatica, 2002, v. 38, n. 4, p. 277, doi. 10.1007/s236-002-8035-2

By:

Huimin Lin;
Wang Yi

Publication type:

Article