As bibliotecas universitárias brasileiras precisam manter constantemente, uma coleção de livros de graduação atualizada e totalmente adequada às bibliografias dos cursos, uma vez que, o próprio Ministério de Educação (MEC) faz esta exigência. Esse fato torna-se uma das questões centrais da graduação, visto que a biblioteca tem um papel essencial e interage como elemento facilitador na aquisição do conhecimento.
A biblioteca do curso deve conter títulos em número adequado e atender às referências bibliográficas das UCs do curso. Para critérios de avaliação do curso, são analisados se cada livro, usado como referência básica de uma dada unidade curricular, existe em uma proporção de 15 alunos por livro no acervo da biblioteca. Além disso, a biblioteca deve conter periódicos de referência na área, materiais multimeios como vídeos, CDs e DVDs.
O acervo deve ocupar um espaço físico adequado e deve existir espaço físico para sala de leitura, trabalho individual e em grupo. Mais ainda, devem existir pontos de acesso à Internet, sobretudo para pesquisa nos periódicos on-line que o curso demanda.
A catalogação do acervo deve estar de acordo com as normas dos serviços bibliográficos e há a necessidade da informatização do acervo, sobretudo para consultas rápidas e reservas de materiais. Um dos pontos de grande importância está relacionado a uma política de atualização e expansão, administrado por recursos humanos qualificados.
Tendo em vista as recomendações supracitadas para uma boa conceituação do curso, no que tange à bibliografia, a biblioteca do curso dever conter um material de qualidade, como livros atualizados, acesso aos principais periódicos da área como as publicações SBC (Journal of the Brazilian Computer
Society), da ACM e da IEEE, e Anais de eventos científicos importantes como, por exemplo, os anais
do SBRC. Para atender a demanda do curso, recomendamos a aquisição de 5 exemplares de cada bibliografia básica e 2 de cada complementar, por unidade curricular em questão.
A aquisição de material bibliográfico para compor a biblioteca deve seguir o cronograma apresentado nas Tabelas a seguir.
ANO 1
Inicia-se no primeiro ano de implantação do curso, a contratação dos periódicos online como ACM, IEEE. Deve ser estabelecida a assinatura de jornais e revistas impressas da área, sobretudo as de abrangência internacional. Inicia-se também o processo de aquisição dos anais dos principais eventos científicos, como os promovidos pela Sociedade Brasileira de Computação.
Unidade Curricular Bibliografia Qt. Matemática Discreta 1. K. H. Rosen, Discrete Mathematics and its Applications, Mc-Graw
Hill, 2003.
5
2. M. O. Albertson, Joan P. Hutchinson, Discrete Mathematics With Algorithms, John Wiley & Sons, 1988.
5
3. J. Gersting, Fundamentos Matemáticos para a Ciência da Computação, LTC, 2001.
2
4. J. E. Munro, Discrete Mathematics for Computing, Chapman & Hall, 1993
2
5. S. Roman, An introduction to discrete mathematics, Saunders College, 1989.
2
6. K. A. Ross, C. R. Wright, Discrete Mathematics, Prentice Hall, 1988. 2 7. E. R. Scheinerman, Matemática Discreta: uma introdução, Thomson, 2000.
2
1. M. A. Munem, D. J. Foulis, Cálculo, Vol. 1. LTC, 1982. 5
2. G. F. Simmons, Cálculo com Geometria Analítica, Vol. 1, Makron Books, 1987.
5
3. L. Leithold, Cálculo com Geometria Analítica, Vol. I. Harbra, 1994. 2 Cálculo Diferencial e
Integral I
4. L. Goldstein, Cálculo e suas Aplicações, Hemus, 20.6. 2 1. C. H. Lehmann, Geometria analítica, Globo, 1998. 5 2. I. C. Oliveira, P. Boulos, Geometria Analítica. Um
Tratamento
5 Geometria Analítica
3. M. F. Azevedo Filho, Geometria Analítica e Álgebra Linear. Edições Livro Técnico e Premius Editora, 2001.
2
1. V. Setzer, R. Terada. Introdução à Computação e à Construção de Algoritmos. McGraw-Hill, 1991.
5
2. E. Roberts. The Art and Science of C. Addison-Wesley, 1995. 5 3. J. Franca, J. Lessa. Manual para normalização de publicações técnico-científicas. UFMG, 2001.
2 Introdução à Ciência da
Computação
4. B. Kernighan, D. Ritchie. A Linguagem de Programação C, padrão ANSI. Campus, 1990.
2
1. D. E. Knuth. The Art of Computer Programming, Volume 1: Fundamental Algorithms, Addison-Wesley, 1997.
5
2. A. L. V. Forbellone, H. F. Eberspacher, Lógica de Programação: a Construção de Algoritmos e Estruturas de Dados , Makron Books, 2005.
2
3. J. Tremblay, Ciência dos computadores: uma abordagem algorítmica, Makron Books, 1983.
2 Algoritmos e Estruturas de
Dados I
4. J. A. G. Manzano, Algoritmos: lógica para desenvolvimento de programação de computadores, Érica, 2004.
2
1. N. Ziviani, Projeto de Algoritmos com Implementações em Pascal e C, Editora Thomson, 2004.
5
2. T. H. Cormen, C. E. Leiserson, R. L. Rivest, C. Stein, Algoritmos, Teoria e Prática, Campus, 2002.
5
3. J. L. Szwarcfiter, L. Markenzon, Estruturas de Dados e Seus Algoritmos, LTC, 2002.
2
4. B. R. Preiss, Estruturas de Dados e Algoritmos, Elsevier, 2001. 2 5. D. E. Knuth, The Art of Computer Programming, Volume 1: Fundamental Algorithms, Addison-Wesley, 1997.
2 Algoritmos e Estruturas de
Dados II
6. D. E. Knuth, The Art of Computer Programming, Volume 3: Searching and Sorting, Addison-Wesley, 1997.
7. G. Brassard, P. Bratley, Fundamentals of Algorithmics, Prentice Hall, 1995.
2
Cálculo Diferencial e Integral II
1. M. A. Munem, D. J. Foulis, Cálculo, Vol. 2. LTC, 1982. 5
1. A. B. Clarke, Probabilidade e processos estocásticos, LTC, 1979. 5
2. P. L. Meyer, Probabilidade: aplicações à estatística, LTC, 1983. 5 3. P. G. Hoel, Introduction to probability theory, Houghton Mifflin
Company, 1971.
2
6. A. M. Mood, Introduction to the theory of statistics, McGraw-Hill, 1974.
2 Estatística e Probabilidade
Aplicada à Computação
7. D. C. Montgomery, E. A. Peck, G. G. Vining, Introduction to linear regression analysis, Wiley-Interscience, 2006.
2
1. M. Ben-Ari, Mathematical Logic for Computer Science, Springer, 2003.
5
2. A. M. Casanova, F. A. C. Giorno, A. L. Furtado, Programação em Logica e a Linguagem Prolog, Edgard Blucher, 1987.
5
3. C. L. Chang, R. C. T. Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, 1973.
2 Lógica Aplicada à
Computação
4. J. H. Gallier, Logic for Computer Science: Foundation of Automatic Theorem Proving, John Wiley & Sons, 1986.
2
1. R. Katz, G. Borriello, Contemporary Logic Design, Prentice Hall, 2004.
5
2. M. Mano, C. Kime, Logic and Computer Design Fundamentals, Prentice Hall, 20.6.
5
3. R. Tocci, N. S. Widmer, Sistemas Digitais Princípios e Aplicações, Pearson, 2003.
2
4. A. Tanenbaum, Organização Estruturada de Computadores, Pearson, 2006.
2
5. D. Smith, HDL Chip Design. Doone, 1998. 2 Introdução a Sistemas
Lógicos Digitais
6. V. Sagdeo, The Complete Verilog Book, Springer, 1998. 2
ANO 2
Unidade Curricular Bibliografia Qt.
1. N. Ziviani, Projeto de Algoritmos com Implementações em Pascal e C, Editora Thomson, 2004.
5
2. D. E. Knuth, The Art of Computer Programming, Volume 1: Fundamental Algorithms, Addison-Wesley, 1997.
5
3. T. H. Cormen, C. E. Leiserson, R. L. Rivest, C. Stein, Algoritmos, Teoria e Prática, Campus, 2002.
4
4. J. L. Szwarcfiter, L. Markenzon, Estruturas de Dados e Seus Algoritmos, LTC, 2002.
2
5. N. Wirth, Algoritmos e Estruturas de Dados, LTC, 1989.
6. P. Veloso, C. Santos, O, Azeredo, A. Furtado, Estruturas de Dados, Campus, 1983.
2
7. U. Manber, Introduction to Algorithms: A Creative Approach, Addison-Wesley, 1989.
2 Algoritmos e Estrutura de
Dados III
8. M. A. Weiss, Algorithms, Data Structures, and Problem Solving with C++, Addison-Wesley, 1996.
1. D. Patterson, J. Hennessy, Organização e projeto de Computadores: A Interface hardware/Software, Campus, 2005.
5
2. A. Tanenbaum, Organização Estruturada de Computadores, Pearson, 2006.
5
3. W. Stallings, Arquitetura e Organização de Computadores,Prentice Hall, 2002.
2
4. D. Smith, HDL Chip Design, Doone, 1998. 2 Arquitetura e Organização
de Computadores I
5. V. Sagdeo, The Complete Verilog Book, Springer, 1998. 2 1. J. L. Boldrini, S. I. Costa, V. L. Figueiredo, H. G. Wetzler, Álgebra Linear, Harbra, 1986.
5
2. A. Steinbroch, P. Wintele, Álgebra Linear, McGrawHill, 1987. 2 3. S. Lang, Álgebra Linear, Editora Edgar Blucher, 1971. 2 Álgebra Linear
4. C. Callioli, H. Domingues, R. Costa, Álgebra Linear e Aplicações, Atual, 2006.
2
1. D. Halliday, D. Resnick, R. J. Walker, Fundamentos de Física, Volume
5
2. D. Halliday, D. Resnick, R. J. Walker, Fundamentos de Física, Volume
5
3. J. Orear, Fundamentos de Física, Volume 1, LTC, 1981. 2 Mecânica Clássica
4. R. C. Hibbeler, Dinâmica: Mecânica para Engenharia, Prentice-Hall, 2004.
2
1. B. Meyer, Object-oriented software construction, Prentice-Hall, 1997. 5
2. G. Cornell, G. Horstmann, Core Java, Volume 1: Fundamentos, Makron, 2000.
2 Programação Orientada a
Objetos
3. B. Stroustrup, The C++ Programming Language, Addison-Wesley, 1997.
2
1. F. Varejao, Linguagens de Programação: Conceitos e Técnicas, Elsevier, 2004.
5
2. D. Watt, Programming Language Concepts and Paradigms, Prentice-Hall, 1993.
5
3. R. W. Sebesta, Conceitos de Linguagens de Programação, Bookman, 2003.
5
4. T. Pratt, M. V. Zelkowitz, Programming Languages Design and Implementation, Prentice-Hall, 2001.
2 Conceitos de Linguagens
de Programação
5. R. Sethi, Programming Languages: Concepts and Constructs, Addison Wesley, 1996.
2
1. I. Sommerville, Engenharia de Software, Pearson, 2003. 5
2. R. Pressman. Engenharia de Software. Pearson Education, 2004. 5 3. W. de Pádua Paula Filho, Engenharia de Software, LTC, 2003. 5 4. S. Pfleeger, Engenharia de Software Teoria e Prática, Makron Books, 2004.
2 Introdução à Engenharia
de Software
5. S. Schach, ObjectOriented and Classical Software Engineering, McGrawHill, 2002.
2
1. D. Halliday, D. Resnick, R. J. Walker, Fundamentos de Física, Volume
5 Física Elementos de
Eletricidade
2. J. Orear, Fundamentos de Física, Volume 2, LTC, 1981. 2 1. P. O. Boaventura Neto, Grafos: Teoria, Modelos, Algoritmos, Edgard Blucher, 2006.
5 Grafos
2. J. L. Szwarcfiter, Grafos e Algoritmos Computacionais, Campus, 1984.
3. T. H. Cormen, C. E. Leiserson, R. L. Rivest, C. Stein, Algoritmos, Teoria e Prática, Campus, 2002.
2
4. J. L. Gross, J. Yellen, Handbook of Graph Theory, CRC Press, 2003. 2 5. G. Chartrand, O. L. Oellermann, Applied and Algorithmic Graph Theory, McGraw Hill, 1992.
2
1. J. Hennessy, D. Patterson, Arquitetura de Computadores: Uma Abordagem Quantitativa, Campus, 2003.
5
2. D. Patterson, J. Hennessy, Organização e projeto de Computadores: A Interface hardware/Software, Campus 2005.
5 Arquitetura e Organização
de Computadores II
3. A. Tanenbaum, Organização Estruturada de Computadores, Pearson, 2006.
2
4. W. Stallings, Arquitetura e Organização de Computadores, Prentice Hall, 2002.
2
5. D. Smith, HDL Chip Design, Doone, 1998. 2 6. V. Sagdeo, The Complete Verilog Book, Springer, 1998. 2
ANO 3
No terceiro ano do curso deve se iniciar a aquisição do material bibliográfico das UCs de formação específica. A bibliografia será definida ao longo do processo de implantação do curso, e será validada mediante aprovação do colegiado.
Unidade Curricular Bibliografia Qt.
Formação Específica 1. Referência Básica a ser Definida
2. Referência Complementar a ser Definida
25 10 1. A. Tanenbaum, Sistemas Operacionais Modernos, Prentice-Hall, 2003.
5
2. A. Silberschatz, P. B. Galvin, G. Greg, Sistemas Operacionais Conceitos e Aplicações. Campus, 2000.
5 Sistemas Operacionais
3. S. S. Toscani, R. S. Oliveira, A. S. Carissimi, Sistemas Operacionais, Sagra Luzzato, 2004.
2
1. N. Vieira, Introdução aos Fundamentos da Computação: Linguagens e Máquinas, Pioneira Thomson Learning, 2006.
5
2. J. Hopcroft, R. Motwani, J. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 2006.
5
3. J. Martin, Introduction to Languages and the Theory of Computation, McGraw-Hill, 2002.
2 Teoria de Linguagens
4. P. B. Menezes, Linguagens Formais e Autˆomatos, Sagra-Luzzatto, 2002.
2
1. M. S. Bazaraa, J. J. Jarvis, H. D. Sherali, Linear Programming and Network Flows, Wiley-Interscience, 2004.
5
2. M. C. Goldbarg, H. P. Luna, Otimização combinatória e programação linear : modelos e algoritmos, Campus, 2005.
5 Matemática
Computacional
3. E. L. de Andrade, Introdução à pesquisa operacional : métodos e modelos para a análise de decisão, LTC, 2000.
2
1. J. Levine, Linkers and Loaders, Morgan-Kaufmann, 2000. 5 2. A. Tanenbaum, Organização Estruturada de Computadores, Pearson, 2006.
5 Software Básico
3. K. Irvine, Assembly Language for Intel-Based Computers, Prentice-Hall, 2006.
1. J. Preece, Human-Computer Interaction, Addison-Wesley, 1994. 5
2. Y.Rogers, H. Sharp, J. Preece, Interaction Design: Beyond Human-Computer Interaction, John Wiley & Sons.
5
3. S. Johnson, Cultura da Interface, Jorge Zahar, 2001. 2 Interação Homem
Computador
4. D. Hix, H. Hartson, Developing User Interfaces: Ensuring Usability through Product & Process, John Wiley and Sons, 1993.
2
1. A. J. Aho, R. Sethi, J. D. Ullman, Compiladores: Princípios, Técnicas e Ferramentas, Guanabara Koogan, 1995.
5
2. P. B. Menezes, Linguagens Formais e Autˆomatos, Sagra-Luzzatto, 2002.
2 Compiladores
3. C. Jacobs, K. Langendoen, H. E. Bal, D. Grune, Projeto Moderno de Compiladores: Implementação e Aplicações, Campus, 2001.
2
1. A. Silberschatz, H. F. Korth, S. Sudarshan, Sistema de Bancos de Dados, Campus, 2006.
5 Banco de Dados
2. R. Elmasri, S. B. Navathe, Fundamentals of Database Systems, Addison-Wesley, 2006.
5
1. A. Tanenbaum, Redes de Computadores, Campus, 2003. 5 2. G. Dollimore, J. Kindberg, T. Coulourisg, Distributed systems : concepts and design, Addison-Wesley, 2005.
2
3. J. Kurose, K. Ross, Redes de Computadores e a Internet - Uma Nova Abordagem, Addison-Wesley, 2006.
2
4. D. E. Comer, Internetworking with TCP/IP Volume II: ANSI C Version: Design, Implementation, and Internals, Prentice Hall, 1998.
2 Redes de Computadores I
5. D. E. Comer, Internetworking with TCP/IP Volume III: Client-Server Programming and Applications, Linux/Posix Sockets Version, Prentice Hall, 2000.
2
1. R. Gonzalez, R. Woods, Digital Image Processing, Prentice-Hall, 20.6.
5 Processamento Digital de
Imagens
2. A. Jain. Fundamentals of Digital Image Processing. Prentice Hall, 1988.
5
ANO 4
Unidade Curricular Bibliografia Qt.
1. J. Foley, A. van Dam, S. Feiner, J. Hughes, Computer Graphics: Principles and Practice in C, Addison-Wesley, 1995.
5
. J. Gomes, L. Velho, Fundamentos de Computação Gráfica, IMPA, 2003.
5 Computação Gráfica
3. A. Watt, 3D Computer Graphics, Addison-Wesley, 1999. 2 Inteligência Artificial 1. Russel, S., Norvig, P., Artificial Intelligence - A Modern Approach,
Prentice Hall, 1995.
5
2. J. Hair Jr, R. Anderson, R. Tatham, W. Black, Análise Multivariada de Dados, Artmed, 2005.
2
3. L. Kuncheva, Combining Pattern Classifiers: Methods and Algorithms, Wiley-Interscience, 2004.
2
4. T. Mitchell, Machine Learning, McGraw Hill, 1997. 2 5. S. O. Rezende, Sistemas Inteligentes: Fundamentos e Aplicações, Manole, 2003.
6. I. H. Witten, E. Frank, Data Mining: Practical Machine Learning Tools and Techniques with Java Implementations. Morgan Kaufmann, 1999.
2
1. Masiero, P. C, Ética em Computação, USP, 2000. 5 Fatores Humanos
em
Sistemas Computacionais 2. D. G. Johnson, H. Nissenbaum. Computers, ethics and social values, Prentice-Hall 1995.