Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
A probabilistic analysis of a database systemMassey, William A.Joint International Conference on Measurement and Modeling of Computer Systems: Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, measurement and evaluation : Raleigh, North Carolina, United States, 1986, p.141-146New York, NY, USA: ACMTexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
Delay analysis of a window tree conflict resolution algorithm in a local area network environmentPolyzos, George C. ; Molle, Mart L. Bunt, RichJoint International Conference on Measurement and Modeling of Computer Systems: Proceedings of the 1987 ACM SIGMETRICS conference on Measurement and modeling of computer systems; 11-14 May 1987, 1987, p.234-244New York, NY, USA: ACMTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
MUSIC: a simulated computer for teaching purposesCarpenter, B. E. ; Jenkins, P. C. ; Pearson, L. W. ; Thomas, L. K.SIGCSE bulletin, 1977, Vol.9 (4), p.70-76Texto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
Chemical composition of type I planetary nebulae. Collisional excitation effects on He I line intensitiesPEIMBERT, M ; TORRES-PEIMBERT, SRevista Mexicana de Astronomía y Astrofísica, 1987, Vol.14 (2), p.540-558 [Periódico revisado por pares]México: Universidad Nacional Autónoma de México, Instituto de AstronomíaTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
CLARE-a Prolog database machineWong, Kam-Fai ; Williams, Howard M. Unger, Elizabeth ; Berghel, Hal ; Rankin, RichardProceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems, 1990, p.172-177New York, NY, USA: ACMTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
A type driven hardware engine for Prolog clause retrieval over a large knowledge baseWong, K.-F. ; Williams, M. H.International Symposium on Computer Architecture: Proceedings of the 16th annual international symposium on Computer architecture : Jerusalem, Israel, 1989, p.211-222New York, NY, USA: ACMTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
Local and global properties in networks of processors (Extended Abstract)Angluin, DanaProceedings of the twelfth annual ACM symposium on Theory of computing, 1980, p.82-93 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
A class of tree algorithms with variable message lengthGerakoulis, D. P. ; Saadawi, T. N. ; Schilling, D. L.Applications, Technologies, Architectures, and Protocols for Computer Communication: Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium; 06-08 June 1984, 1984, p.242-247New York, NY, USA: ACMTexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Modular rational sparse multivariate polynomial interpolationKaltofen, E. ; Lakshman, Y. N. ; Wiley, J.-M. Watanabe, Shunro ; Nagata, MorioInternational Conference on Symbolic and Algebraic Computation: Proceedings of the international symposium on Symbolic and algebraic computation; 20-24 Aug. 1990, 1990, p.135-139New York, NY, USA: ACMTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
A deterministic algorithm for sparse multivariate polynomial interpolationBen-Or, Michael ; Tiwari, PrasoonProceedings of the twentieth annual ACM symposium on Theory of computing, 1988, p.301-309 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |