» livros novos - agosto 2002

1. BORRIONE, Dominique; IMAG/ARTEMIS. From HDL descriptions to guaranteed correct circuit designs. 1987.
2. CAMARINHA-MATOS, Luis; HAMIDEH, Afsarmanesh. Balanced automation systems : architectures and design methods. 1995.
3. DIVERIO, Tiarajú Asmuz; MENEZES, Paulo Blauth. Teoria da computação : máquinas universais e computabilidade. 2.ed. 2000.
4. HEUSER, Carlos Alberto. Projeto de banco de dados. 4.ed. 2001.
5. HÖRBST, E. VLSI design of digital systems. 1986.
6. KOOMEN, C. J.; MOTO-OKA, T. Computer hardware description languages and their applications. 1985.
7. MENEZES, Paulo Blauth. Linguagens formais e autômatos. 3.ed. 2000.
8. MENEZES, Paulo Blauth; HAEUSLER, Edward Hermann. Teoria das categorias para ciência da computação. 2001.
9. OLIVEIRA, Rômulo Silva de; CARISSIMI, Alexandre da Silva; TOSCANI, Simão Sirineo. Sistemas operacionais. 2001.
10. PRICE, Ana Maria de Alencar; TOSCANI, Simão Sirineo. Implementação de linguagens de programação: compiladores. 2.ed. 2001.
11. REIS, Ricardo Augusto da Luz (org.). Concepção de circuitos integrados. 2.ed. 2002.
12. SALGADO, Ana Carolina et al. Sistemas hipermídia : hipertexto e bancos de dados. 1992.
13. SANTOS, Clesio Saraiva dos; AZEREDO, Paulo Alberto de. Tabelas: organização e pesquisa. 2001.
14. SCHNEIDER, Hans-Jochen; WASSERMAN, Anthony I. Automated tools for information systems design. 1982.
15. TOSCANI, Laira Vieira; VELOSO, Paulo A. S. Complexidade de algoritmos: análise, projetos e métodos. 2001.
16. WEBER, Raul Fernando. Arquitetura de computadores pessoais. 2000.
17. __. Fundamentos de arquitetura de computadores. 2.ed. 2001.