Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
Applications of the theory of random graphs to average algorithm performance analysisDeWitt, Henry K. Elshoff, James L. ; Martin, Arvid L.ACM Annual Conference/Annual Meeting: Proceedings of the 1979 annual conference, 1979, p.251-258New York, NY, USA: ACMTexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
Definability in Dynamic LogicMeyer, Albert R. ; Parikh, RohitAnnual ACM Symposium on Theory of Computing: Proceedings of the twelfth annual ACM symposium on Theory of computing; 28-30 Apr. 1980, 1980, p.1-7 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
The solution of certain two-dimensional markov modelsFayolle, G. ; King, P. J.B. ; Mitrani, I.Joint International Conference on Measurement and Modeling of Computer Systems: Proceedings of the 1980 international symposium on Computer performance modelling, measurement and evaluation; 28-30 May 1980, 1980, p.283-289New York, NY, USA: ACMTexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
On homogeneity in M/G/1 queueing systemsBryant, Raymond M.Joint International Conference on Measurement and Modeling of Computer Systems: Proceedings of the 1980 international symposium on Computer performance modelling, measurement and evaluation; 28-30 May 1980, 1980, p.199-208New York, NY, USA: ACMTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
Probabilistic models of indexing and searchingRobertson, S. E. ; van Rijsbergen, C. J. ; Porter, M. F.Proceedings of the 3rd annual ACM conference on Research and development in information retrieval, 1980, p.35-56Kent, UK, UK: Butterworth & CoTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
Stochastic reliability growth: A model with applications to computer software faults and hardware design faultsLittlewood, B. Highland, Harold J.Proceedings of the 1981 ACM workshop/symposium on Measurement and evaluation of software quality, 1981, p.139-152New York, NY, USA: ACMTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
Interfacing to text using HELPMEKehler, Thomas P. ; Barnes, Mike Borman, LorraineConference on Human Factors in Computing Systems: Proceedings of the joint conference on Easier and more productive use of computer systems. (Part - II): Human interface and the user interface - Volume 1981; 20-22 May 1981, 1981, p.116-124New York, NY, USA: ACMTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
A combined evaluation of performance and reliability for degradable systemsHuslende, RagnarJoint International Conference on Measurement and Modeling of Computer Systems: Proceedings of the 1981 ACM SIGMETRICS conference on Measurement and modeling of computer systems : Las Vegas, Nevada, United States; 14-16 Sept. 1981, 1981, p.157-164New York, NY, USA: ACMTexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
BRUWIN: An adaptable design strategy for window manager/virtual terminal systemsMeyrowitz, Norman ; Moser, MargaretACM Symposium on Operating Systems Principles: Proceedings of the eighth ACM symposium on Operating systems principles; 14-16 Dec. 1981, 1981, p.180-189New York, NY, USA: ACMTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Two-dimensional alternating Turing machinesInoue, Katsushi ; Takanami, Itsuo ; Taniguchi, HiroshiAnnual ACM Symposium on Theory of Computing: Proceedings of the fourteenth annual ACM symposium on Theory of computing; 05-07 May 1982, 1982, p.37-46 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |