1

Biblioteca

Boletim de novas aquisições – Agosto de 2015

- Obras compradas -

COMPUTAÇÃO

BARNES, D.J.; KOLLING, M. Programação orientada a objetos com Java. 4.ed. São Paulo: Pearson Prentice Hall, 2009. 68N15.48 B261po.4 DAMAS, L. Linguagem C. 10.ed. Rio de Janeiro: LTC, 2014. 68N15.10 D18Lc.10 DEITEL, P.J.; DEITEL, H. Java: como programar. 8.ed. São Paulo: Pearson Prentice Hall, 2010. 68N15.48 D325jc.8 JAMES, G. et al. An introduction to statistical learning: with applications in R. London: Springer, 2014. 68T35.01 I61 KUNG, S.Y. Kernel methods and machine learning. Cambridge: Cambridge University Press, 2014. 68T35.01 K96km KUROSE, J.F.; ROSS, K.W. Redes de computadores e a internet: uma abordagem top-down. 6.ed. São Paulo: Pearson Education do Brasil, 2013. 68M10.01 K96rc.6 MENEZES, N.N.C. Introdução à programação com Phyton. 2.ed. São Paulo: Novatec, 2014. 68N15.01

2

Biblioteca

M543ip.2 RAUBER, T.; RUNGER, G. Parallel programming. 2.ed. New York: Dordrecht ,2012. 68M25.35 R239pp.2 ROMEIRO, R.A.F. et al. (Org.). Robótica móvel. Rio de Janeiro: LTC, 2014. 68T75.20 R666 ROSA, J.L.G. Linguagens formais e autômatas. Rio de Janeiro: LTC, 2010. 68Q15.01 R781Lf SHALEV-SHWARTZ, S. Understanding machine learning. Cambridge: Cambridge University Press, 2014. 68T35.01 S297um SZELISKI, R. Computer vision: algorithms and applications. New York: Springer, 2011. 68U15.05 S997cv TENT, K. A course in model theory. Cambridge: Cambridge University Press, 2012. 68Q10.01 T313co ZAKI, M.J.; MEIRA JR., W. Data mining and analysis: fundamental concepts and algorithms. Cambridge: Cambridge University Press, 2014. 68T75.30 Z21dm

MATEMÁTICA

CAMARGO, I.; BOULOS, P. Geometria analítica. 3.ed. São Paulo: Prentice Hall, 2005. 51N20 C172gt.3

3

Biblioteca

ELSCHNER, J.; GOHBERG, I.; SILBERMANN, B. (Eds.). Problems and methods in mathematical physics. Birkhauser: Springer, 2001. 00B15 P962

FARKAS, H.M. Rieman surfaces. 2.ed. New York: Springer, 1992. 30F01 F229rs.2

GUIDORIZZI, H.L. Um curso de cálculo v.1. 5.ed. Rio de Janeiro: LTC, 2015. 26A06 G948cu.5 GUIDORIZZI, H.L. Um curso de cálculo v.4. 5.ed. Rio de Janeiro: LTC, 2015. 26A06 G948cu.5 MARTIN, P.A. Grupos, corpos e teoria de Galois. São Paulo: Livraria da Física, 2010. 13B05 M382gc MASTROIANNI, G.; MILOVANOVIC, G.V. Interpolation processes: basic theory and applications. B: Springer, 2010. 41A05 M423ip TIPLER, P.A. Física para cientistas e engenheiros. v.2. Rio de Janeiro: LTC, 2015. 00A79 T595f.6 ZABALA, A. Prática educativa: como ensinar. Porto Alegre: Artmed, 1998. 02B15 Z12pe

MATEMÁTICA APLICADA E ESTATÍSTICA BOLFARINI, H.; BUSSAB, W.O. Elementos de amostragem. São Paulo: Blucher, 2005. 62D01

4

Biblioteca

B688ca

BOYCE, W.E. Equações diferenciais elementares e problemas de valores de contorno. 10.ed. Rio de Janeiro: LTC, 2015.

65J01 B789ed.10 DROR, M. (Ed.). ARC routing: theory, solutions and applications. New York: Springer, 2000. 66I05 A668

FRANCO, N.B. Cálculo numérico. São Paulo: Pearson, 2006. 65A10 F825cn JAYNES, E.T. Probability theory: the logic of science. Cambridge: Cambridge University Press, 2014. 60A01 J42pt LINDEN, W.J. Linear models for optimal test design. New York: Springer, 2010. 62J01 L735Lm SCHERVISH, M.J. Theory of statistics. New York: Springer, 1995. 62A01 S326ts WASSERMAN, L. All of nonparametric statistics. New York: Springer, 2006. 62G01 W322an YANG, T. Impulsive control theory. Berlin: Springer, 2001. 65O01 Y22ic YONG, G.A.; SMITH, R.L. Essentials of statistical inference. Cambridge: Cambridge University Press, 2010.

5

Biblioteca

62A01 Y72es

- Obras doadas -

COMPUTAÇÃO

MITKOV, R. Anaphora resolution. London: Longman, 2002. 68T70.01 M684as PATTON, M.Q. Developmental evaluation. New York: Guilford Press, 2011. 68V05 P322de PATTON, M.Q. Essentials of utilization-focused evaluation. Los Angeles: Sage, 2012. 68V35.01 P322es PATTON, M.Q. Utilization-focused evaluation. 4ed. LoS aNGELES: sAGE, 2008. 68V35.01 p322UF.4 RAO, R.R.; EISENBERG, J.; SCHMITT,T. (Eds.). Improving disaster management. Washington: The National Academic Press, 2007. 68P20.01 I34 WOLF, F. Coherence in natural language. Cambridge: Mit Press, 2006. 68T70.35 W853cn

ZOLLI, A.; HEALY, A.M. Resilience; why things bounce back. New York: Free Press, 2012. 68P20.01 Z86re

6

Biblioteca

MATEMÁTICA

TENGAN, E.; BORGES, H. Álgebra comutativa em quatro movimentos. Rio de Janeiro: IMPA, 2015. 15-01 T292ac

MATEMÁTICA APLICADA E ESTATÍSTICA

MILES, M.B.; HUBERMAN, A.M. An expanded sourcebook qualitative data analysis. 2ed. Thousand Oaks: Sage, 1994. 62P01 M643qd.2

TESES ARRUDA, H.F. Análise estrutural e dinâmica de redes biológicas. Dissertação (Mestrado) - Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2015. T A779ae BATISTA, R.N. Otimizando o teste estrutural de programas concorrentes: uma abordagem determinística e paralela. Dissertação (Mestrado) - Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2015. T B333ot BONETTI, D.R.F. Algoritmos de estimação de distribuição para predição ab initio de estruturas de proteínas. Tese (Doutorado) - Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2015. T B712aL

7

Biblioteca

CAMPOS, G.O. Estudo, avaliação e comparação de técnicas de detecção não supervisionada de uotliers. Dissertação (Mestrado) - Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2015. T E198es CANTAREIRA, G.D. Visualização computacional de música com suporte à discriminação de elementos de teoria musical. Dissertação (Mestrado) - Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2015. T C229vc CARLOS JUNIOR, L.F.M. Reconhecimento de faces utilizando um modelo conexionista baseado em populações de neurônios. Dissertação (Mestrado) - Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2015. T C284re GOMES, M.J.F. Propriedades de filtros lineares para sistemas lineares com saltos markovianos a tempo discreto. Tese (Doutorado) - Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2015. T G633pr JORGE, M.L.R.C. Modelagem gerativa para sumarização automática multi-documento. Tese (Doutorado) - Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2015. T J82mg MARCACINI, R.M. Aprendizado de máquina com informação priviligiada: abordagens para agrupamento hierárquico de textos. Tese (Doutorado) - Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2015. T M312ap MERIGHE, L.C. Uma introdução às derivações localmente nilpotentes com uma aplicação ao 14. problema de Hilbert. Dissertação (Mestrado) - Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2015.

8

Biblioteca

T M561ui MUNDIM, L.R. Uma abordagem heurística para o corte de itens irregulares em múltiplos recipientes. Dissertação (Mestrado) - Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2015. T M965ua NARVÁEZ, A.R.R. Alcançabilidade e controlabilidade médias para sistemas lineares com saltos markovianos a tempo contínuo. Tese (Doutorado) - Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2015. T N238ac PETRI, L.A. Simulação numérica direta de escoamento transicional sobre uma superfície contendo rugosidade. Tese (Doutorado) - Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2015. T P495si SALAZAR, A.E.C. Mineração de estruturas musicais e composição automática utilizando redes complexas. Tese (Doutorado) - Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2015. T S161mi SHINZATO, P.Y. Estimação de obstáculos e área de pista com pontos 3D esparsos. Tese (Doutorado) - Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2015. T S556es SILVA, A.P. Um estudo da teoria das dimensões aplicado a sistemas dinâmicos. Dissertação (Mestrado) - Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2015. T S586es

9

Biblioteca

SILVA, J.A. Agrupamento de dados em fluxos contínuos com estimativa automática do número de grupos. Tese (Doutorado) - Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2015. T S586ag SUNDERMANN, C.V. Extração de formação contextual utilizando mineração de textos para sistemas de recomendação sensíveis ao contexto. Dissertação (Mestrado) - Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, 2015. T S958ex