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: Artigo
|
A general approach to lower semicontinuity and lower closure in optimal control theoryBALDER, E. JSIAM journal on control and optimization, 1984-07, Vol.22 (4), p.570-598 [Periódico revisado por pares]Philadelphia, PA: Society for Industrial and Applied MathematicsTexto 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: magazinearticle
|
Reflections on trusting trustThompson, KenCommunications of the ACM, 1984-08, Vol.27 (8), p.761-763New York, NY: ACMTexto completo disponível |
|
6 |
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 |
|
7 |
Material Type: Artigo
|
Optimal control computation for linear time-lag systems with linear terminal constraintsTEO, K. L ; WONG, K. H ; CLEMENTS, D. JJournal of optimization theory and applications, 1984-11, Vol.44 (3), p.509-526 [Periódico revisado por pares]New York, NY: SpringerTexto completo disponível |
|
8 |
Material Type: Artigo
|
A compilation of relations between graph invariantsBrigham, Robert C. ; Dutton, Ronald D.Networks, 1985, Vol.15 (1), p.73-107 [Periódico revisado por pares]New York: Wiley Subscription Services, Inc., A Wiley CompanySem texto completo |
|
9 |
Material Type: Artigo
|
Utilizing an Executable Specification Language for an Information SystemUrban, S.D. ; Urban, J.E. ; Dominick, W.D.IEEE transactions on software engineering, 1985-07, Vol.SE-11 (7), p.598-605 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
|
10 |
Material Type: Artigo
|
Legendre-tau approximations for functional differential equationsIto, K. ; Teglas, R.SIAM journal on control and optimization, 1986-07, Vol.24 (4), p.737-759 [Periódico revisado por pares]Legacy CDMS: Society for Industrial and Applied MathematicsTexto completo disponível |