Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
CASE user satisfaction-Impact evaluations in user organizationsAaen, I.Proceedings of 6th International Workshop on Computer-Aided Software Engineering, 1993, p.66-74IEEETexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
A formally verified system for logic synthesisAagaard, M. ; Leeser, M.[1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1991, p.346-350IEEE Comput. Soc. PressTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
A framework for specifying and designing pipelinesAagaard, M. ; Leeser, M.Computer Design: VLSI in Computers and Processors (ICCD '93, 1993, p.548-551IEEE Comput. Soc. PressTexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
Changes in the probability distribution for Gaussian processes subjected to phase jitterAakvaag, N.D. ; Lacaze, B.Proceedings of MELECON '94. Mediterranean Electrotechnical Conference, 1994, p.187-190 vol.1IEEETexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
Incremental relevance feedbackAalbersberg, IJsbrand Jan Belkin, Nicholas ; Ingwersen, Peter ; Pejtersen, Annelise MarkAnnual ACM Conference on Research and Development in Information Retrieval: Proceedings of the 15th annual international ACM SIGIR conference on Research and development in information retrieval; 21-24 June 1992, 1992, p.11-22New York, NY, USA: ACMTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
Polyhedral results for the uncapacitated facility location problem: Lifting and separationAardal, K. ; Gerards, A.M.H. ; Van Hoesel, C.P.M.United States: Univ. of Michigan, Ann Arbor, MI (United States) 1994Sem texto completo |
7 |
Material Type: Ata de Congresso
|
![]() |
Computations in massively parallel networks based on the Boltzmann machine: a reviewAARTS, E. H. L ; KORST, J. H. MParallel computing, 1988, Vol.9 (2), p.129-145 [Periódico revisado por pares]Amsterdam: ElsevierTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
A semantics of object typesAbadi, M. ; Cardelli, L.Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 1994, p.332-341IEEE Comput. Soc. PressTexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Faithful ideal models for recursive polymorphic typesAbadi, M. ; Pierce, B. ; Plotkin, G.[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, 1989, p.216-225IEEE Comput. Soc. PressTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
On Hiding Information from an OracleAbadi, Martin ; Feigenbaum, Joan ; Kilian, JoeProceeding Structure in Complexity Theory, 1987, p.9-9IEEESem texto completo |