Document Actions
Biblioteca Interna
A Biblioteca Interna foi criada juntamente com o Mestrado, possuindo
um acervo voltado diretamente às linhas de pesquisa, com
aproximadamente 2000 exemplares, oferecendo a comodidade aos estudantes
de não precisarem de se deslocar até a Biblioteca Central da UnB para
pesquisar sobre os temas de computação.
· Solano Oliveira Rodrigues - solano@unb.br
· Solano Oliveira Rodrigues - solano@unb.br
Acervo
CATALOGO POR AUTOR
CATALOGO POR LOCALIZACAO
Planilha 1: CATALOGO POR AUTOR
| AUTOR | TÍTULO | EDIÇÃO | ANO | EDITOR | LOCAL | LOCALIZAÇÃO |
| ABELSON, Harold; SUSSMAN, Gerald J | Structure and interpretation of computer programs | 1 | 1985 | MIT Press | Massachusertts | PGR |
| Ackoff, Russel ; Sasieni, Maurice W. | Pesquisa operacional | 1979 | LTC | Rio de Janeiro | OL | |
| Adobe Systems Incorporated | PostScript language reference manual | 2 | 1990 | Addison-wesley | Massachusertts | PGR |
| AHO, Alfred V. ; SETHI, Ravi; ULLMAN, Jeffrey D. | Compiladores: princípios, técnicas e ferramentas | 1995 | LTC | Rio de Janeiro | PGR | |
| Aho, Alfred V. ; Ullman, Jeffrey D. | Theory of parsing, translation, and compiling, v. 1 (The) | 1972 | Prentice-Hall | London | PG | |
| Aho, Alfred V. ; Ullman, Jeffrey D. | Theory of parsing, translation, and compiling, v. 2 (The) | 1973 | Prentice-Hall | London | PG | |
| Ainsworth, William | Speech Recognition by machine | 1988 | Peter Peregrinus | Londres | AC | |
| Albitz, Paul ; Liu, Cricket | DNS and BIND | 2 | 1997 | O'Reilly & Associates | Sebastopol | AC |
| Albitz, Paul ; Liu, Cricket | DNS and BIND | 1992 | O'Reilly & Associates | Sebastopol | AC | |
| ALBRECHT, Peter | Analise numerica: um curso moderno | 1 | 1973 | Livros Tecnico e Cientificos | Rio de Janeiro | MAT |
| ALBUQUERQUE, Fernando | Programacao orientada a objetos usando JAVA e UML | 1 | 1999 | MSD | Brasilia | PGR |
| Aleksander, Igor | Neural computing architectures: the design of brain-like machines | 1989 | MIT | Massachusertts | IA | |
| ALENCAR, Paulo S C; LUCENA, Carlos J P de | Metodos formais para o desenvolvimento de programas | 1 | 1989 | IV Esc Brasileiro-Argentina de Informatica | Santiago del estero | ES |
| Allen, James | Natural language understand | 1988 | Benjamin/Cummings | California | IA | |
| ALLEN, John | Anatomy of LISP | 1 | 1978 | McGraw Hill | New York | PGR |
| ALLWOOD, Jens; ANDERSON, Lars-gunnar; DAHL, Osten | Logic in linguistics | 1 | 1977 | Cambride | New York | LG |
| ALMEIDA, Viera de | Logica elementar | 2 | 1961 | Armenio A | LG | |
| ALTMAN, Rebecca Bridges | Harvard Graphics: simples e rápido | 1 | 1991 | McGraw Hill | São Paulo | CG |
| ALUR, Deepak ; CRUPI, John ; MALKS, Dan | Core J2ee patterns best pratices and desing strategies | 2 | 2003 | Sun Micrsystems Press | Califórnia | LN |
| Amaral Filho, Antônio Rubens Anciães | Projeto estruturado: fundamentos e técnicas | 1988 | LTC | Rio de Janeiro | DAD | |
| Amorim, Cláudio Luis ; Barbosa, Valmir Carneiro ; Fernandes, Edil Severino Tavares | Introdução à computação paralela e distribuída (Uma) | 1988 | UNICAMP | São Paulo | AC | |
| ANDERSEN, Dick; COOPER, Cynthia; DEMPSEY, Bill | dBase III: dicas e truques | 1 | 1987 | McGraw Hill | São Paulo | DAD |
| Anderson, James ; Rosenfeld, Edward | Neurocomputing: fundations of research | 1988 | MIT | Massachusertts | IA | |
| Anderson, John R. | Architecture of cognition (The) | 1983 | Harvard University | London | IA | |
| ANDERSON, John R; CORBETT, Albert T; REISER, Brian J | Essential LISP | 1 | 1987 | Addison-wesley | Massachusertts | PGR |
| Anderson, John Robert | Cognitive psychology and this its implications | 1985 | W. H. Freeman and Company | New York | IA | |
| Anderson, Robert | Proving programs correct | 1979 | Jonh Wiley & Sons | New York | PGR | |
| ANDERSON, Stephen R | Organization of phonology (The) | 1 | 1974 | Academic Press | San Diego | IA |
| ANDREWS, Peter B | Introduction to mathematical logic and theory: to truth through proof (An) | 1 | 1986 | Academic Press | San Diego | LG |
| Arbib, Michael ; Hanson, Allen R. | Vision, brain, and cooperative computation | 1987 | MIT | Massachusertts | IA | |
| ARBIB, Michael A | Brains, machines, and mathematics | 2 | 1987 | Springer-Verlag | New York | IA |
| AUTOR | TÍTULO | EDIÇÃO | ANO | EDITOR | LOCAL | LOCALIZAÇÃO |
| ARBIB, Michael A; CONKLIN, E Jeffrey; HILL, Jane C | From schema theory to language | 1 | 1987 | Oxford University | New York | IA |
| ARBIB, Michael A; HESSE, Mary B | Construction of reality (The) | 1 | 1986 | Cambridge University | Cambridge | IA |
| Arnheim, Rudolf | Art and visual perception: a psychology of the creative eye | 1974 | University of California | California | CG | |
| ARNOLD, Ken; GOSLING, James | Java programming language (The) | 1 | 1996 | Addison-wesley | Massachusertts | PGR |
| ARSON, Denis S; BUCHBERGER, Bruno | Algorithms in real algebraic geomatry | 1988 | Academic Press | London | MAT | |
| ARTUHR, Lowell Jay | UNIX programacao shell | 1 | 1991 | Livros Tecnico e Cientificos | Rio de Janeiro | PGR |
| Aschoff, Jurgen | Handbook of behavioral neurobiology: biological rhythms, v. 4 | 1981 | Plenum | New York | IA | |
| AVISON, D E;BA, G Fitzgerald | Information systems development: methodologies, techniques and tools | 1 | 1988 | Blackwell Scientific | Oxford | AC |
| AYRES JR, Frank | Equacoes diferenciais: resumo da teoria: 560 problemas resolvidos: 509 problemas propostos | 1 | 1963 | Ao livro tecnico | Rio de Janeiro | MAT |
| AZEVEDO, Fernando Mendes de; BRASIL, Lourdes Mattos; OLIVEIRA, Roberto Celio Lima de | Redes neurais com aplicacoes em controle e em sistemas especialistas | 1 | 2000 | Bookstore | Florianopolis | IA |
| BACHELARD, Gaston | Poetica do espaco (A) | 1 | 1988 | Martins Fontes | São Paulo | OL |
| Bacon, Harold Maile | Differential and integral calculus | 1942 | McGraw-Hill | New York | MAT | |
| Baker, C. L. ; McCarthy, John J. | Logical problem of language acquisition (The) | 1981 | MIT | Massachusertts | LG | |
| BAKER, Kenneth | Minimalism: art of circumstange | 1 | 1988 | Abbeville | New York | OL |
| BALLARD, Dana H.;BROWN, Christopher M | Computer vision | 1 | 1982 | Prentice Hall | Englewood | IA |
| Banden, John ; Pollack, Jordan B. | High-level Connectionist models , v. 1: advances in connectionist and neural computation theory | 1990 | Ablex Publishing Corporation | New Jersey | IA | |
| BANERJI, Ranan B | Artificial intelligence: a theoretical approach | 1 | 1985 | North-holland | New York | IA |
| BAPTISTELLA, Luiz F B | Rede digital de servicos integrados | 1 | 1988 | EBAI | Curitiba | RD |
| Baras, Edward M. | Lotus 1-2-3 avançado | 1987 | McGraw-Hill | São Paulo | PGR | |
| BARENDREGT, H. P. | Lambda calculus (The) | 1 | 1984 | North Holland | Amsterdan | MAT |
| Barr, Avron ; Feigenbaum, Edward | Handbook of artificial inteligence, v. 1(The) | 1981 | Addison-wesley | London | IA | |
| BARR, Avron; FEIGENBAUM, Edward | Handbook of artificial intelligence (The): vol II | 1 | 1982 | Addison-wesley | Massachusertts | IA |
| BARTHES, Roland | Elementos de semiologia | 1 | 1984 | Edicoes 70 | Lisboa | OL |
| BARTHES, Roland | Obvio e o obtuso (O) | 1 | 1982 | Edicoes 70 | Lisboa | |
| BARTHES, Roland | Sade, Fourier, Loiola | 1 | 1971 | Martins Fontes | São Paulo | OL |
| Batko, Ivan | Prolog Programming for artificial inteligence | 1986 | Addison-Wesley | London | IA | |
| Beauchamp, James W. | Music by computers | 1969 | Jonh Wiley e Songs | Nova Iorque | MUS | |
| Beck, Jacob; Hope, Barbara ; Rosenfeld, Arziel | Human and machine visions | 1983 | Academic Press | London | IA | |
| Beck, Kent | Extreme programming explained: embarace change | 1999 | Addison-wesley | London | ||
| Beck, Kent | Test-driven development: by example | 2003 | Addison-wesley | London | LN | |
| BELLMAN, Richard | Introduccion al analisis matricial: um estudo de la moderna teoria de matrices | 1 | 1965 | Revertè | Barcelona | MAT |
| Bellman, Richard | Introduccion al analisis matricial: un estudio de la moderna teoria de matrices | 1965 | Reverté | Buenos Aires | MAT | |
| BENZA, Alberto Naon | Teleprocessamento | 1 | 1977 | Livros tecnicos e cientificos | Rio de Janeiro | TE |
| AUTOR | TÍTULO | EDIÇÃO | ANO | EDITOR | LOCAL | LOCALIZAÇÃO |
| BERG, H K; BOEBERT, W. E.; et al | Formal methods of program verification and specification | 1 | 1982 | Prentice Hall | New Jersey | PGR |
| BERNSTEIN, Leonard | Unanswered question (the), vol. 1 | 1 | 1976 | Harvard University | Cambridge | MUS |
| BERRY, John | Programando em C++ | 1 | 1947 | Makron | São Paulo | PGR |
| Bertel, Jean ; Perrin, Dominique | Theory of codes | 1985 | Academic Press | Orlando | MAT | |
| BESL, Paul J | Surfaces in range image understanding | 1 | 1988 | Springer-Verlag | New York | CG |
| BIRD, Richard; WADLER, Philip | Introduction to functional programming | 1 | 1988 | Prentice Hall | New York | PGR |
| BIRKHOFF, Garrett | Lattice theory | 1 | 1948 | American Mathematical Society | New York | MAT |
| Birkhoff, Garrett ; Lane, Saunders Mac | Survey of modern algebra (A) | 4 | 1977 | Macmillan publishing | New York | MAT |
| BIRREN, Faber | Color & Human response: aspects of light and color bearing on the reactions of living things and the welfare of human beings | 1 | 1978 | Van nostrand Reinhold | New York | IA |
| Blake, Ian F. ; Mullin, Ronald C. | Mathematical theory of coding (The) | 1975 | Academic Press | Orlando | MAT | |
| BLOCK, Ned | Imagery | 1 | 1981 | MIT | Massachusetts | |
| BLOOM, Alfred H | Linguistic shaping of thought: a study in the impact of language on thinking in china and the west (The) | 1 | 1981 | Lawrence Erlbaum Associates | New Jersey | IA |
| Bloomfield, Peter | Fourier Analysis of Time Series: an introduction. | 1976 | John Wiley & Sons | Nova Iorque | MAT | |
| BLUME, Christian; JAKOB, Wilfried | Programming languages for industrial robots | 1 | 1983 | Springer-Verlag | Berlin | IA |
| Bobrow, Daniel G. ; Collins, Allan | Representation and understanding: studies in cognitive science | 1975 | Academic Press | London | IA | |
| Boden, Margaret | Artificial intelligence and natural man | 2 | 1987 | Basic Books | New York | IA |
| BOGNI, Carlos J; MARRONE, Luis A | Computadoras: introduccion a las arquitecturas paralelo | 1 | 1986 | Unicamp | Campinas | AC |
| BOLAND JR., R J ; HIRSCHHEIM, R A | Critical issues in information systems research | 1 | 1987 | John Wiley & Sons | Chichester | ES |
| Boolos, George S. ; Jeffrey, Richard C. | Computability and logic | 3 | 1989 | Cambridge University | Cambridge | TE |
| BOONE, Barry | Java essentials for C and C++ programmers | 1 | 1996 | Addison-wesley | Massachusertts | PGR |
| Borevich, Z. I. ; | Number theory | 1966 | Academic Press | Orlando | MAT | |
| BORGES, Jorge Luis | Prologos: com um prologo dos prologos | 1 | 1985 | ROCCO | Rio de Janeiro | OL |
| BORWICK, John | Sound recording practice | 3 | 1987 | Oxford University | New York | MUS |
| Bova, Bem | Beauty of light (The) | 1988 | John Wiley & Sons | New York | IA | |
| Bove, Tony ; Rhodes, Cheryl | Desktop publishing com PageMaker Macintosh: guia do usuário | 1989 | MacGraw-Hill | São Paulo | PGR | |
| BOWIES, Kenneth L | Microcomputer: problem solving using pascal | 1 | 1979 | Springer-Verlag | New York | PGR |
| Boyer, Robert S. ; Moore, J. Strother | Computational Logic (A) | 1980 | Springer-Verland | New York | LG | |
| BOYER, Robert S; MOORE, J Strother | Computacional logic (A) | 1 | 1979 | Academic Press | Orlando | LG |
| BOYER, Robert S; MOORE, J Strother | Computational logic handbook (A) | 1 | 1988 | Academic Press | Orlando | LG |
| Brachman, Ronald J. ; Levesque, Hector J. | Readings in knowledge representation | 1985 | Morgan Kaufmann | California | IA | |
| BRACKBILL, Jeremiah; COHEN, Bruce I. | Multiple Time scales | 1 | 1985 | Academic Press | Orlando | MAT |
| Bradshaw, Jeffrey M. | Software agents | 1997 | MIT | Massachusertts | LN | |
| Brady, Michael ; Berwick, Robert C. | Computational models of discourse | 1986 | MIT | Massachusertts | IA | |
| BRAGGINS, Don; HOLLINGUM, Jack | Machine vision sourcebook (The) | 1 | 1986 | Springer-Verlag | Berlin | IA |
| BRAIDWOOD, Robert J | Homens pré-historicos | 2 | 1988 | UnB | Brasilia | OL |
| BRAUNSTEIN, Myron L | Depth perception through motion | 1 | 1976 | Academic Press | New York | IA |
| BREGALDA, Paulo F; OLIVEIRA, Antonio A F; BORNSTEIN, Claudio T | Introducao a programacao linear | 1 | 1981 | Campus | Rio de Janeiro | PGR |
| Bresnan, Joan | Mental representation of grammatical relations (The) | 1982 | MIT | Massachusertts | IA | |
| AUTOR | TÍTULO | EDIÇÃO | ANO | EDITOR | LOCAL | LOCALIZAÇÃO |
| BRISA | Gerenciamento de redes: uma abordagem de sistemas abertos | 1 | 1993 | Makron books | Rio de Janeiro | RD |
| BRODIE, Michael; MYLOPOULOS, John | On knowledge base management systems: integrating artificial intelligence and database technologies | 1 | 1986 | Springer-Verlag | New York | IA |
| BRODY, Philip J | Technology planning and management handbook: a guide for school district educational technology leaders | 1 | 1995 | Education Technology | Englewood | OL |
| BROMLEY, Hank; LAMSON, Richard | LISP LORE: a guide to programming the LISP Machine | 2 | 1987 | Kluwer Academic | Boston | PGR |
| Bronshtein, I. N. ; Semendyayev, K. | Handbook of mathematics | 1985 | Van Nostrand Reinhold | Nova Iorque | MAT | |
| BROWN, Marcelo Pardo | Tecnicas de pesquisas em tabelas | 1 | 1979 | Edgar Blucher | São Paulo | OL |
| BROWN, Patricia Todd | File management | 2002 | South-western | USA | LN | |
| BUDD, Timothy; | Litte smalltalk (A) | 1 | 1987 | Addison-wesley | Massachusertts | |
| BUNGE, Mario | Filososfia de la fisica | 2 | 1982 | Ariel | Barcelona | FIS |
| BU-QING, Su; DING-YUAN Liu | Computational geometry: curve and surface modeling | 1 | 1989 | Academic Press | Boston | CG |
| BURGE, William H | Recursive programming techniques | 1 | 1975 | Addison-wesley | Massachusertts | PGR |
| BURNS, Diane ; VENIT, S. | Técnicas de editoração eletrônica | 1 | 1990 | Campus | Rio de Janeiro | CG |
| BUSEMANN, Hebert | Geometry of geodesigs (The) | 1 | 1955 | Academic Press | Orlando | CG |
| Byrnes, J. S. | Wavelets and their Applications | 1994 | Kluwer Academic | Londres | MAT | |
| CABRERA, Julio | Logica condenada: uma abordagem extemporânea de filosofia da lógica (A) | 1 | 1987 | Hucitec | São Paulo | LG |
| Caglayan, Alper ; Harrison, Colin | Agent sourcebook | 1997 | John Wiley & Sons | New York | LN | |
| Callatay, Armand M. de | Natural and artificial inteligence: processor systems compared to the human brain | 1986 | North-Holland | Amsterdam | IA | |
| CAMARA JR, Joaquim Mattoso | Estrutura da lingua portuguesa | 18 | 1988 | Vozes | Petropolis | OL |
| CAMARA JR, Joaquim Mattoso | Problemas de linguistica descritiva | 12 | 1986 | Vozes | Petropolis | OL |
| CAMARA JR., J Mattoso | Dicionario de linguistica e gramatica referente a lingua portuguesa | 13 | 1986 | Vozes | Petropolis | REF |
| CAMARA, Joaquim Mattoso | Historia da linguistica | 4 | 1986 | Vozes | Petropolis | OL |
| CAMPELLO, Ruy Eduardo; MACULAN, Nelson | Algoritmos e heuristicas: desenvolvimento e avaliacao de performance | 1 | 1994 | EDUFF | Rio de Janeiro | ALG |
| Carlson, A Bruce | Communication systems: an introduction to signals and noise in electrical communication | 1 | 1968 | McGraw Hill | New York | AC |
| CARMO, Manfredo P do | Elementos de geometria diferencial | 1 | 1971 | Ao livro tecnico | Rio de Janeiro | MAT |
| CARNOTA, Raul Jorge; TESZKIEWICZ, Alberto Daniel | Sistemas expertos y representacion del conocimiento | 1 | 1988 | EBAI | Curitiba | IA |
| CARRAMILLO NETO, Mario | Contato imediato com producao grafica | 1 | 1987 | Global | São Paulo | CG |
| CARROLL, David W. | Programacao em turbo PASCAL | 1 | 1988 | McGraw Hill | São Paulo | PGR |
| CARVALHO, Olivio da Costa | Dicionario de frances-portugues | 1 | 1987 | Porto | Lisboa | REF |
| CARVALHO, Olivio da Costa | Dicionario de protugues-frances | 1 | 1988 | Porto | Lisboa | REF |
| Carvalho, Roberto Lins de | Máquinas, programas e algoritimos | 1981 | UNICAMP | São Paulo | ALG | |
| CARVALHO, Tereza Cristina Melo de Brito (Org.) | Arquiteturas de redes de computadores OSI e TCP/IP | 1 | 1994 | Makron Books | São Paulo | RD |
| CASANOVA, Marcos A; GIORNO, Fernando A C; FURTADO, Antonio L | Programacao em logica | 1 | 1986 | V Esc Comp | Belo Horizonte | LG |
| CASANOVA, Marcos A; GIORNO, Fernando A C; FURTADO, Antonio L | Programação em lógica e a linguagem prolog | Edgar Blucher | São Paulo | PGR | ||
| CASTELFRANCHI, Cristiano; WERNER, Eric | Artificial social systems | 1994 | Springer-Verlag | New York | IA | |
| Castillo, Enrique ; Gutiérrez, José Manuel ; Hadi, Ali S. | Expert systems and probabilistic network models | 1997 | Springer-Verlag | New York | LN | |
| CHAMBERLIN, Hal | Musical applications of microprocessors | 2 | 1987 | Hayden | Indiana | MUS |
| AUTOR | TÍTULO | EDIÇÃO | ANO | EDITOR | LOCAL | LOCALIZAÇÃO |
| CHANG, Chin-Liang; LEE, Richard Char-Tung | Symbolic logic and mechanical theorem proving | 1 | 1973 | Academic Press | Boston | LG |
| Charniak, Eugene ; McDermott, Drew | Introduction to artificial inteligence | 1984 | Addison-wesley | London | IA | |
| CHASEN, Sylvan H | Geometric principles and procedures for computer graphic applications | 1 | 1978 | Prentice Hall | Englewood | CG |
| CHOMSKY, Noam | Estruturas sintacticas | 1 | 1957 | Edicoes 70 | Lisboa | OL |
| Churchland, Patricia Smith | Neurophilosophy: toward a unified science of the mind-brain | 1986 | MIT | Massachusertts | IA | |
| CLARK, K L; McCABE, F G | Micro-prolog: programming in logic | 1 | 1984 | Prentice Hall | New York | PGR |
| CLARK, K L; TARNLUND, S. - A. | Logic Programming | 1 | 1982 | Academic Press | London | LG |
| CLÁUDIO, Dalcídio M. ; DIVERIO, Tiarajú ; TOSCANI, Laira V. | Fundamentos de matemática computacional | 1 | 1987 | Dc Luzzatto | Porto Alegre | MAT |
| CLAYBROOK, Billy G | Tecnicas de gerenciamento de arquivos | 2 | 1987 | Campus | Rio de Janeiro | OL |
| CLEAVELAND, J Craig; UZGALIS, Robert C | Grammars for programming languages | 2 | 1979 | North Holland | New York | PGR |
| CLEMEN, Robert T | Making hard decisions: na introduction to decision analysis | 1 | 1996 | Duxbury | Belmont | OL |
| Clements, Paul ; Bacchmann, Felix ; Bass, Len ; et al | Documenting software architectures: views and beyond | 2002 | Addison-wesley | New York | LN | |
| CLINE, William | Informatica e desenvolvimento: politica comercial e industrial na Argentina, Brasil e Mexico | 1 | 1987 | Nordica | Rio de Janeiro | TE |
| Clynes, Manfred (editor) | Music, Mind, and Brain: the Neuropsychology of Music | 1982 | Plennum | Nova Iorque | MUS | |
| COAD, Peter; YOURDON, Edward | Analise baseada em objetos | 1 | 1992 | Campus | Rio de Janeiro | ES |
| COAD, Peter; YOURDON, Edward | Object-oriented analysis | 2 | Yourdon Press | Englewood | ES | |
| COAD, Peter; YOURDON, Edward | Projeto baseado em objetos | 1 | 1993 | Campus | Rio de Janeiro | ES |
| Coelho, Paulo Eustáquio | Projetos de redes locais com cabeamento estruturado | 2003 | Instituto online | São Paulo | LN | |
| Cognan, Robert | New Images of Musical Sound | 1984 | Harvard University | Londres | MUS | |
| Cohen, Daniel E. | Computability and logic | 1987 | Ellis Horwood | Chichester | TE | |
| COHEN, Frederick B | Short course on computer viruses (A) | 2 | 1994 | John Wiley & Sons | New York | SEG |
| Cohen, Paul R. ; Feigenbaum, Edward | Handbook of artificial inteligence, v. 3 (The) | 1982 | Addison-wesley | London | IA | |
| COLLARO, Antonio Celso | Projeto Grafico: teoria e pratica da diagramacao | 1 | 1987 | Sumus | São Paulo | CG |
| CONGER, Jim | C Programmin for MIDI | 1 | 1988 | M&T Books | Redwood City | PGR |
| CORRIGAN, Patrick; GUY, Aisling | Building local area networks with novell`s netware | 1 | 1989 | M&T Books | Redwood | AC |
| COSENTINO, Laércio J L | Dbase III interativo: o banco de dados da geracao 16 bits | 1 | 1987 | Atlas | São Paulo | DAD |
| COSTA NETO, Pedro Luiz de Oliveira | Estatistica | 1 | 1977 | Edgar Blucher | São Paulo | MAT |
| COSTA, Ernesto | New directions for intelligent tutoring systems | 1 | 1992 | Springer-Verlag | New York | IA |
| Costa, Sérgio Olavo Pinto da | Genética molecular de microorganismos: os fundamentos da engenharia genética | 1987 | Manole | São Paulo | OL | |
| COUCEIRO, Luiz Antonio Carneiro da Cunha; BARRENECHA, Hugo Fernando S | Sistemas de gerência de banco de dados distribuidos | 1 | 1983 | Livros Tecnico e Cientificos | Rio de Janeiro | DAD |
| COULSON, A E | Introduction to vectors (An) | 1 | 1967 | Longmans | Bristol | MAT |
| CRAIG, James | Producao grafica | 1 | 1987 | Nobel | São Paulo | CG |
| CRYSTAL, David | Dicionario de linguistica e fonetica | 1 | 1988 | Jorge Zahar | Rio de Janeiro | REF |
| Cunha, Antônio Geraldo da | Dicionário etimológico nova fronteira da lingua portuguesa | 2 | 1982? | Nova Fronteira | Rio de Janeiro | REF |
| CUNNINGHAN, Steve ; CRAIGHILL, Nancy Knolle ; FONG, Martin W. | Computer graphics using objet-oriented progamming | 1 | 1992 | Jonh Wilev & Sons | New York | |
| DACONTA, Michael C. | Java for C/C ++ programmers | 1 | 1996 | John Wiley & Sons | New York | PGR |
| Date J. C. | Introdução a sistemas de bancos de dados | 7 | 2000 | Campos | Rio de Janeiro | DAD |
| Date J. C. | What not how: the business rules approach to application development | 2000 | Addison-wesley | London | LN | |
| AUTOR | TÍTULO | EDIÇÃO | ANO | EDITOR | LOCAL | LOCALIZAÇÃO |
| Date, C. J, | Banco de dados: tópicos avançados | 1988 | Campus | Rio de Janeiro | DAD | |
| DATE, C. J. | Introduction to database systems (An) | 1975 | Addison-wesley | USA | PGR | |
| Date, C. J, | Introdução a sistemas de bancos de dados | 1984 | Campus | Rio de Janeiro | LN | |
| DATE, C. J. | Bancos de dados: fundamentos | 1 | 1985 | Campus | Rio de Janeiro | DAD |
| Davies, Graham ; Ellis, Hadyn ; Shepherd, John | Perceiving and remembering faces | 1981 | Academic Press | London | IA | |
| DAVIS, Deta S. | Computer applications in music a bibliography | 1 | 1988 | A-R Editions | Madison | MUS |
| DAVIS, Randall; LENAT, Douglas B | Knowledge-based systems in artificial intelligence | 1 | 1982 | McGraw Hill | New York | IA |
| DAWSON, Clive B; WOOL, Thomas C | De Bits ate IFS | 1 | 1976 | Interciencia | Rio de Janeiro | PGR |
| DE GRANDIS, Luigina | Theory and user color | 1 | 1984 | Prentice Hall | Englewood | CG |
| Deitel, H. M. ; Deitel P. J. ; Nieto T. R. ; Mcphie, D. C. | Perl: como programar | 2002 | Bookman | Porto Alegre | LN | |
| Delmater, Rhonda ; Hancock, Monte | Data mining explained: a manager's guide to customer-centric business intelligence | 2000 | Digital Press | Boston | LN | |
| DELONG, Howard | Profile of mathematic logic (A) | 1 | 1971 | Addison-wesley | California | LG |
| Denning, Peter J. | Computer under attack: intruders, worms, and viruses | 1990 | ACM | New York | SEG | |
| DEO, Narsingh | Graph theory with applications to engineering and computer science | 1 | 1974 | Prentice Hall | Englewood | CG |
| DIAS, Donaldo de Souza; GAZZANEO, Giosafatte | Projeto de sistemas de processamento de dados | 1 | 1977 | Livros tecnicos e cientificos | Rio de Janeiro | DAD |
| DIJKSTRA, Edsger W | Discipline of programming (A) | 1 | 1976 | Prentice Hall | New Jersey | PGR |
| DODGE, Charles; JERSE, Thomas A. | Computer music: synthesis, composition, and perfomance | 1 | 1985 | Schirmer books | New York | MUS |
| Dolezal, Hubert | Living in a world transformed: perceptual and performatory adaptation to visual distortion | 1982 | Academic Press | London | IA | |
| Doneddu | Bases de l'analyse mathématique moderne (Les) | 1963 | Dunod | Paris | MAT | |
| DONDARA, Jack | Sourcebook of parallel computing | 2003 | Morgan Kaufmann | São Francisco | TE | |
| Dowley, Tim | Great Composers: Bach | 1990 | Hamlyn | Londres | MUS | |
| Dowling, W. Jay ; Harwood, Dane L. | Music Cognition | 1986 | Academic | Nova Iorque | MUS | |
| DUBOIS, Didier; PRADE, Henri | Possibility theory: an approach to computerized processing of uncertainty | 1 | 1988 | Plenum | New York | IA |
| Duff, M. J. B. & Levialdi, S. | Languages and Architeture for Image Processing | 1981 | Academic Press INC. | Londres | CG | |
| DURRET, H. Jonh | Color and the computer | 1 | 1987 | Academic Press | Califórnia | CG |
| DYBVIG, R. Kent | Scheme programming language (the) | 1 | 1987 | Prentice Hall | New Jersey | PGR |
| EARGLE, John M | Music, sound, and technology | 2 | 1995 | Van Nostrand Reinhold | New York | MUS |
| Eckmiller, Rolf ; Maisburg, Cristoph V. D. | Neural computers | 1989 | Springer-Verlag | Heidelberg | IA | |
| EHRIG, H; MAHR, B | Fundamentals of algebric specification 1: equations and initial semantics | 1 | 1985 | Springer-Verlag | Berlin | ES |
| EHRLICH, Richard | Dicionario de fotografia | 1 | 1986 | Dom Quixote | Lisboa | REF |
| Elliot, Douglas F. ; Rao, Ramamohan K. | Fast Transform: algorithms, analyses and applications | 1982 | Academic | Florida | ALG | |
| ELMASRI, Ramez ; NAVATHE, Shamkant B. | Fundamentals of database systems | 3 | 2000 | Addison-wesley | New York | LN |
| EMMER, Mark B. | Snovol4+: the SNOBOL4+ language for the personal computer user | 1 | 1985 | Prentice Hall | Englewood | PGR |
| ENCARNAÇÃO, José L. ; TORRES, Oswaldo F. F. ; WARMAN, Ernest A | CAD/CAM as a basic for the development of thecnlogy... | 1 | 1981 | North-Holland | Amsterdam | CG |
| ENCARNAÇÃO, José Luis ; SCHLECHTENDAHL, Ernst G. | Computer aided desing | 1 | 1983 | Springer-Verlag | Berlim | CG |
| Enderle, G. ; Kansy, K ; Pfaff, G. | Computer graphics programming: GKS: the graphics standard | 2 | 1987 | Spriger-Verlang | New York | CG |
| AUTOR | TÍTULO | EDIÇÃO | ANO | EDITOR | LOCAL | LOCALIZAÇÃO |
| ENDERTON, Herbert B | Mathematical introduction to logic (A) | 1 | 1972 | Academic Press | San Diego | LG |
| ENVI | User guide ENVI | 1 | 1997 | ENVI | Colorado | CG |
| Escher M. C. | Art and science | 1985 | North-Holland | Amsterdam | ||
| EYSENCK, Michael W.; KEANE, Mark T. | Cognitive psychology: a student´s handbook | 1993 | Lawrence Erlbaum Associates | London | OL | |
| FANT, Gunnar | Acoustic theory of speech production | 2 | 1970 | Mouton | Paris | MUS |
| FARIAS, Gimésio de | Estudo sucinto da resolução numérica das equações | 1 | 1957 | Ao livro técnico | Rio de Janeiro | MAT |
| FARIN, Gerald | Curves and surfaces for computer aided geometric design: a pratical guide | 1988 | Academic | London | CG | |
| FARRER, Harry; BECKER, Christiano Goncalves; et al | Programacao estruturada de computadores: PASCAL estruturado | 1 | 1985 | Guanabara | Rio de Janeiro | PGR |
| FARRER, Harry; FARIA, Eduardo C; SANTOS, Marcos A dos | Programacao estruturada de computadores: Basic estruturado | 1 | 1987 | Guanabara | Rio de Janeiro | PGR |
| Feigenbaum, Edward ; McCorduck, Pamela | Fifth generation: artificial inteligence and Japan's computer challenge to the world (The) | 1983 | Addison-wesley | London | IA | |
| FELDMAN, James M; RETTER, Charles T | Computer architecture: a designer`s text based on a generic RISC | 1 | 1994 | McGraw Hill | New York | AC |
| FENSTAD, Jens E | General recusion theory: na axiomatic approach | 1980 | Springer-Verlag | Berlin | MAT | |
| Feofiloff, Paulo ; Lucchesi, Cláudio Leonardo | Algoritimos para igualdades minimax em grafos | 1988 | UNICAMP | São Paulo | ALG | |
| FERBRACHE, David | Pathology of computer viruses (A) | 1 | 1992 | Springer-Verlag | London | SEG |
| FERNANDES, Edil S T; AMORIM, Claudio L de | Arquiteturas paralelas avancadas | 1 | 1993 | VI Esc Brasileno Argentina de Informatica | Argentina | AC |
| FERRARO, RICHARD F | Guia do programador para as placas EGA e VGA | 1 | 1990 | Ciencia moderna | Rio de Janeiro | PGR |
| FERREIRA, Antonio Gomes | Dicionario de latim-portugues | 1 | 1983 | Porto | Lisboa | REF |
| Feyerabend, Paul | Contra o método | 3 | 1989 | Francisco Alves | Rio de Janeiro | OL |
| FILHO, Nelson Maculan; PEREIRA, Mário Veiga Ferraz | Programação linear | 1980 | Atlas | São Paulo | PGR | |
| Finley, Jonh | WordStar 6.0 profissional | 1991 | Berkley Brasil | Rio de Janeiro | PGR | |
| FIRSCHEIN, O. | Artificial inteligence: vol II | 1 | 1984 | Afips press | Virginia | |
| FIRSCHEIN, O. | Artificial inteligence: vol VI | 1985 | Afips press | USA | IA | |
| Fischler, Martin ; Firschein, Oscar | Readings in computer vision: issues, problems, principles, and paradigms | 1987 | Morgan Kaufmann | California | IA | |
| Fischler, Martin ; Firschein, Oscar | Inteligence: the eye, the brain, and the computer | 1987 | Addison-Wesley | Boston | IA | |
| FLOWER, Martin | Patterns of enterprise application architecture | 1 | 2003 | Addison-Wesley | Boston | LN |
| Fodor, Jerry | Representations: philosophical essays on the foundations of cognitive science | 1981 | MIT | Massachusertts | IA | |
| FODOR, Jerry A | Modularity of mind (The) | 1 | 1991 | The Mit | Cambridge | IA |
| Foley, James D. ; Vam Dam, Adries | Fundamentals of interactive computer graphics | 1982 | Addison-Wesley | London | CG | |
| FOLK, Michael J; ZOELLICK, Bill | File strutuctures | 2 | 1992 | Addison-wesley | Massachusertts | AC |
| FONSECA FILHO, Cleuzio | Historia da computacao: teoria e tecnologia | 1 | 1999 | LTR | São Paulo | TE |
| FORD, Warwick | Computer communications security | 1994 | Prentice Hall | New Jersey | SEG | |
| Forsythe, Alexandra M. ; Keenan, Thomas ; Organick, Elliott I. ; Stenberg, Warren | Ciência de computadores: 1º curso, v. 1 | 1972 | Ao livro técnico | Rio de Janeiro | TE | |
| FORTE, Allen; GILBERT, Steven | Introduction to schenkerian analysis | 1 | 1982 | WW Norton | New York | MUS |
| Fortier, Paul J. | Design of distributed operating systems | 1986 | McGraw-Hill | New York | AC | |
| FOUCAULT, Michel | Historia da loucura na idade classica | 2 | 1987 | Perspectiva | São Paulo | OL |
| FRAIZER, Colin; BOND, Jill | Java API: Reference | 1 | 1996 | Indianapolis | Indiana | PGR |
| Franca, Paulo Bianchi ; Bezerra, Milton de Albuquerque | Microcomputadores: arquitetura, projeto, programação | 1983 | Livros Técnicos e Científicos | Rio de Janeiro | AC | |
| FRANKE, Herbet W | Computer graphics: computer art | 2 | 1971 | Springer-Verlag | Berlin | CG |
| FRANKEL, Richard | Clipper 5.01 | 1 | 1992 | Campus | Rio de Janeiro | PGR |
| FREEMAN, James; SKAPURA, David M | Neural networks: algorithms, applications, and programming techniques | 1 | 1991 | Addison-wesley | Massachusertts | IA |
| AUTOR | TÍTULO | EDIÇÃO | ANO | EDITOR | LOCAL | LOCALIZAÇÃO |
| FREITAS, Aparecido V de; BOGNAR, Carlos Eduardo; PERRELLA, Fabricio R | Fundamentos do sistema AS/ 400 | 1 | 1998 | Makron books | São Paulo | AC |
| Frey, Peter W. | Chess skill in man and machine | 1984 | Springer-Verlag | Heidelberg | IA | |
| FRIAS, Bruno Cernuschi; GUIGOITIA, Belauste | Vision para computadores | 1 | 1988 | EBAI | Curitiba | AC |
| FRIEDEL JR, David H; KERIEVSKY, Joshua; et al | Cafe programming: frontrunner | 1 | 1996 | Coriolis Group | Scottsdale | PGR |
| FRIEDMAN, Daniel P; FELLEISEN, Matthias | Little LISPer (the) | 2 | 1988 | MIT Press | Cambridge | PGR |
| Frisch, Eleen | Essential System Administration | 2 | 1995 | O'Reilly & Associates | Sebastopol | AC |
| FU, K S | Syntactic methods in patterb\n recognition | 1 | 1974 | Academic Press | New York | ES |
| FULKERSON, D. R. | Studies in graph theory, part I : vol 11 | 1 | 1975 | The Mathematical Association of America | MAT | |
| FULKERSON, D. R. | Studies ingraph theory: part II : vol 12 | 1 | 1975 | The Mathematical Association of America | MAT | |
| Furia, Steve de: Scacciaferro, Joe | Midi Implementation Book (The) | 1986 | Third Earth | New Jersey | MUS | |
| FURTADO, A L; SANTOS, C S dos | Organizacao de bancos de dados | 1 | 1979 | Campus | Rio de Janeiro | DAD |
| FURTADO, Antonio Luz | Teoria dos grafos: algoritmos | 1 | 1973 | Livros tecnicos e cientificos | Rio de Janeiro | ALG |
| GALAMBOS, James A; ABELSON, Robert P; BLACK, John B Black | Knowledge structures | 1 | 1986 | Lawrence Erlbaum Associates | New Jersey | IA |
| GALLAIRE, Herve; MINKER, Jack (ed.) | Logic and data bases | 1 | 1977 | Plenum | New York | LG |
| GAMA, Lelio | Series numericas I | 1 | 1947 | Imp Nacional | Rio de Janeiro | MAT |
| GAMA, Lelio I | Introducao a teoria dos conjuntos | 1 | 1941 | IBGE | Rio de Janeiro | MAT |
| Gane, Chris ; Sarson, Trish | Structured systems analysis: tools & techniques | 1977 | Improved System Technologies | New York | AC | |
| GANE, Chris; SARSON, Thish | Analise estrutural de sistemas | 1 | 1983 | Livros Tecnico e Cientificos | Rio de Janeiro | AC |
| GARDARIN, G; GELENBE, E | New applicationd of data bases | 1 | 1984 | Academic Press | London | DAD |
| GARDARIN, Georges; VALDURIEZ, Patrick | Relational databases and knowledge bases | 1 | 1989 | Addison-wesley | Massachusertts | DAD |
| GARDEN, Martin | Time travel and other mathematical bewilderments | 1 | 1988 | W H Freeman | New York | IA |
| Garfinkel, Simson | PGP: pretty good privacy | 1995 | O'Reilly | Sebastopol | SEG | |
| GASS, Saul L. | Linear programming: methods and aplications | 1969 | McGraw-Hill | Tokyo | PGR | |
| GASSER, Les; Huhns Michael N. | Distributed Artificial inteligence V.II | 1989 | Pitman | London | IA | |
| GATES, Bill;MYHRVOLD, Nathan; RINEARSON, Peter | Estrada do futuro (A) | 1 | 1995 | Companhia das letras | São Paulo | TE |
| Gazdar, Gerald ; Mellish, Chris | Natural language processing in LISP: na introduction to computational linguistics | 1989 | Addison-wesley | London | IA | |
| GEHANI, Narain; McGETTRICK, Andrew | Software specification techniques | 1 | 1986 | Addison-wesley | Wokinghan | ES |
| Gelman, Andrew ; Carlin, John B. ; Stern, Hal S. ; Rubin, Donald B. | Bayesian data analysis | 2 | 2003 | Chapman & Hall | London | LN |
| GENARO, Sergio | Sistemas especialistas o conhecimento artificial | 1 | 1986 | Livros tecnicos e cientificos | Rio de Janeiro | IA |
| Geymonat, Ludovico | História del pensamento filosofico y científico: siglo XX, v. 2 | 1985 | Ariel | Barcelona | OL | |
| Geymonat, Ludovico | História del pensamento filosofico y científico: siglo XX, v. 3 | 1985 | Ariel | Barcelona | OL | |
| Geymonat, Ludovico | História del pensamento filosofico y científico: siglo XX: VII, v. I | 1984 | Ariel | Barcelona | OL | |
| GHEZZI, Carlo; JAZAYERI, Mehdi | Conceitos de linguagens de programacao | 1 | 1991 | Campus | Rio de Janeiro | PGR |
| AUTOR | TÍTULO | EDIÇÃO | ANO | EDITOR | LOCAL | LOCALIZAÇÃO |
| GIERZ, G. ; HOFMANN, K. H. ; KEIMEL, K. | Compedium of continuosus lattices | 1 | 1980 | Springer-Verlag | New York | MAT |
| Gilb, Tom | Principles of software engineering management | 1988 | Addison-Wesley | Nova Iorque | ES | |
| Ginsburg, Seymour | Algebraic and automata-theoretic properties of formal languages | 1975 | North-holland | New York | MAT | |
| GINSBURG, Seymour | Mathematical theory of context free languages (The) | 1 | 1966 | McGraw Hill | New York | MAT |
| GIOZZA, William F; ARAUJO, Jose Fabio Marinho de; et al | Redes locais de computdores: tecnologia e aplicações | 1 | 1986 | McGraw Hill | São Paulo | RD |
| GIRAO & ELLENRIEDER | Programacao linear | 1 | 1971 | Almeida Neves | Rio de Janeiro | PGR |
| GIUSTI, Armando E de;NUGENT, Claudia I;MARTINEZ, Alejandro | Lenguajes de descripcion de hardware | 1 | 1988 | EBAI | Curitiba | AC |
| GOLDBERG, Adele; ROBSON, David | Smalltalk-80: the language | 1 | 1989 | Addison-wesley | Massachusertts | PGR |
| Goldberg, David E. | Genetic algorithms in search, optimization, and machine learning | 1989 | Addison-wesley | London | LN | |
| Goldstein, Herbert | Classical mechanics | 1950 | Addison-Wesley | Massachusetts | FIS | |
| GOLDSZEIN, Mario; CARNOTA, Raul | Inteligencia artificial aplicada: logica y representacion del conocimiento | 1 | 1986 | Unicamp | Campinas | IA |
| GOLUMBIC, Martin Charles | Algorithmic graph theory and perfect graphs | 1 | 1980 | Academic Press | New York | ALG |
| Gombrich, E. H. | História da Arte (A) | 4 | 1988 | Guanabara | Rio de Janeiro | OL |
| GOMES, Jonas de Miranda; VELHO, Luiz Carlos | Conceitos basicos de computacao grafica | 1 | 1990 | VII Esc Comp | São Paulo | CG |
| Gonnet, G. H. | Handbook of algorithims and data structures | 1984 | Addison-Wesley | London | ALG | |
| GOSLING, James; JOY, Bill; STEELE, Guy | Java language specification | 1 | 1996 | Addison-wesley | Massachusertts | PGR |
| GRANVILLE, W. A.; SMITH, P. F.; LONGLEY, W. R. | Elementos de calculo diferencial e integral | 3 | 1961 | Cientifica | Rio de Janeiro | MAT |
| GREIF, Irene | Computer-supported cooperative work: a book of readings | 1 | 1988 | Morgan Kaufmann | California | AC |
| Grillo, Maria Célia Arruda | Programação e técnicas: Turbo Pascal | 2 | 1989 | Livros Tecnicos e Científicos | Rio de Janeiro | PGR |
| GRISWOLD, Ralph E; GRISWOLD, Madge T | SNOBOL4 primer (A) | 1 | 1973 | Prentice Hall | Englewood | PGR |
| GRONER, Dan; HOPSON, K. C.; et al | Java language API superbible | 1 | 1996 | Waite group | Indianapolis | PGR |
| GUADAGNIN, Renato da Veiga | Die unterstuzung der hochschulverwaltung duch informationsverarbeitungssysteme-Bisherige entwicklung und verbesserungsmoglichkeiten | 1983 | Belo Horizonte | OL | ||
| GUIMARAES, Angelo de Moura | Introducao a ciencia da computacao | 1 | 1985 | Livros tecnicos e cientificos | Rio de Janeiro | TE |
| GUIMARAES, Celio Cardoso | Principios de sistemas operacionais | 1 | 1980 | Campus | Rio de Janeiro | AC |
| Guinsburg, J. ; Prado Júnior, Bento | Descartes: obra escolhida | 2 | 1973 | Difusão européia do livro | São Paulo | OL |
| GUNTER, Carl A. | Semantics of programming languages: structures and techniques | 1 | 1992 | MIT Press | London | PGR |
| Gutierrez, Marco Antônio | Estratégia.net: próxima parada: economia digital | 2001 | Axcel Books | Rio de Janeiro | LN | |
| GUTTINGER, W; DANGELMAYR, G | Physics of structure formation: theory and simulation | 1 | 1987 | Springer-Verlag | New York | IA |
| HADLEY, G. | Linear algebra | 1973 | Addison-wesley | USA | MAT | |
| HADLEY, G. | Linear programming | 2 | 1963 | Addison-wesley | USA | PGR |
| HADLEY, G. | Linear programming | 9 | 1975 | Addison-wesley | USA | PGR |
| Hagen, Margaret | Perception of pictures, v. 1 : alberti's window: the projective model of pictorial information (The) | 1980 | Academic Press | London | IA | |
| Hagen, Margaret | Perception of pictures, v. 2 : Durer's devices: beyond the projective model of pictures (The) | 1980 | Academic Press | London | IA | |
| HAISSON, Michael ª | Introduction to Formal Language Theory | 1 | 1978 | Addison-Wesley | Califórnia | PGR |
| HAKEN, H | Computational systems-natural and artificial | 1 | 1987 | Springer-Verlag | Berlin | IA |
| AUTOR | TÍTULO | EDIÇÃO | ANO | EDITOR | LOCAL | LOCALIZAÇÃO |
| HALL, Mark; BARRY, John | Sunburst: the ascent of sun microsystems | 1 | 1990 | Contemporary Books | Chicago | PGR |
| HANSEN, Per Brinch | Architecture of concurrent programs | 1 | 1977 | Prentice Hall | New Jersey | AC |
| HANSON, Allen R; RISEMAN, Edward M | Computer vision systems | 1 | 1978 | Academic Press | Orlando | IA |
| HARARY, Frank | Graph theory | 1 | 1972 | Addison-wesley | Massachusertts | ALG |
| HARBRON, Thomas R | File systems structures and algorithms | 1 | 1988 | Prentice Hall | New Jersey | ALG |
| Hardy, G. H. ; Wright, E. M. | Introduction to the theory of numbers (An) | 4 | 1960 | Oxford University | Glasgow | |
| Hardy, G. H. ; Wright, E. M. | Introduction to the theory of numbers (An) | 5 | 1979 | Oxford University | Glasgow | MAT |
| HARDY, G. H. ; WRIGHT, E. M. | Introduction to the theory of numbers, An | 4 | 1960 | Clarendon | Oxford | MAT |
| Harmon, Paul ; King, David | Expert systems: artificial intelligence in business | 1985 | John Wiley & Sons | New York | IA | |
| HARRINGTON, Stevens | Computer graphics | 2 | 1987 | McGraw Hill | New York | CG |
| HATON, J P | Fundamentals in computer understanding: speech and vision | 1 | 1987 | Cambridge University | Cambridge | IA |
| Haugeland, John | Mind design: philosophy, psychology, artificial inteligence | 1981 | MIT | Massachusertts | IA | |
| Hayes-Roth, Frederick ; Waterman, Donald ; Lenat, Douglas B. | Building expert systems | 1983 | Addison-wesley | London | IA | |
| Haykin, Simon | Redes neurais: princípios e prática | 2 | 2001 | Bookman | Porto Alegre | LN |
| HEIDEGGER, Martin | Being and time | 1962 | Brasil Blackwell | Oxford | IA | |
| HEIDEGGER, Martin | Essencia do fundamento (A) | 1 | 1988 | Edicoes 70 | Lisboa | OL |
| HEISENBERG, Werner | Fisica e filosofia | 2 | 1987 | UnB | Brasilia | FIS |
| HELLER, Philip | Real-time software design: a guide for microprocessor systems | 1 | 1987 | Birkhauser | Boston | AC |
| HENDERSON, Peter | Functional programming: application and implementation | 1 | 1980 | Prentice Hall | New Jersey | PGR |
| Hermes, Hans | Enumerability, decidability, computabbility: na intorduction to the theory of recursive functions | 1969 | Springer-Verlag | Berlin | TE | |
| Hermes, Hans | Enumerability, decidability, computability: an introduction to the theory of recursive functions | 2 | 1969 | Springer-Verlag | New York | TE |
| HILBERT, D. ; COHN-VOSSEN , S. | Geometry and the imagination | 1 | 1983 | Chelsea | New York | MAT |
| HIMMELBLAU, David M. | Applied nonliear programing | 1972 | McGraw Hill | New York | PGR | |
| HINCHEY, Michael G.; BOWEN, Jonathan P. | Applications of formal methods | 1 | 1995 | Prentice Hall | London | ES |
| HODGES, Andrew | AlanTuring: the enigma | 1 | 1984 | A Touchstone | New York | OL |
| HOFF, Athur van; SHAIO, Sami; STARBUCK, Orca | Hooked on java: creating hot web sites whit java applets | 1 | 1996 | Addison-wesley | Massachusertts | PGR |
| Hoffman, Lance J. (ed.) | Rogue Programs: Viruses, Worms and Trojan Horses | 1990 | Van Nostrand Reinhold | Nova Iorque | SEG | |
| HOGGER, Christopher J | Introduction to logic programming | 1 | 1984 | Academic Press | London | PGR |
| HOLLANDS, Robin | Virtual reality homebrewer`s handbook (The) | 1 | 1966 | John Wiley & Sons | New York | CG |
| Holmes, J. N. | Speech Synthesis and Recognition | 1988 | Chapman & Hall | Londres | IA | |
| HOLMES, Jim | Object-oriented compiler construction | 1 | 1995 | Prentice Hall | New Jersey | PGR |
| HOLTZ, Mathew | Ventura | 1 | 1990 | Campus | Rio de Janeiro | PGR |
| HOLZNER, Steven; | Programando visual C++ 6 | 1 | 1998 | Makron books | São Paulo | PGR |
| HOLZNER, Steven; | Visual Basic for Windows: versao 3,0 | 1 | 1994 | Campus | Rio de Janeiro | PGR |
| HOOKWAY, Christopher | Minds, machines and evolution: philosophical studies | 1 | 1984 | Cambridge University | Cambridge | IA |
| Hopcroft, Jonh E. ; Ullman, Jeffrey D. | Formal Languages and their relation to automata | 1969 | Addison-Wesley | London | PGR | |
| HORN, Berthold Klaus Paul | Robot vision | 1 | 1986 | The Mit | Massachusertts | IA |
| HOROWITZ, Ellis | Fundamentals of programming languages | 2 | 1984 | Computer Science | Maryland | PGR |
| HOROWITZ, Ellis; SAHNI, Sartaj | Fundamentals of Data structures | 1 | 1983 | Computer Science | Maryland | DAD |
| AUTOR | TÍTULO | EDIÇÃO | ANO | EDITOR | LOCAL | LOCALIZAÇÃO |
| HOROWITZ, Ellis; SAHNI, Sartaj | Fundamentos de estruturas de dados | 3 | 1987 | Campus | Rio de Janeiro | DAD |
| HOUAISS, Antonio | Pequeno dicionario enciclopedico; Koogan Larousse | 1 | 1981 | Larousse do Brasil | Rio de Janeiro | REF |
| HU, Szet-Tsen | Elements of general topology | 1964 | Holden-day | San Francisco | MAT | |
| HUGHES, Joan K | Programacao estruturada em PL/I | 2 | 1979 | Guanabara Dois | Rio de Janeiro | PGR |
| HUHNS, Michael N | Distributed artificial inteligence | 1988 | Pitman | California | AI | |
| HUMPHREY, Watts S | Discipline for software engineering (A) | 1 | 1995 | Addison-wesley | Massachusertts | ES |
| Humphrey, Watts S. | Managing the software process | 1989 | Addison-Wesley | London | ES | |
| Hunt, Craing | TCP/IP: network administration | 1992 | O'Reilly & Associates | USA | AC | |
| HWANG, Kai; BRIGGS, Faye A | Computer architecture and parallel processing | 1 | 1984 | McGraw Hill | New York | AC |
| IBM | Pascal/vs language reference manual program number: 5796 | 3 | 1985 | IBM | Califórnia | PGR |
| INFANTE, Ulisses | Curso de gramatica aplicada aos textos | 3 | 1995 | Scipione | São Paulo | OL |
| IPSER JR, Edward A. | Entrepreneurial software engineering: a practical guide to developing and marketing computer software | 1 | 1993 | IPC | Fort Worth | ES |
| Isidro Pereira, S. J. | Dicionário grego-português-grego | 7 | 1990 | Apostolado da imprensa | Braga | REF |
| Ivanov, L. L. | Algebraic recursion theory | 1986 | Ellis Horwood | Chichester | MAT | |
| JACKSON, Peter | introduction to expert systems | 2 | 1990 | Addison-wesley | England | IA |
| Jacobs, Gerald H. | Comparative color vision | 1981 | Academic Press | London | IA | |
| Jacobson, Ivar ; Jacobson, Agneta ; Ericsson, Maria | Object advantage: business process reengineering with object technology (The) | 1994 | Addison-Wesley | Nova Iorque | ES | |
| JAMES, Mike | PASCAL para micros | 1 | 1986 | Campus | Rio de Janeiro | PGR |
| Jantz, Richard J. | Ventura Publisher 2.0: dominando a editoração eletrônica | 1990 | LTC | Rio de Janeiro | PGR | |
| JANTZ, Richard J. | Ventura publisher para o IBM PC: matering desktop publishing | 1 | 1988 | LTC | Rio de Janeiro | PGR |
| JEPSON, Brian | Java database programming | 1 | 1997 | John Wiley & Sons | New York | PGR |
| JO, Kazuo; HONDA, Kinzo | Color atlas 5510: a complete chromatic chart & idiomatic lexicon of colors in use around the world | 1 | 1986 | Mitsumura Suiko Shoin | Kyoto | CG |
| JOBIM FILHO, Paulo | Metodologia para o planejamento e o desenvolvimento de sistemas de informacao vol 4 (UMA) | 1 | 1979 | Edgard Blucher | São Paulo | AC |
| Johnson, R. Colin | Cognizers: neural networks and machines that think | 1988 | John Wiley & Sons | New York | IA | |
| Johnson, Rod | Expert one-on-one J2EE design and development | 2003 | Wiley | Indiana | LN | |
| Jones, Marlene ; Winne, Philip H. | Adaptive learning environments: foundations and frontiers | 1992 | Springer-Verlag | Heidelberg | IA | |
| Jones, Neil D. | Computability theory: na intrduction | 1973 | Academic Press | Orlando | TE | |
| JONES, Simon L P | Implementation of functional programming languages (The) | 1 | 1987 | Prentice Hall | New York | PGR |
| Jordan, Michael I. | Learning in graphical models | 1998 | MIT | Massachusertts | LN | |
| JOUFFROY, Claude; LETANG, Charles | Fichiers: pratique et choix de l`organisation des donnees informatiques (Les) | 1 | 1974 | Dunod | Paris | OL |
| JUDD, Deane Brewster | Color in business, science and industry | 3 | 1975 | Jonh Wilev & Sons | New York | CG |
| KAN, Stephen H | Metrics and models in software quality engineering | 1 | 1995 | Addison-wesley | Massachusertts | ES |
| Kanizsa, Gaetano | Organization in vision: enssays on gestalt perception | 1979 | Preger | New York | IA | |
| KAPLAN, Randy M | Constructing language processors for little languages | 1 | 1994 | John Wiley & Sons | New York | PGR |
| KATZ, Paul | Digital control using microprocessors | 1 | 1981 | Prentice Hall | New Jersey | AC |
| KATZAN, Harry | Seguranca de dados em computacao | 1 | 1977 | Livros Tecnico e Cientificos | Rio de Janeiro | SEG |
| KEENE, Sonya E | Object-oriented programming in common LISP: a programmer`s guide to CLOS | 1 | 1989 | Addison-wesley | Massachusertts | PGR |
| KELLY, Susan Baake | Mastering wordperfect 5 | 1 | 1988 | Sybex | San Francisco | PGR |
| KERNIGHAN, Brian W; PIKE, Rob | UNIX programming environment (The) | 1 | 1984 | Prentice Hall | Englewood | PGR |
| AUTOR | TÍTULO | EDIÇÃO | ANO | EDITOR | LOCAL | LOCALIZAÇÃO |
| KERNIGHAN, Brian W; RITCHIE, Dennis M | C: a linguagem de programacao | 4 | 1988 | Campus | Rio de Janeiro | PGR |
| Kerschberg, Larry | Expert database systems: proceedings from the first international workshop | 1986 | Benjamin/Cummings | California | DAD | |
| KERSCHBERG, Larry (ed) | Expert database systems | 1 | 1989 | The Benjamin | California | IA |
| KEYES, Jessica | Software engineering productivity handbook | 1 | 1993 | McGraw Hill | New York | ES |
| KIM, Won | Introduction to object-oriented databases | 1 | 1991 | MIT Press | Cambridge | DAD |
| KING, K. N. | Modula-2 : a complete guide | 1 | 1988 | D C Heath and company | Lexington | PGR |
| King, Margaret | Parsing natural language | 1983 | Academic Press | London | IA | |
| KLINGER, A ; FU, K. S. ; KUNII, T. L. | Data structures, computer graphics and pater recognition | 1 | 1977 | Academic Press | New York | CG |
| KLIR, George J; FOLGER, Tina A | Fuzzy sets, uncertainty and information | 1 | 1988 | Prentice Hall | Englewood | TE |
| KNUTH, Donald E | Art of computer programming (The) vol II | 2 | 1981 | Addison-wesley | Massachusertts | PGR |
| KNUTH, Donald E | Art of computer programming (The) vol III | 1 | 1973 | Addison-wesley | Massachusertts | PGR |
| KOBAYASHI, Shigenobu | Book of colors (A) | 1 | 1987 | Kodansha Internacional | Tokyo | CG |
| KOBLITZ, Neal | Course in number theory and cryptography | 1988 | Springer-Verlag | New York | SEG | |
| Kommers, Piet M. ; Jonassen, David H. ; Mayes J. Terry | Cognitive tools for learning | 1992 | Springer-Verlag | Heidelberg | IA | |
| Koopmans, Lambert H. | Spectral Analysis of Time Series. (The) | 1974 | Academic | Londres | MAT | |
| Korb, Kevin B. ; Nicholson, Ann E. | Bayesian artificial intelligence | 2003 | Chapman & Hall | London | LN | |
| KORTH, Henry F; SILBERSCHATZ, Abraham | Sistemas de bancos de dados | 1 | 1989 | McGraw Hill | São Paulo | DAD |
| KOSKO, Bart (ed.) | Neural networks for signal processing | 1 | 1992 | Prentice Hall | Englewood | IA |
| KOSSLYN, Stephen Michael | Image and mind | 1 | 1980 | Harvard University | Cambridge | IA |
| KOVALEVSKY, V. A ; BROWN, Arthur | Image patern recognition | 1 | 1980 | Springer-Verlag | New York | CG |
| KOWALSKI, Robert | Logic for problem solving | 1 | 1979 | North Holland | New York | LG |
| KOWALTOWSKI, Tomasz | Implementação de linguagens de programação | 1983 | Guanabara Dois | Rio de Janeiro | PGR | |
| KREIDER, Donald L; KULLER, Robert G;et al | Introducao a analise linear: vol 2 | 1 | 1972 | Ao livro tecnico | Rio de Janeiro | MAT |
| KREIDER, Donald L; KULLER, Robert G;et al | Introducao a analise linear: vol 3: problemas de valores de contorno | 1 | 1972 | Livros tecnicos e cientificos | Rio de Janeiro | MAT |
| KROGER, Fred | Temporal logic of programs | 1 | 1987 | Springer-Verlag | Berlin | LG |
| Kubovy, Michael ; Pomerantz, James R. | Perceptual organization | 1981 | Lawrence Erlbaum Associates | New Jersey | IA | |
| KUCHEN, Benjamin; CARELLI, Ricardo; GAMBIER, Adrian | Control digital | 1 | 1988 | EBAI | Curitiba | AC |
| KUEPPERS, Harald | Color atlas: a practical guide for color mixing | 1 | 1982 | Barron`s | New York | CG |
| KUGLER, Jose Luiz Carlos; FERNANDES, Aguinaldo Aragon | Planejamento e controle de sistemas de informacao | 1 | 1984 | Livros tecnicos e cientificos | Rio de Janeiro | AC |
| Kulisch, Ulrich W. ; Miranker, Willard L. | Computer arithmetic in theory and practice | 1981 | Academic Press | Orlando | MAT | |
| KUPPERS, Harald | Basic law of color theory,The | 1 | 1982 | Barron`s | Nova Iorque | CG |
| Kuttruff, Heinrich | Room Acoustics | 2 | 1979 | Applied Science Publishers Ltd | Londres | MUS |
| KVITCA, Adolfo M | Resolucion de problemas com inteligencia artificial | 1 | 1988 | Ebai | Curitiba | IA |
| LAGES, Newton Alberto de Castilho; NOGUEIRA, Jose Marcos Silva | Introducao aos sistemas distribuidos | 1 | 1986 | Unicamp | Campinas | AC |
| Laine, Andrew (ed.) | Wavelet Theory and Application: a special issue of the journal of mathematical imaging and vision | 1993 | Kluwer Academic | Londres | MAT | |
| AUTOR | TÍTULO | EDIÇÃO | ANO | EDITOR | LOCAL | LOCALIZAÇÃO |
| LAMPSON, B. W.; PAUL, W.; SIEGERT, H. J. | Distributed systems-architecture and implementation | 1 | 1981 | Springer-Verlag | New York | AC |
| LANG, Serge; MURROW, Gene | Geometry a high school course | 2 | 1988 | Springer-Verlag | New York | MAT |
| LAQUEY, Tracy; RYER, Jeanne C | Manual da internet: um guia introdutorio para acesso as redes globais (O) | 1 | 1994 | Campus | Rio de Janeiro | RD |
| LARSEN, Glenn H | Mastering harvard graphics | 1 | 1989 | Sybex | San Francisco | PGR |
| LARSON, Harold J | Introduction to the theory of statistics | 1 | 1973 | John Wiley & Sons | New York | MAT |
| Leach, Ronald | Object-oriented design and progrmming with C++ | 1995 | AP Professional | Boston | ES | |
| LEACH, Ronald J. | Object-oriented desing and programming with C++ | 1 | 1995 | A P professional | New York | LN |
| LEDGARD, Henry | ADA: uma introducao | 1 | 1985 | Campus | Rio de Janeiro | PGR |
| LEFEBVRE, Henri | Logica formal: logica dialetica | 4 | 1983 | Civilizacao brasileira | Rio de Janeiro | LG |
| LEITE, Leonardo Lellis Pereira | Introducao aos sistemas de gerência de bancos de dados | 1 | 1980 | Edgard Blucher | São Paulo | DAD |
| Lenneber, Eric H. | Biological foundations of language | 1984 | Robert E. Krieger Publishing | Florida | IA | |
| Lerdahl, Fred ; Jackendoff, Ray | Generative Theory of Tonal Music, A | 1983 | MIT | Londres | MUS | |
| LEVENTHAL, Lance A | Introduction to microprocessors: software, hardware, programming | 1 | 1978 | Prentice Hall | Englewood | AC |
| LEVINE, David | Live java: database to cyberspace | 1 | 1966 | AP Professional | Boston | PGR |
| Levine, Martin D. | Vision in man and machine | 1985 | McGraw Hill | New York | IA | |
| LEWIS, William E. | Software testing and continuous quality improvment | 1 | 2000 | Auerbach | New York | LN |
| Lewis, Willian E. | Software testing and continuous quality improvement | 2000 | Auerbach | New York | ES | |
| Lidl, Rudolf ; Niederreiter, Harald | Introduction to finite fields and their applications | ? | 1994 | Cambridge Press | Cambridge | MAT |
| LIEBOWITZ, Burt H; CARSON, John H | Multiple processor systems for real-time applications | 1 | 1985 | Prentice Hall | Englewood | AC |
| LIESENBERG, Hans Kurt Edmond | Projetos VLSI e seu suporte computacional | 1 | 1986 | V Esc Comp | Belo Horizonte | AC |
| LIM, Jae S.; OPPENHEIM, Alan V. | Advanced Topics in Signal processing | 1 | 1988 | Prentice Hall | New Jersey | ALG |
| LIMA, Vera Lucia S. de | Linguagem pascal | 1 | 1983 | Campus | Rio de Janeiro | PGR |
| LININGER JR, Schuyler W | Ventura: 1072 dicas, tecnicas e truques | 1 | 1991 | Campus | Rio de Janeiro | PGR |
| LIPSCHUTZ, Seymour | Algebra linear: resumo da teoria 600 problemas resolvidos, 524 problemas propostos | 1 | 1972 | McGraw Hill | São Paulo | MAT |
| LIPSCHUTZ, Seymour | Theory and problems of finite mathematics | 1 | 1966 | Schaum | New York | MAT |
| LLOYD, J W | Foundations of logic programming | 2 | 1987 | Springer-Verlag | Berlin | PGR |
| Lopes, Antônio M | Spoken: o super dicionário da lingua inglesa: português-inglês | 1985 /1986 | Novo Brasil | São Paulo | REF | |
| LORENTZ, G. G. | Approximation of functions | 1 | 1966 | Holt, Rinehart and Winston | New York | MAT |
| LOWE, David G | Perceptual organization and visual recognition | 1 | 1985 | Klumer Academic | Boston | IA |
| LUCAS, Robert | Database applications using prolog | 1 | 1988 | Ellis Horwood | Chichester | DAD |
| LUCCHESI, Claudio I; SIMON, Imre; et al | Aspectos teoricos da computacao | 1 | 1979 | Inst Matematica Pura e Aplicada | Rio de Janeiro | TE |
| LUCCHESI, Claudio Leonardo | Introducao a criptografia computacional | 1 | 1986 | Papirus/Unicamp | Campinas | SEG |
| LUCENA, Carlos J P de | Analise e sintese de programas de computador | 1 | 1982 | UnB | Brasilia | PGR |
| Lucena, Carlos J. P. | Inteligência artificial e engenharia de software | 1987 | PUC-RJ | Rio de Janeiro | ES | |
| Lucena, Carlos J. P. de | Análise e síntese de programas: uma introdução | 1981 | UNICAMP | São Paulo | ES | |
| Luger, George F. ; Stubblefield, William | Artificial inteligence: structures and strategies for complex problem solving | 3 | 1998 | Addison-wesley | London | IA |
| MACEDO, Lucas Tofolo de; SAAD, Alfredo Carlos Cardoso | Analise do desempenho de computadores: avaliacao, controle e otimizacao | 1 | 1979 | Edgard Blucher | São Paulo | OL |
| AUTOR | TÍTULO | EDIÇÃO | ANO | EDITOR | LOCAL | LOCALIZAÇÃO |
| MACEWEN, Glenn H | Introduction to computer systems: using the PDP-11 and pascal | 1 | 1981 | McGraw Hill | Bogota | AC |
| MacGregor, Ronald J. | Neural and brain modeling | 1987 | Academic Press | London | IA | |
| Machado, Jose Pedro | Dicionario Etimologico da Lingua Portuguesa: com a mais antiga documentação escrita e conhecida de muitos vocábulos estudados, v.1 | 1952 | Livros Horizonte | Lisboa | REF | |
| Machado, Jose Pedro | Dicionario Etimologico da Lingua Portuguesa: com a mais antiga documentação escrita e conhecida de muitos vocábulos estudados, v.2 | 1952 | Livros Horizonte | Lisboa | REF | |
| Machado, Jose Pedro | Dicionario Etimologico da Lingua Portuguesa: com a mais antiga documentação escrita e conhecida de muitos vocábulos estudados, v.3 | 1952 | Livros Horizonte | Lisboa | REF | |
| Machado, Jose Pedro | Dicionario Etimologico da Lingua Portuguesa: com a mais antiga documentação escrita e conhecida de muitos vocábulos estudados, v.4 | 1952 | Livros Horizonte | Lisboa | REF | |
| Machado, Jose Pedro | Dicionario Etimologico da Lingua Portuguesa: com a mais antiga documentação escrita e conhecida de muitos vocábulos estudados, v.5 | 1952 | Livros Horizonte | Lisboa | REF | |
| Machado, Nelson C. | Introdução a arquitetura de microcomputadores | 1981 | UNICAMP | São Paulo | AC | |
| Madron, Thomas | Network security in the '90s: issues and solutions for managers | 1992 | John Wiley & Sons | New York | SEG | |
| MAEKAWA, Mamoru; OLDEHOEFT, Arthur E.; OLDEHOEFT, Rodney R. | Operating systems: advanced concepts | 1 | 1987 | The Benjamin | California | AC |
| MAGALHÃES, Léo Pini | Computação gráfica: interfaces em sistemas de computação gráfica | 1 | 1986 | Papirus | Cmpinas | CG |
| MAGALHAES, Mauricio F | Software para tempo real | 1 | 1986 | Unicamp | Campinas | ES |
| MAGNENAT-THALMANN, Nadia ; THALMANN, Daniel | Computer animation | 1 | 1985 | Springer-Verlag | Tokyo | CG |
| MAGNENAT-THALMANN, Nadia; THALMANN, Daniel | Image synthesis: theory and practice | 1 | 1987 | Springer-Verlag | Tokyo | CG |
| MAHMOUDIAN, Morteza | Linguistica hoje (A) | 1 | 1982 | Edicoes 70 | Lisboa | OL |
| Maletsky, Evan ; Perciante, Terry ; Yunker, Lee | Fractals for the classroom: part one: introduction to fractals and chaos | 1991 | Springer-Verland | New York | CG | |
| MALHEIROS, Paulo | AutoDesk 3D studio: guia completo | 1 | 1993 | Berkeley | Rio de Janeiro | CG |
| MALPAS, John | PROLOG: a relational language and its applications | 1 | 1987 | Prentice Hall | New Jersey | PGR |
| MANDELBROT, Benoit B. | The fractal geometry of nature | 1 | 1982 | W. H. Freeman and Company | New York | CG |
| MANNA, Zohar | Lectures on the logic of computer programming, vol. 31 | 1 | 1980 | Society for industrial and applied mathematics | Philadelphia | LG |
| MANNA, Zohar; WALDINGER, Richard | Logical basis for computer programming: deductive reasoning vol I | 1 | 1985 | Addison-wesley | Massachusertts | LG |
| MANNA, Zohar; WALDINGER, Richard | Studies in automatic programming logic | 1 | 1977 | North Holland | New York | PGR |
| MANNERING, Douglas | Arte de Matisse (A) | 1 | 1982 | Ao livro tecnico | Rio de Janeiro | OL |
| MARKETOS, Joshua | Java developer`s toolkit (The) | 1 | 1997 | John Wiley & Sons | New York | PGR |
| Marr, David | Vision: a computational investigation into the human representation and processing of visual information | 1982 | Academic Press | London | IA | |
| Martin, James | Computer data-base organization | 1975 | Prentice-Hall | New Jersey | DAD | |
| AUTOR | TÍTULO | EDIÇÃO | ANO | EDITOR | LOCAL | LOCALIZAÇÃO |
| Martin, Robert Cecil | Agile software development: principles, patterns, and practices | 2002 | Prentice Hall | New Jersey | LN | |
| MARTINS, Raul Cesar Baptista; MOURA, Arnaldo Vieira | Desenvolvimento sistematico de programas corretos: a abordagem denotacional | 1 | 1988 | VI Esc Comp | Campinas | ES |
| MASER, Siegfried | Fundamentos de teoria geral da comunicacao: uma introducao a seus metodos e conceitos fundamentais, acompanhada de exercicios | 1 | 1975 | EPU/Edusp | São Paulo | OL |
| Mateus, Geraldo Robson ; Luna, Henrique Pacca Loureiro | Programação não Linear | 1986 | UFMG | Minas Gerais | PGR | |
| Mattison, Rob ; Sipolt, Michael J. | Object-oriented enterprise: making corporate information systems work (The) | 1994 | McGraw-Hill | London | ES | |
| MATTISON, Rob; SIPOLT, Michael J | Object-oriented enterprise: making corporate information systems work | 1 | 1994 | McGraw Hill | New York | ES |
| MAULDIN, John H | Light, lasers and optics | 1 | 1988 | TAB Books | CG | |
| MAYNARD, Jeff | Programacao modular | 1 | 1976 | Livros tecnicos e cientificos | Rio de Janeiro | PGR |
| MCCLELLAN, James; RADER, Charles M | Number theory in digital signal processing | 1 | 1979 | Prentice Hall | Englewood | MAT |
| MCCLENELLAND, James L; RUMELHART, David E | Parallel distributed processing: explorations inthe icrostructure of cognition: vol 2 : Psychological and ciological models | 1 | 1988 | The Mit | Cambridge | IA |
| McCracken, Daniel D. ; Dorn, Willian S. | Numerical methods and fortran programming: with applications in engineering and science | 1964 | John Wiley & Sons | New York | PGR | |
| McDERMID, Donald C | Software engineering for int\formation systems | 1 | 1990 | Blackwell | London | ES |
| MCDOWALL, David; MCCLEARY, Richard; et al. | Interrupted time series analysis | 1 | 1980 | Sage | London | MAT |
| MCHUGH, James | Algorithmic graph theory | 1 | 1990 | Prentice Hall | Englewood | ALG |
| MCNAUGHTON, Robert | Elementary computability, formal languages, and automata | 1 | 1982 | Prentice Hall | Englewood | TE |
| MEHLHORN, Kurt | Data structures and algorithms 1 : sorting and searching | 1 | 1984 | Springer-Verlag | Berlin | ALG |
| MEHLHORN, Kurt | Data structures and algorithms 2: graph algorithms and NP-Completeness | 1 | 1984 | Springer-Verlag | Berlin | ALG |
| MEIRA, Silvio Romero de Lemos | Introducao a programacao funcional | 1 | 1988 | VI Esc Comp | Campinas | PGR |
| MELLO, Paulino Cabral de | Audiovisual: linguagem e técnica | 1 | 1980 | Sono-viso | Rio de Janeiro | MUS |
| Melo, Rubens Nascimento | Banco de dados não convencionais: a tecnologia do BD e suas novas áreas de aplicação | 1988 | UNICAMP | São Paulo | DAD | |
| MENASCE, Daniel; ALMEIDA, Virgilio A F | Planejamento de capacidade de sistemas de computadores: analise operacional como ferramenta | 1 | 1985 | Campus | Rio de Janeiro | AC |
| MENDES, Sueli B T; AGUIAR, Teresa C de | Metodos para especificacao de sistemas | 1 | 1988 | EBAI | Curitiba | ES |
| MEY, Marc | Cognitive paradigm (The) | 1982 | D. Reidel Publishing | Dordrecht | OL | |
| MEY, Marc de | Conective paradigm,The | 1 | 1982 | D. Reidel Publishing | Dordrecht | IA |
| MEYER, Bertrand | Object Success: a manager`s guide to object orientation, its impact on the corporation, and its use for reengineering the software process | 1 | 1995 | Prentice Hall | London | ES |
| MEYER, Bertrand | Object-oriented software construction | 1 | 1988 | Prentice Hall | New York | ES |
| MICHAELSON, Greg | Introduction to functional programming through lambda calculus | 1 | 1989 | Addison-wesley | Massachusertts | PGR |
| Michalski, Ryszard S. ; Carbonell, Jaime G. ; Mitchell, Tom M. | Machine learning: an artificial inteligence approach | 1983 | Morgan Kaufmann | California | IA | |
| MIKLOSKO, J; KOTOV, V E (ed.) | Algorithms, software and hardware of parallel computers | 1 | 1984 | Springer-Verlag | Berlin | ALG |
| Milano, Dominic | Mind over Midi | 1987 | GPI Publications | Califórnia | MUS | |
| Miller, George ; Lenneberg, Elizabeth | Psycology and biology of language and thought: enssays in honor of Eric Lenneberg | 1978 | Academic Press | New York | OL | |
| AUTOR | TÍTULO | EDIÇÃO | ANO | EDITOR | LOCAL | LOCALIZAÇÃO |
| Minsky, Marvin | Semantic information processing | 1968 | MIT | Massachusertts | IA | |
| MINSKY, Marvin; PAPERT, Seymour | Perceptrons: na intorduction to computational geometry | 1 | 1988 | The Mit | Cambridge | IA |
| Mitchell, Melanie | Introduction to genectic algorithms (Na) | 1996 | MIT | Massachusertts | LN | |
| MITCHELL, Melanie | Introduction to genetic algorithms | 6 | 1999 | MIT | Massachusetts | LN |
| Mitchell, Richard ; McKim, Jim | Design by contract, by example | 1 | 2002 | Addison-wesley | Massachusertts | LN |
| Moll, Robert N. ; Arbib, Michael ; Kfoury A J. | Introduction to formal language theory (An) | 1988 | Springer-Verlag | New York | PGR | |
| Moll, Robert N. ; Arbib, Michael ; Kfoury A J. | Programming approach to comutability (A) | 1982 | Springer-Verlag | New York | PGR | |
| MOLLER, Aage R. | Auditory Physiology | 1 | 1983 | Academic Press | New York | OL |
| MOLLER, K D | Optics: solutions manual | 1 | 1988 | Uni Escience Books | California | FIS |
| MONK, J Donald | Mathematical logic | 1 | 1976 | Springer-Verlag | New York | MAT |
| Mori, Shunji ; Nishida, Hirobumi ; Yamada, Hiromitsu | Optical character recognition | 1999 | John Wiley & Sons | New York | FIS | |
| Moto-Oka, T. (Ed.) | Fifth Generation Computer Systems - International Conference in Tokyo, Japan, october 1981 | 1981 | Elsevier Sscience Publishers B. V. | Amsterdam | AC | |
| MOURA, Jose Antao Beltrao;SAUVE, Jacques Philippe; et al | Redes locais de computadores: protocolos de alto nivel e avaliacao de desempenho | 1 | 1986 | McGraw Hill | São Paulo | RD |
| MOWBRAY, Thomas J | CORBA: design patterns | 1 | 1997 | John Wiley & Sons | New York | ES |
| Mullet, Kevin ; Sano, Darrell | Design visual interfaces: communication oriented techniques | 1995 | Prentice Hall | New Jersey | LN | |
| MURRAY, James D; VANRYPER, William | Enciclopedia of graphics file formats | 2 | 1996 | O`Reilly & Associates | Bonn | CG |
| MURRAY, James D; VANRYPER, William | Enciclopedia of graphics file formats | 1 | 1994 | O`Reilly & Associates | Bonn | CG |
| NAMORADO, Egídio | Física atômica | 4 | 1969 | Fundação Calouste Gulbenkian | Lisboa | FIS |
| NAPIER, John | Mão do homem: anatomia, funcao, evolucao (A) | 1 | 1980 | Zahar | Rio de Janeiro | OL |
| NASCENTES, Antenor | Tesouro da fraseologia brasileira | 3 | 1986 | Nova fronteira | Rio de Janeiro | OL |
| NATTIEZ, J J | Problemas e metodos de semiologia | 1 | 1966 | Edicoes 70 | Lisboa | OL |
| Naumann, Joel & Wagoner, James D. | Analog Electronic Music techniques | 1984 | Schirmer Books | Nova Iorque | MUS | |
| NAVAUX, Philippe O A | Processadores pipeline e processamento vetorial | 1 | 1990 | VII Esc Comp | São Paulo | AC |
| Nemeth, Evi ; Snyder, Garth ; Seebass, Scott ; Hein, Trent R. | Manual do administrador do sistema UNIX | 3 | 2002 | Bookman | Porto Alegre | LN |
| NEVATIA, Ramakant | Machine perception | 1 | 1982 | Prentice Hall | Englewood | IA |
| NEWCOMER, Lawrence | COBOL estruturado | 1 | 1985 | McGraw Hill | São Paulo | PGR |
| Newman, William M. ; Sproull, Robert F. | Priciples of interactive computer graphics | 2 | 1981 | McGraw-Hill | Tokyo | CG |
| Nogueira, Roberto ; Garcia, Júlio | Avaliação de seleção de sistemas: um enfoque de tecnologias de informação | 1986 | LTC | Rio de Janeiro | AC | |
| Northcutt, Stephen ; Cooper, Mark ; Fearnow, Mark ; Frederick, Karen | Intrusion signatures and analysis | 2001 | New Riders | Indiana | LN | |
| Northcutt, Stephen ; Novak, Judy | Network intrusion detection | 3 | 2002 | New Riders | Indiana | LN |
| O'GORMAN, Lawrence | Executive Briefing: document image analysis | 1 | 1997 | IEEE | Califórnia | CG |
| OLIVEIRA, Joao Carlos de A R | Desenvolvimento de software de banco de dados | 1 | 1979 | Edgar Blucher | São Paulo | ES |
| OLLE, T William; HAGELSTEIN, Jacques; et al | Information systems methodologies: a framework for understanding | 2 | 1991 | Addison-wesley | England | AC |
| OPPENHEIM, Alan V. (ed.) | Applications of digital signal processing | 1 | 1978 | Prentice Hall | New Jersey | AC |
| Oppenheim, Alan V. ; Schafer, Ronald W. | Digital Signal Processing | 1975 | Prentice-haall | New Jersey | AC | |
| OSBORNE, Adam | 8080 programming for logic design | 1 | 1976 | Osborne | California | LG |
| AUTOR | TÍTULO | EDIÇÃO | ANO | EDITOR | LOCAL | LOCALIZAÇÃO |
| O'SHEA, Tim; SELF, John | Learning and teaching with computers: artificial intelligence in education | 1 | 1987 | The harvester | Brighton | IA |
| Owen, Art B. | Empirical Likelihood | 2001 | Chapman & Hall | London | LN | |
| PACITTI, Tercio | Fortran-monitor: principios | 3 | 1981 | Livros tecnicos e cientificos | Rio de Janeiro | PGR |
| PACITTI, Tércio | Fortran-monitor: principios | 3 | 1980 | Livros Tecnico e Cientificos | Rio de Janeiro | PGR |
| PACKAGES, Core | Java application programming interface, vol 1 | 1 | 1996 | Addison-wesley | Massachusertts | PGR |
| PAO, Yoh-Han | Adaptive pattern recognition and neural networks | 1 | 1989 | Addison-wesley | Massachusertts | IA |
| PARKER, J R | Algorithms for image processing and computer vision | 1 | 1997 | John Wiley & Sons | New York | ALG |
| Parker, Roger C. | Editoração eletrônica: wordperfect 5.0 e 5.1 | 1991 | LTC | Rio de Janeiro | PGR | |
| PARKER, Sybil P | Optics source book | 1 | 1987 | McGraw Hill | New York | CG |
| PARKIN, P. H.; HUMPHREYS, H. R.; COWELL, J. R. | Acoustics noise and buildings | 4 | 1979 | Faber and Faber | London | MUS |
| PARLAGRECO, Carlo | Dizionario portoghese-italiano: italiano-portoghese | 5 | 1990 | Martins Fontes | São Paulo | REF |
| PAULSON, Lawrence C | ML for the working programmer | 2 | 1996 | Cambride | New York | PGR |
| PAZZA, Maurizio | Analise quantitativa de sistemas | 1 | 1988 | EBAI | Curitiba | AC |
| PEARL, Judea | Causality: models, reasoning and interference | 1 | 2000 | Cambridge University | Cambridge | LN |
| PEARL, Judea | Heuristics: intelligent search strategies for computer problem solving | 1 | 1984 | Addison-wesley | Massachusertts | IA |
| PEARL, Judea | Probabilistic reasoning in intelligent systems: networks of plausible inference | 1 | 1988 | Morgan Kaufamann | San Francisco | IA |
| Pedrosa, Israel | Da cor à cor inexistente | 3 | 1978? | EdUnb | Brasília | CG |
| PEITGEN, H.-O.; RCHITER, P. H. | Beauty of fractals (The) | 1 | 1986 | Springer-Verlag | Berlin | CG |
| PEITGEN, Heinz-Otto ; SAUPE, Dietmar | Science of fractal images | 1 | 1988 | Springer-Verlag | New York | CG |
| PEIXOTO, Roberto | Elementos de calculo vetorial | 6 | 1959 | Francisco Alves | Rio de Janeiro | MAT |
| PEIXOTO, Roberto | Elementos de geometria analitica: geometria de tres dimensoes: segunda parte | 3 | 1961 | Francisco Alves | Rio de Janeiro | MAT |
| Pelton, Gordon E. | Voice Processing | 1992 | McGraw-Hill | Nova Iorque | AC | |
| PERROTT, R. H. | Parallel programming | 1 | 1987 | Addison-wesley | Massachusertts | PGR |
| PERRY, Paul | World Wide Web secrets | 1 | 1995 | IDG Books | Chicago | PGR |
| PERSIANO, Ronaldo César Marinho | Introdução à computação gráfica | 1 | 1986 | UFMG | Belo Horizonte | CG |
| Peterson, James L. ; Silberschatz, Abraham | Operating system concepts | 2 | 1985 | Addison-Wesley | Nova Iorque | AC |
| PEW, John A. | Instant Java | 2 | 1997 | SunSoft | California | PGR |
| PFLEEGER, Charles P. | Security in computing | 2 | 1997 | Prentice Hall | USA | SEG |
| Piaget, Jean | Noção de tempo na criança (A) | 1946 | Record | Rio de Janeiro | OL | |
| PIAGET, Jean | Psicologia e epistemologia: por uma teoria do conhecimento | 2 | 1978 | Forense Univ | Rio de Janeiro | OL |
| PICCOLO, Homero Luiz | Estruturas de dados | 1 | 2000 | MSD | Brasilia | DAD |
| PINHEIRO, Nizar da Silva | TCC: time do coordenador chefe vol 5 | 1 | 1979 | Edgard Blucher | São Paulo | AC |
| PITZSCHKE, Fritz;WIMMER, Franz (orgs.) | Novo Michaelis: dicionario ilustrado: vol II: portugues-ingles | 44 | 1987 | Melhoramentos | São Paulo | REF |
| PLAMER, F R | Semantica (A) | 1 | 1976 | Edicoes 70 | Lisboa | OL |
| PLLACK, Seymour V; STERLING, Theodor D | Guide to PL/I | 1 | 1969 | Holt Rinehart and Wiston | New York | AC |
| Pohlmann, Ken C. | Principles of Digital Audio | 1985 | Howard W. Sams & Co | Indianopolis | MUS | |
| Pohst, Michael | Algorithmic methods in algebra and number theory | 1987 | Academic Press | Orlando | ALG | |
| POLLACK, Bary W | Compiler techniques | 1 | 1972 | AUERBACH | Princeton | PGR |
| POMPILHO, S. | Análise essencial:guia prático de análise de sistemas | 2002 | Ciência moderna | Rio de Janeiro | LN | |
| AUTOR | TÍTULO | EDIÇÃO | ANO | EDITOR | LOCAL | LOCALIZAÇÃO |
| Poole, David ; Mackworth, Alan ; Goebel, Randy | Computational intelligence: a logical approach | 1988 | Oxford University | Oxford | LN | |
| Pope, Stephen Travis | Well-Tempered Object: musical applications of object-oriented softwware technology (The) | 1991 | Londres | MUS | ||
| PRATES JR.,Rubens da Silva | Basic aplicado: um enfoque profissional | 1 | 1985 | Livros tecnicos e cientificos | Rio de Janeiro | PGR |
| PRATT, Terrence W | Programming languages: design and implementation | 2 | 1975 | Prentice Hall | New Jersey | PGR |
| Preece, Jenny ; Keller, Laurie | Human-computer interaction: selected readings | 1989 | Prentice-Hall | London | ||
| PREECE, Jenny; KELLER, Laurie (ed.) | Human-computer interaction: selected readings | 1 | 1990 | Prentice Hall | Englewood | IA |
| PRESS, Laurence | IBM PC e suas aplicacoes | 1 | 1987 | Livros Tecnico e Cientificos | São Paulo | TE |
| PRESSMAN, Roger S | Engenharia de software | 1 | 1995 | Makron books | São Paulo | ES |
| PRESSMAN, Roger S | Software engineering: a practitioner`s approach | 3 | 1992 | McGraw Hill | London | ES |
| Pressman, Roger S. | Software engineering: practitioner's approach | 3 | 1994 | McGraw-Hill | London | ES |
| PRINCIPE JR., Alfredo dos Reis | Noções de geometria descritiva, v. 1 | 37 | 1989 | Nobel | São Paulo | MAT |
| PRINCIPE JR., Alfredo dos Reis | Noções de geometria descritiva, v. 2 | 30 | 1989 | Nobel | São Paulo | MAT |
| Pugh, Alan | Robot sensors: tactile and non-vision, v. 2 | 1986 | Springer-Verlag | Heidelberg | IA | |
| PUGH, Alan | Robot sensors: vol1 vision | 1 | 1986 | Springer-Verlag | Berlin | IA |
| Pyle, Dorian | Data preparation for data mining | 1999 | Morgan kaufamann | New York | LN | |
| QUADROS, Daniel G A | PC assembler: usando DOS | 1 | 1988 | Campus | Rio de Janeiro | |
| QUINN, Michael J | Designing efficient algorithms for parallel computers | 1 | 1987 | McGraw Hill | New York | ALG |
| RAINVILLE, Earl D. | Laplace transform (The) | 1 | 1963 | Macmillan Company | New York | ALG |
| Ramalho, José Antônio Alves | Wordstar: manual para processamento de textos | 3 | 1987 | Atlas | São Paulo | PGR |
| Randhawa, Bikkar S. ; Coffman, William E. | Visual learning, thinking, and communication | 1976 | Academic Press | London | IA | |
| Reaalte, Thomas Van | X View Programming Manual - Cccompanion to volume 7 | 1991 | O'Reilly & Associates | USA | PGR | |
| READE, Chris | Elements of functional programming | 1 | 1989 | Addison-wesley | Massachusertts | PGR |
| REED, Stephen K. | Psychological processes in pattern recognition | 1 | 1973 | Academic Press | New York | IA |
| REISIG, Wolfgang | Petri nets: an introduction | 1 | 1985 | Springer-Verlag | Berlin | OL |
| RIBEIRO, Milton | Planejamento visual grafico | 2 | 1987 | Linha | Brasilia | CG |
| RICE, Stephen V.; NAGY, George; NARTKER, Thomas A | Optical character recognition: an illustrated guide to the frontier | 1 | 1999 | Kluwer Academic | Boston | FIS |
| RICH, Elaine | Inteligencia artificial | 1 | 1988 | McGraw Hill | São Paulo | IA |
| RICH, Elaine; KNIGHT, Kevin | Inteligência artificial | 2 | 1993 | Makron books | São Paulo | IA |
| ROADS, Curtis | Composers and the computer | 1 | 1985 | Willian Kaufmann | Califórnia | MUS |
| Roads, Curtis ; Strawn, John (ed.) | Foundations of Computer Music | 1985 | MTI | Massachusetts | MUS | |
| Rock, Irvin | Logic of perception (The) | 1983 | MIT | Massachusetts | IA | |
| RODRIGUES, Noberto | Neurolinguistica dos disturbios da fala | 1 | 1989 | Cortez/Educ | São Paulo | OL |
| Roederer, Juan G. | Introduction to the Physics and Psychophysics of Music, vol. 16 | 2 | 1975 | Springer-Verlag | Nova Iorque | MUS |
| ROGERS JR.,Hartley | Theory of recursive functions and effective computability | 1 | 1988 | MIT Press | Massachusertts | TE |
| Rónai, Paulo | Dicionário universal nova fronteira de citações | 1985 | Nova Fronteira | Rio de Janeiro | REF | |
| Rose, David ; Dobson, Vernon G. | Models of the visual cortex | 1985 | John Wiley & Sons | New York | IA | |
| ROSENFELD, Azriel | Picture languages: formal models for picture recognition | 1 | 1979 | Academic Press | New York | CG |
| Rosenfeld, Azriel & Kak, Avinash C. | Digital Picture Processing, vol. 1 | 2 | 1981 | Academic | Florida | CG |
| ROSENSCHEIN, Jeffrey S ; ZLOTKIN, Gilad | Designing conventions for automated negotiation among computers | 1994 | The MIT | Massachusetts | IA | |
| Rubinstein, Richard | Digital typography: na introduction to type and composition for computer system design | 1988 | Addison-Wesley | Nova Iorque | CG | |
| RUMBAUGH, James; BLAHA, Michael; et al | Object-oriented modeling and design | 1 | 1991 | Prentice Hall | New Jersey | ES |
| AUTOR | TÍTULO | EDIÇÃO | ANO | EDITOR | LOCAL | LOCALIZAÇÃO |
| Rumelhart, David E. , McClelland | Parallel distributed processing: explorations in the microstructure of cognition, v. 1: foundations | 1986 | MIT | Massachusertts | IA | |
| Rumsey, Francis | Midi Systems e Control | 2 | 1994 | Focal | Oxford | MUS |
| RUSSELL, Bertrand | Misticismo e logica e outros ensaios | 1 | 1977 | ZAHAR | Rio de Janeiro | LG |
| Russell, Deborah ; Gangemi, G. T. | Computer security basics | 1991 | O'Reilly | Sebastopol | SEG | |
| RUSSELL, Stuart J; NORVIG, Peter | Artificail intelligence: a modern approach | 1 | 1995 | Prentice Hall | New Jersey | IA |
| RUSSELL, Stuart J; NORVIG, Peter | Artificial intelligence: a modern approach | 1995 | Prentice Hall | New Jersey | IA | |
| RUWET, Nicolas; CHOMSKY, Noam | Gramatica generativa (A) | 1 | 1966 | Edicoes 70 | Lisboa | OL |
| Sagastume, Marta ; Baum, Gabriel | Problemas, lenguajes y algoritmos | 1986 | UNICAMP | Campinas | IA | |
| SAGER, Naomi | Natural language information processing: a computer grammar of english and its applications | 1 | 1981 | Addison-wesley | Massachusertts | IA |
| SAGER, Naomi | Natural language information processing: a computer grammar of english and its applications | 1 | 1981 | Addison-wesley | Massachusertts | IA |
| Salomaa, Arto | Formal Languages | 1973 | Academic Press | London | PGR | |
| SALTON, Gerard | Automatic information organization and retrieval | 1 | 1968 | McGraw Hill | New York | OL |
| SANTOS, Jose Trindade | Antes de Socrates: introducao ao estudo da filosofia Grega | 1 | 1985 | Gradiva | Lisboa | OL |
| SANTOS, Manoel Heleno Rodrigues dos | Ultimo teorema de Fermat: subisidio para sua demosntracao (O) | 1 | 1958 | Recife | MAT | |
| SARMENTO JUNIOR, Carlos Alberto | Sistema de autoria inteligente (Um) | 1 | 1990 | Inst Militar de Eng | Rio de Janeiro | |
| SAUSSURE, Ferdinand de | Curso de linguistica geral | 1 | 1978 | Dom Quixote | Lisboa | OL |
| SAVADOVSKY, Pedro | Construcao de interpretadores para linguagem natural (A) | 1 | 1988 | EBAI | Curitiba | IA |
| . | Introducao ao projeto de interfaces em linguagem natural | 1 | SID informatica | São Paulo | LG | |
| SAVADOVSKY, Pedro | Introducao ao projeto de interfaces em linguagem natural ex. 2 | 1 | SID informatica | São Paulo | LG | |
| SAVADOVSKY, Pedro | Introducao ao projeto de interfaces em linguagem natural ex. 3 | 1 | SID informatica | São Paulo | LG | |
| Savitch, Walter | Java: na introduction to computer science and programming | 1999 | Prentice Hall | New Jersey | LN | |
| SCHAEFFER, Pierre | Traite des objets musicaux | 9 | 1966 | Du Seuil | Paris | |
| SCHANTZ, Herbert F | History of OCR: optical character recognition (the) | 1 | 1982 | Recognition Technologies Users | FIS | |
| SCHILDT, Hebert | Turbo pascal avancado | 1 | 1988 | McGraw Hill | São Paulo | PGR |
| SCHILDT, Herbert | Advanced turbo C | 1 | 1987 | McGraw Hill | California | PGR |
| SCHILDT, Herbert | Advanced turbo pascal: programming & techniques | 1 | 1986 | Osborne | California | PGR |
| SCHILDT, Herbert | Linguagem C: guia do usuario | 1 | 1986 | McGraw Hill | São Paulo | PGR |
| SCHIPER, Andre | Programmation concurrete | 1 | 1986 | Presses Polytechniques Romandes | PGR | |
| SCHLECHTENDAHL, E G (ed) | Specification of a CAD*I neutral file for CAD geometry: wireframes, surfaces, solids : version 3,3 | 3 | 1988 | Springer-Verlag | Berlin | CG |
| SCHMITZ, Eber Assis; TELES, Antonio Anibal de S. | Pascal e tecnicas de programacao | 3 | 1988 | LTC | Rio de Janeiro | PGR |
| Schwab, Eileen C. ; Nusbaum, Howard C. | Pattern reconition by humans and machines, v. 1: speeche perception | 1986 | Academic Press | London | IA | |
| Schwab, Eileen C. ; Nusbaum, Howard C. | Pattern reconition by humans and machines, v. 2: visual perception | 1986 | Academic Press | London | IA | |
| Schwartz, Jacob T. ; Sharir, Micha ; Hopcroft, John | Planning, geometry, and complexity of robot motion | 1986 | Ablex Publishing Corporation | New Jersey | IA | |
| SEASHORE, Carl E | Psychology os music | 1 | 1967 | Dover | New York | MUS |
| SEBESTA, Robert W. | Conceitos de linguagem de programação | 4 | 2000 | Bookman | Porto Alegre | LN |
| SEBESTA, Robert W. | Conceitos de linguagem de programação | 4 | 2000 | Bookman | Porto Alegre | LN |
| Sebesta, Robert W. | Conceitos de linguagem de programação | 4 | 2000 | Bookman | Porto Alegre | PGR |
| AUTOR | TÍTULO | EDIÇÃO | ANO | EDITOR | LOCAL | LOCALIZAÇÃO |
| SEDGEWICK, Robert | Algorithms in C | 1 | 1990 | Addison-wesley | Massachusertts | ALG |
| SEGRE, Lidia Micaela | Linguagem de programacao ALGOL | 1 | 1981 | Campus | Rio de Janeiro | PGR |
| Serra, J. | Image analysis and mathematical morphology | 1982 | Academic Press | Londres | CG | |
| SERRA, Jean | Image analysis and mathematical morphology vol 2: theoretical advances | 1 | 1988 | Academic Press | London | CG |
| SETHI, Ravi | Programming Languages: concepts and constructs | 1 | 1989 | Addison-wesley | Massachusertts | PGR |
| SETZER, Valdemar W | Projeto logico e projeto fisico de bancos de dados | 1 | 1986 | V Esc Comp | Belo Horizonte | DAD |
| SETZER, Valdemar W; MELO, Ines S H de | Construcao de um compilador: Parte II (A) | 1 | 1981 | Seg Esc Comp | Campinas | PGR |
| Shafer, Glenn | mathematical theory of evidence (A) | 1976 | Princeton University | New Jersey | MAT | |
| Shaley, Tom ; Anderson, Don | ISA: system arquitecture, v. 1 | 2 | 1993 | MindShare | Richardson | AC |
| Shaley, Tom ; Anderson, Don | PCI: system arquitecture , v. 4 | 2 | 1993 | MindShare | Richardson | AC |
| Shank, Roger C. ; Colby, Kenneth Mark | Computer models of thought and language | 1973 | W. H. Freeman | San Francisco | IA | |
| Shank, Roger C. ; Riesbeck, Christopher K. | Inside computer understanding: five programs, plus miniatures | 1981 | Lawrence Erlbaum Associates | New Jersey | IA | |
| SHASTRI, Lokendra | Semantic networks: an evidential formalization and its connectionist realization | 1 | 1988 | Piman | London | OL |
| SHELDON, Tom | Windows 3: made easy | 1 | 1990 | McGraw Hill | Berkeley | PGR |
| Shepard, Roger N. ; Cooper, Lynn | Mental images and their tranformations | 1982 | MIT | Massachusertts | IA | |
| Shimizu, Tamio | Processamento de dados: conceitos Basicos | 3 | 1985 | Atlas | São Paulo | DAD |
| Shimizu, Tamio | Programação COBOL: curso básico | 3 | 1985 | Atlas | São Paulo | PGR |
| SHIRAI, Yoshiaki | Three-dimensional computer vision | 1 | 1987 | Springer-Verlag | Berlin | IA |
| SHLAER, Sally; MELLOR, Stephen J | Analise de sistemas orientada para objetos | 1 | 1990 | Makron books | São Paulo | ES |
| SHNEIDERMAN, Ben | Designing the user interface: strategies for effective human-computer interaction | 2 | 1992 | Addison-wesley | Massachusertts | ES |
| Shoham, Yoav | Artificial intelligence techniques in prolog | 1994 | Morgan Kaufmann | California | ||
| Shreeram; Shankar ; Abhyankar | Local analytic geometry | 1964 | Academic Press | New York | MAT |