1
|
Material Type: Tese de Doutorado
|
|
Formal specification of interactive graphics programming languages
William R. Mallgren (William Roberts)
c1983
Localização:
IME - Inst. Matemática e Estatística
(QA762 M253f )(Acessar)
|
2
|
Material Type: Tese de Doutorado
|
|
Abstraction mechanisms and language design
Paul N. Hilfinger
1981
Localização:
IME - Inst. Matemática e Estatística
(QA762.T H644a )(Acessar)
|
3
|
Material Type: Tese de Doutorado
|
|
A language for high-level programming of dynamic reconfiguration
Markus Endler Technische Universität Berlin; Gesellscaft für Mathematik und Dataverarbeitung MBH
c1993
Localização:
IME - Inst. Matemática e Estatística
(QA770 E56L )(Acessar)
|
4
|
Material Type: Tese de Doutorado
|
|
Computer simulation as an educational tool
Rosane Lessa Pagano Jorge Barreto; Raymond Gorez
1992
Localização:
IME - Inst. Matemática e Estatística
(QA860.T P131c )(Acessar)
|
5
|
Material Type: Tese de Doutorado
|
|
The complexity of concurrency control for distributed databases
Paris C. Kanellakis Christos H Papadimitriou; Massachusetts Institute of Technology Dept. of Electrical Engineering and Computer Science
1981
Localização:
IME - Inst. Matemática e Estatística
(QA772.T K16c )(Acessar)
|
6
|
Material Type: Tese de Doutorado
|
|
Algorithmic program debugging
Ehud Y. Shapiro
c1983
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.416.2 Sh22a ) e outros locais(Acessar)
|