Books
1969
DIAS, D.S. Análise de sistemas. [S.l.: s.n., 1969].
DIAS, D.S.; LUCENA, A.J.P.; LIMA, F.F. Introdução à ciência de computadores. [S.l.: s.n.,1969].
MARTINS, L.C.; COWAN, D.D. Sistemas operacionais. [S.l.: s.n., 1969].
PUCCINI, A.L.. Cálculo numérico. [S.l.: s.n., 1969].
PUCCINI, A.L.; CARVALHO, R.L.. Métodos numéricos para computadores. [S.l.: s.n., 1969].
SANTOS, J.R.R. Análise numérica. [S.l.: s.n., 1969].
1970
LUCENA, C.J.P. Introdução as estruturas de informação. Rio de Janeiro: Livro Técnico, 1970. 86 p. [PA]
1971
DIAS, D.S.; LUCENA, A.J.P.; LIMA, F.L.F. Programação FORTRAN: para estudantes de ciências e engenharia. Rio de Janeiro: Livro Técnico, 1971. 257 p. [PA]
LUCENA, C.J.P. Introdução a teoria de programação. Rio de Janeiro: IMPA, 1971. 130 p. [PA]
1972
RUAS, V. Curso de cálculo numérico. Rio de Janeiro: Livro Técnico, 1972. 256 p. [PA]
1973
ALBRECHT, P.; CHAVES, T.C.F. Análise numérica: um curso moderno. Rio de Janeiro: Livro Técnico, 1973. 240.p. [PA]
ALBRECHT, P. Métodos de discretização. Rio de Janeiro: IMPA, 1973. 131 p. [PA]
DIAS, D.S.; LUCENA, A.J.P.; LIMA, F.L.F. Programação FORTRAN: para estudantes de ciências e engenharia. 2. ed. Rio de Janeiro: Livro Técnico, 1973. 258 p. [PA]
FURTADO, A.L. Teoria dos grafos: algoritmos. Rio de janeiro: Livros Técnicos e Científicos, 1973.
1974
RUAS, V. Curso de cálculo numérico. 2. ed. / rev. Rio de Janeiro: Livro Técnicos e Científicos, 1974. 257 p. [PA]
1978
ALBRECHT, P. Die numerische behandlung gewöhnlicher differentialgleichungen. München: Hanser-Verlag, 1978.
FURTADO, A.L.; PASSOS, E.P.L. Introdução à programação com PL/I. Rio de Janeiro: Livros Técnicos e Científicos, 1978. 115 p. [PA]
LUCENA, C.J.P.; STAA, A.v. Projeto de programas: aplicações de programação estruturada em COBOL. Rio de Janeiro: SERPRO, 1978. 119 p. (Série Livros Técnicos. Cadernos de Programação, 1). [PA]
1979
ALBRECHT, P. Die numerische behandlung gewöhnlicher differentialgleichungen. Berlin: Akademie, 1979.
FUTADO, A.L.; SANTOS, C.S. Organização de banco de dados. Rio de Janeiro: Campus, 1979. 281 p. [PA]
FUTADO, A.L.; SANTOS, C.S. Organização lógica de banco de dados. São Paulo: USP/IME, 1979. 104 p. (1ª Escola de Computação). [PA]
RUAS, V. Introdução aos problemas variacionais. Rio de Janeiro: PUC-Rio, DIE, Guanabara Dois, 1979. 161 p. [PA]]
VELOSO, P.A.S. Máquinas e linguagens: uma introdução a teoria de autômatos. São Paulo: USP/IME, 1979. 242 p. (1ª Escola de Computação). [PA]
1980
LEITE, L.L.P. Introdução aos sistemas de gerência de banco de dados. São Paulo: E. Blucher, 1980. 138 p. [PA]
1981
CARVALHO, R.L. Máquinas, programas e algoritmos. Campinas: UNICAMP/IMEEC, 1981. 184 p. (2ª Escola de Computação).
CARVALHO, S.E.R. Introdução à ciência da computação com WATFIV e FORTRAN. Rio de Janeiro: Campus, 1981. 183 p.
CASANOVA, M.A. The concurrency control problem for database systems. Berlin: Springer Verlag, 1981. 175 p. (Lectures Notes in Computer Science, 116).
LUCENA, C.J.P. Análise e síntese de programas: uma introdução. Campinas: UNICAMP/IMEEC, 1981. 230 p. (2ª Escola de Computação).
1982
CARVALHO, S.E.R Introdução à programação com PASCAL. Rio de Janeiro: Campus, 1982. 188 p.
LUCENA, C.J.P. Análise e síntese de programas de computador. Brasília: UNB, 1982. 185 p. (Cadernos da UnB).
MENASCÉ, D.A.; SCHWABE, D. Redes de computadores: aspectos técnicos e operacionais. Rio de Janeiro: PUC-Rio, Depto. de Informática, 1982. 184 p. (3ª Escola de Computação).
STAA, Av. Engenharia de programas. Rio de Janeiro: PUC-Rio, Depto. de Informática, 1982. 256 p. (3ª Escola de Computação).
1983
LUCENA, C.J.P.; MENSACÉ, D.A. (Ed.). A engenharia e a economia do software. Rio de Janeiro: Campus, 1983. (Seminário sobre Software no Brasil, 5-7 julho, 1983, SEI/PUC/RJ-DI).
MENSACÉ, D.A.; ALMEIDA, V.A.F. Planejamento de capacidade. Rio de Janeiro: Campus, 1983. (Vencedor do 2º Concurso Nacional de Monografias em Informática da SEI, sob o título: Análise operacional como ferramenta para o planejamento de capacidade de sistemas de computação).
MENSACÉ, D.A.; SCHWABE, D. Redes de computadores: aspectos técnicos e operacionais. Rio de Janeiro: Campus, 1983.
STAA, A.v. Engenharia de programas. Rio de Janeiro: LTC Livros Técnicos e Científicos Editora, 1983. 286 p.
VELOSO, P.A.S.; SANTOS, C.S.; AZEREDO, P.A.; FURTADO, A.L. Estrutura de dados. Rio de Janeiro: Campus, 1983. 226 p.
1984
MENASCÉ, D.A.; SCHWABE, D. Redes de computadores: aspectos técnicos e operacionais. Rio de Janeiro: Campus, 1984. 160 p.
1985
FURTADO, A.L.; NEUHOLD, E. Formal techniques for data base design. Berlin: Springer-Verlag, 1985. 114 p.
MENASCÉ, D.A.; ALMEIDA, V.A.F. Planejamento de capacidade de sistemas de computação: análise operacional com ferramentas. Rio de Janeiro: Campus, 1985. 83 p.
1986
CASANOVA, M.A.; GIORNO, C.; FURTADO, A.L. Programação em lógica. Belo Horizonte: Universidade Federal de Minas Gerais, 1986. 295 p.
FURTADO, A. L. Paradigmas de linguagens de programação. Campinas: UNICAMP, 1986. 146p.
VELOSO, P.A.S. Verificação e construção de programas. Campinas: UNICAMP, 1986. 211 p.
VELOSO, P.A.S. Tipos (abstratos) de dados: programação especificação, implementação. Belo Horizonte: UFMG, 1986. 328 p.
1987
CASANOVA, M.A.; GIORNO, F.A.C.; FURTADO, A. L. Programação em lógica e a linguagem PROLOG. São Paulo: E. Blucher, c1987. 461 p.
LUCENA, C.J.P. Inteligência artificial e engenharia de software. Rio de Janeiro: J. Zahar, 1987. 305 p.
VELOSO, P.A.S. Estruturação e verificação de programas com tipos de dados. São Paulo: E. Blucher, c1987. 366 p.
1988
ALENCAR, P.S.; LUCENA, C.J.P. Métodos formais para o desenvolvimento de programas. Buenos Aires: Kapelusz, 1988. 175 P.
MELO, R.N. Bancos de dados não convencionais e suas novas áreas de aplicação. Campinas: UNICAMP, 1988. (Escola de Computação, 6).
RICHTER, G. et al. Generic organization frame of reference. New York: J. Wiley, 1988.
1989
ALENCAR, P.S.C.; LUCENA, C.J.P. Métodos formais para o de desenvolvimento de programas. Buenos Aires: Kapelusz, 1989. (Escola Brasileiro-Argentina de Computação, 4).
HAEBERER, A.M.; VELOSO, P.A.S.; BAUM, G. Formalizacion del processo de desarrolo de software. Buenos Aires: Kapelusz, 1989. 172 p.
1990
SOARES, L.F.G. Modelagem e simulação discreta de sistemas. São Paulo: SBC, 1990. 250 p. (Escola de Computação, 7).
1991
RIBEIRO, C.C.; MAHEY, P. (Ed.). Progress in mathematical programming. Amsterdam: North-Holland, 1991. 184 p. (Mathematical Programming, v. 52).
1992
MAFFEO, B. Engenharia de software e especificação de sistemas. Rio de Janeiro: Campus, c1992. 484 p.
MENASCÉ, D.A.; ALMEIDA, V.A.F.; DOWSK, L.W. Capacity planning: a practical approach. New York: Prentice Hall, 1992.
SOARES, L.F.G.; TUCHERMAN, L.; CASANOVA, M.A.; NUNES, P.R.R.L. Fundamentos de sistemas multimídia. Gramado: UFRGS, Instituto de Informática, 1992. 175 p. (VIII Escola de Computação).
1994
RIBEIRO, C.C.; MACULAN, N. (Ed.). Applications of combinatorial optimization. Basel: J. C. Baltzer, 1994. 610 p.
1995
FURTADO, A. L. Artur e Alexandre: crônica de dois reis. São Paulo: Ática, 1995. 215 p
SOARES, L. F. G.; LEMOS, G.; SOUZA FILHO, G.L.; COLCHER, S. Redes de computadores: das LANs, MANs e WANs às redes ATM. Rio de Janeiro: Campus, c1995. 576 p.
1997
HADAD, G.; KAPLAN, G.; OLIVEROS, A.; LEITE, J.C.S.P. Uso del léxico extendido del lenguaje y de escenarios en la elicitación de requerimientos: aplicación a un caso real. [Buenos Aires]: Universidad de Belgrano, 1997. 34 p.
MELO, R.N.; SILVA, S.D.;TANAKA, A.K. Banco de dados em aplicações cliente servidor. Rio de Janeiro: Infobook, 1997. 257 p.
1998
FIORINI, S.T.; STAA, A.v.; BAPTISTA, R.M. Engenharia de software com CMM. Rio de Janeiro: Brasport, 1998. 346 p.
1999
HAEUSLER, E.H.; PEREIRA, L.C.P.D. Pratica: proofs, types and categories. Rio de Janeiro: L. C. Pereira, 1999. 219 p.
2000
LUCENA, C.J.P.; FUKS, H.; SANTOS, N. A educação na era da internet. Rio de Janeiro: Clube do Futuro, 2000. 156 p.
STAA, A.v. Programação modular: desenvolvendo programas complexos de forma organizada e segura. Rio de Janeiro: Campus, 2000. 690p.
2001
FUKS, H. Projeto AulaNet: ajudando professores a fazer seu dever de casa. Rio de Janeiro: UERJ / Editora Lidador, 2001. 12 p.
FURTADO, A.L. Lais de Maria de França. Petrópolis: Vozes, 2001. 160 p.
GARCIA, A. F.; SILVA, V.T. Toward separation of concerns in the development of multi-agent object-oriented software. Rio de Janeiro: Editora Papel Virtual, 2001. 273 p.
MENEZES, P.B.; HAEUSLER, E.H. Teoria das Categorias e Ciência da Computação. Porto Alegre: Sagra Luzzatto, Instituto de Informática da UFRGS, 2001. 324p.
2002
RIBEIRO, C.C.; HANSEN, P. Essays and surveys in metaheuristics. Boston: Kluwer Academic, c2002. 651 p.
2003
FURTADO, A.L. Aventuras da Távola Redonda. Petrópolis: Vozes, 2003. 261p.
GARCIA, A. et al. (Ed.) Software engineering for large-scale multi-agent systems: research issues and practical applications. New York: Springer, 2003. 284 p. (Lecture Notes in Computer Science, 2603).
IERUSALIMSCHY, R. Programming in Lua. Rio de Janeiro [ s.n.], c2003. 268 p.
STAA, A.v.; FURTADO, A.L.; BARBOSA, S.D.J. Carlos José Pereira de Lucena: pioneiro da informática. Rio de Janerio: PUC-Rio, 2003. 143 p.
2004
CELES FILHO, W.; CERQUEIRA, R.F.G.; RANGEL NETTO, J.L.M. Introdução à estrutura de dados: com técnicas de programação em C. Rio de Janeiro: Campus, 2004. 294 p.
LUCENA, C.J.P. et al. (Ed.) Software engineering for multi-agent systems II. Berlim: Springer, 2004. 278 p. (Lecture Notes in Computer Science, 2940). [SELMAS 2003].
2005
CASANOVA, M.A.; CÃMARA, G.; DAVIS JÚNIOR, C.A.; VINHAS, L.; QUEIROZ, G.R. (Ed.). Bancos de Dados Geográficos. Curitiba: MundoGEO, 2005. 506 p.
CHOREN, R.; GARCIA, A. F.; LUCENA, C.J.P.; ROMANOVSKY, A. (Ed.) Software engineering for multi-agent systems III: research issues and practical applications. Berlim: Springer, 2005. 289 p. (Lecture Notes in Computer Science, 3390). [SELMAS 2004].
COLCHER, S.; GOMES, A.T.A.; SILVA, A.O.; SOUZA FILHO, G.L.; SOARES, L.FG. VoIP: voz sobre IP. Rio de Janeiro: Elsevier: Campus, 2005. 288 p.
LUCENA, C.J.P.; BLOIS, M.; CHOREN, R.; SILVA, V.T. Proceedings of the 1st Workshop on Software Engineering for Agent Systems (SEAS). Porto Alegre: SBC, 2005. 1 CD-ROM.
SOUZA, C.S. The semiotic engineering of human-computer interaction. Cambridge: MIT Press, 2005. 283 p.