» livros novos - outubro 2007

1. ADAMS, Lee. High-Performance CAD GRAPHICS in C. 1989.
2. ALEXANDER, David C. Programação em assembler e linguagem de máquina. 1984.
3. BRAZILIAN Symposium on formal methods. Proceedings of the SBMF 2006. 2006.
4. CALUDE, Cristian S. Information and randomness. 2.ed. 2002.
5. CARUSO, Paulo. Estruturas algébricas. 1997.
6. COVER, Thomas M., THOMAS, Joy A. Elements of information theory. 1991.
7. DIESTEL, Reinhard. Graph theory. 2.ed. 2000.
8. EHRIG, Andrea et. al. Grapf transformations. 2006.
9. EZZEL, Ben. Object-oriented programming in turbo pascal 5.5. 1989.
10. EZZEL, Ben. Programação gráfica em turbo C++. 1991.
11. GREY, Daniel. Corel Draw 3.0 :guia completo. 1993.
12. HOLZNER, Steven. Visual basic : :for windows versão 3.0. 1994.
13. HORSTMANN, Cay. Big jav. 2004.
14. LAMBEK, J., SCOTT, P.J. Introduction to higher order categorical logic. 1994.
15. MAC LANE, Saunders. Categories for the working mathematician. 2.ed. 1998.
16. PIERCE, Benjamin C. Basic category theory for computer scientists. 1991.
17. RADFORD, David E., SOUZA, Fernando J. O., YETTER, David N. Diagrammatic morphisms and applications. 2000.
18. REIS, Adriana Neves dos et. al. Desenvolvimento em software livre. 2004. 2ex.
19. ROSENTHAL, David, MEIRA, Silvio Lemos. Os primeiros 15 anos da política nacional de informática: o paradigma e sua implementação. 1995.
20. SETZER, Valdemar W., MELO, Inês S. Homem de. A construção de um compilador 2.ed. 1985.
21. SWAN, Tom. Programando em pascal 7.0 para windows. 1993.
22. TURBO assembler version 2.0. 1988.