Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: magazinearticle
|
![]() |
Maintaining knowledge about temporal intervalsAllen, JamesCommun. ACM; (United States), 1983-11, Vol.26 (11), p.832-843New York, NY: ACMTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Principles of transaction-oriented database recoveryHaerder, Theo ; Reuter, AndreasACM computing surveys, 1983-12, Vol.15 (4), p.287-317 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
3 |
Material Type: magazinearticle
|
![]() |
Reflections on trusting trustThompson, KenCommunications of the ACM, 1984-08, Vol.27 (8), p.761-763New York, NY: ACMTexto completo disponível |
4 |
Material Type: magazinearticle
|
![]() |
Training wheels in a user interfaceCarroll, John ; Carrithers, CarolineCommunications of the ACM, 1984-08, Vol.27 (8), p.800-806New York, NY: ACMTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Procedures for optimization problems with a mixture of bounds and general linear constraintsGill, Philip E. ; Murray, Walter ; Saunders, Michael A. ; Wright, Margaret H.ACM transactions on mathematical software, 1984-08, Vol.10 (3), p.282-298 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
6 |
Material Type: magazinearticle
|
![]() |
Integer programming vs. expert systems: an experimental comparisonDhar, Vasant ; Ranganathan, NickyCommunications of the ACM, 1990-03, Vol.33 (3), p.323-336New York, NY: ACMTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Efficient construction of LR( k ) states and tablesAnicona, M ; Dodero, G ; Gianuzzi, V ; Morgavi, MACM transactions on programming languages and systems, 1991-01, Vol.13 (1), p.150-178 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
The exact analysis of sparse rectangular linear systemsAlfeld, Peter ; Eyre, DavidACM transactions on mathematical software, 1991-12, Vol.17 (4), p.502-518 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Control theoretic techniques for stepsize selection in explicit Runge-Kutta methodsGustafsson, KjellACM transactions on mathematical software, 1991-12, Vol.17 (4), p.533-554 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Incremental global reoptimization of programsPollock, Lori ; Soffa, MaryACM transactions on programming languages and systems, 1992-04, Vol.14 (2), p.173-200 [Periódico revisado por pares]NEW YORK: ACMTexto completo disponível |