Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
Principal type-schemes for functional programsDamas, Luis ; Milner, RobinProceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1982, p.207-212New York, NY, USA: ACMTexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
Towards an in-house integrated publishing serviceKease, W. J.Conference on Supporting Group Work: Proceedings of the second ACM-SIGOA conference on Office information systems, 1984, p.113-122New York, NY, USA: ACMTexto completo disponível |
|
3 |
Material Type: Ata de Congresso
|
The data transform programming method: An example for file processing problemsLucena, C. J. ; Martins, R. C. B. ; Veloso, P. A. S. ; Cowan, D. D.Proceedings of the 7th international conference on Software engineering, 1984, p.388-397Piscataway, NJ, USA: IEEE PressTexto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
Integrating ordinary type and many languages with the APL alphabet and keyboardBerry, Paul Turner, Jerry RAPL Quote Quad, 1985, p.68-76New York, NY, USA: ACMTexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
On the malleability of people and computers: a focused approach to office ethnographyLaw, John ; Whittaker, JohnConference on Supporting Group Work: Proceedings of the third ACM-SIGOIS conference on Office information systems : Providence, Rhode Island, United States; 06-08 Oct. 1986, 1986, p.21-32New York, NY, USA: ACMTexto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
An expert system for bibliographic retrieval using PrologWatters, C. R. ; Shepherd, M. A. ; Robertson, W. ; Lee, K. H.ACM Annual Computer Science Conference: Proceedings of the 15th annual conference on Computer Science, 1987, p.120-127New York, NY, USA: ACMTexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
Towards an expert system for bibliographical retrieval: a Prolog prototypeWatters, C. ; Shepherd, M. ; Shute, S. Yu, C. T. ; Van Rijsbergen, C. J.Annual ACM Conference on Research and Development in Information Retrieval: Proceedings of the 10th annual international ACM SIGIR conference on Research and development in information retrieval; 03-05 June 1987, 1987, p.272-281New York, NY, USA: ACMTexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
International contracting-a formal language approachLee, R.M.Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences, 1988. Vol.IV. Applications Track, 1988, Vol.4, p.69-78IEEE Comput. Soc. PressTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
Microarchitecture modelling through ADLFernandes, E. S.T.Proceedings of the 21st annual workshop on Microprogramming and microarchitecture, 1988, p.100-104Los Alamitos, CA, USA: IEEE Computer Society PressTexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
A look through PRISMA: towards pluralistic knowledge-based environments for software specification acquisitionNiskier, C. ; Maibaum, T. ; Schwabe, D.International Workshop on Software Specifications & Design: Proceedings of the 5th international workshop on Software specification and design, 1989, p.128-136New York, NY, USA: ACMTexto completo disponível |