Pontifícia Universidade Católica do Rio de Janeiro

Tamanho: px
Começar a partir da página:

Download "Pontifícia Universidade Católica do Rio de Janeiro"

Transcrição

1 Pág CONHECIMENTO CICLOS ECONÔMICOS - MODELOS MATEMÁTICOS LOECKX, Jacques. Computability and decidability : an introduction for students of computer science /. Berlin : Springer-Verlag, p. - ISBN (broch.) Ex Total de exemplares: CIBERNÉTICA ARBIB, Michael A. Brains, Machines, and mathematics /. 2nd. ed. - New York : Springer, p. ISBN : (enc.) Ex Total de exemplares: TEORIA SISTEMAS; ANÁLISE DE SISTEMAS KLIR, George J. Trends in general systems theory /. New York : Wiley-Interscience Publication c p. ISBN X : (enc.) Ex Total de exemplares: 1 WEINBERG, Gerald M. An introduction to general systems thinking /. New York : Wiley p. ISBN : (enc.) Ex Total de exemplares: PESQUISA OPERACIONAL - CONGRESSOS SIMPÓSIO BRASILEIRO DE PESQUISA OPERACIONAL, Salvador, BA SOCIEDADE BRASILEIRA DE PESQUISA OPERACIONAL. Anais... Rio de Janeiro: SBPO, p. Ex Total de exemplares: SISTEMAS EUROPEAN MEETING ON CYBERNETICS AND SYSTEMS RESEARCH. 10. : 1990 :. University of Vienna).; TRAPPL, Robert. Cybernetics and systems'90 : proceedings of the Tenth European Meeting on Cybernetics and Systems Research /. Singapore : World Scientific, c p. : ISBN : (enc.) Ex Total de exemplares: TEORIA DA CODIFICAÇÃO; TEORIA DA INFORMAÇÃO CAMPBELL, Jeremy,.. Grammatical man : information, entropy, language, and life /. New York : Simon and Schuster c p. ISBN (enc.) Ex Total de exemplares: SISTEMAS

2 Pág TEORIA SISTEMAS; ANÁLISE DE SISTEMAS WORKSHOP ON INFORMATION TECHNOLOGY, 1993:. Rio de Janeiro, RJ).. ; CASTILHO, José Mauro Volkmer de.. Proceedings... [Rio de Janeiro : CNPq : UNDP : GMD, n.p. : Ex Total de exemplares: INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE ; TECNOLOGIA DA INFORMAÇÃO GOLDBERG, Adele. Smalltalk-80 : the interactive programming environment /. Reading, Mass. : Addison-Wesley, c p. : ISBN : (enc.) Ex Total de exemplares: 1 COMISSÃO DE COORDENAÇÃO DAS ATIVIDADES DE PROCESSAMENTO ELETRÔNICO (BRASIL).. Recursos computacionais brasileiros. Ed. especial. - Rio de Janeiro : A Comissão, , [15]p. Ex Total de exemplares: 1 REYNOLDS, John C.,. The craft of programming. Englewood Cliffs, N. J.: Prentice Hall, c p. (Prentice-Hall International series in computer science ) ISBN (Enc.) Ex Total de exemplares: 1 TANENBAUM, Andrew S.,. Structured computer organization /. 2nd. ed. - Englewood Cliffs, N. J. : Prentice-Hall, Inc. c p. : ISBN : (enc.) Ex Total de exemplares: 1 LISKOV, Barbara; GUTTAG, John.. Abstraction and specification in program development /. Cambridge, Mass. : MIT Press, c1986. xv, 469p. - ISBN : (enc.) Ex Total de exemplares: 1 WULF, William A. Fundamental structures of computer science. Reading, Mass.: Addison-Wesley Publishing Company, c p. ISBN (Enc.) Ex Total de exemplares: 1 DEGROOT, Doug.; LINDSTROM, Gary. Logic programming : functions, relations, and equations /. Englewood Cliffs, N. J. : Prentice-Hall, Inc. c p. ISBN : (enc.) Ex Total de exemplares: 1 HILLIS, W. Daniel.. The connection machine /. Cambridge, Mass. : MIT Press, c1985. xiii, 190p. : ISBN : (enc.) Ex ,26929 Total de exemplares: 2

3 Pág INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE ; TECNOLOGIA DA INFORMAÇÃO NICKERSON, Raymond S.. Using computers : human factors in information systems /. Cambridge, Mass. : MIT Press, c1986. xiv, 434p. ISBN : (broch.) Ex Total de exemplares: 1 ABELSON, Harold.; SUSSMAN, Gerald Jay.; SUSSMAN, Julie. Structure and interpretation of computer programs /. Cambridge, Mass. : M.I.T. Press c p. : ISBN : (broch.) Ex Total de exemplares: 1 LESCANNE, Pierre.; INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS. (2. : :. Bordeaux). Rewriting techniques and applications : proceedings /. Berlin : Springer, p. - ((Lecture notes in computer science, v.256).)) ISBN : (broch.) Ex Total de exemplares: 1 BENNINGHOFEN, B.; KEMMERICH, S.; RICHTER, Michael M.,. Systems of reductions /. Berlin : Springer, c p. - ((Lecture notes in computer science, v.277).)) ISBN : (broch.) Ex Total de exemplares: 1 TAGGART, William M.,; SILBEY, Val.. Information systems : people and computers in organizations /. 2nd ed. - Boston : Allyn and Bacon c1986. xxvi, 570p. : ISBN : (enc.) Ex Total de exemplares: 1 ARBIB, Michael A.; KFOURY, A. J.; MOLL, Robert N. A basis for theoretical computer science /. New York : Springer, c p. - ISBN : (enc.) Ex Total de exemplares: 1 HAMLET, Richard G. Introduction to computation theory /. New York : Intext Educational Publishers c p. ISBN : (enc.) Ex Total de exemplares: 1 CARVALHO, Roberto Lins de. Maquinas, programas e algoritmos. Campinas : Unicamp, p. Ex ,44914 Total de exemplares: 2 JONES, Neil D.,. Computability theory : an introduction /. New York : Academic Press, p. - Ex Total de exemplares: 1

4 Pág INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE ; TECNOLOGIA DA INFORMAÇÃO SHORTLIFFE, Edward H. Computer-based medical consultations : MYCIN /. New York : Elsevier, c p. - ISBN : (enc.) Ex Total de exemplares: 1 EVERLING, Wolfgang.. Exercises in computer systems analysis /. Berlin : Springer, iv, 184p. - ((Lecture notes in computer science, v.35).)) ISBN : (broch.) Ex Total de exemplares: 1 ARSAC, Jacques.. La science informatique /. Paris : Dunod, xv, 233p. : Ex Total de exemplares: 1 GUTENMACHER, L. Thinking machines /. Moscow : Foreign Languages, [19-]. 185p. : Ex Total de exemplares: 1 FLORES, Ivan,. The logic of computer arithmetic /. Englewood Cliffs, N. J. : Prentice-Hall, c p. - Ex Total de exemplares: 1 GOAD, Christopher Alan. Computational uses of the manipulation of formal proofs /. Stanford : Stanford University p. Ex Total de exemplares: 1 COFFMAN, E. G. (Edward Grady),; LENSTRA, J. K.; RINOOY KAN, A. H. G.,. Computing /. Amsterdan : North-Holland, p. : ISBN (enc.) Ex Total de exemplares: 1 FRENKEL, Jacob.; FAÇANHA, Diva.; CURY, Vania. Informatica : atuação e tendencias /. Rio de Janeiro : FINEP, Dept. de Informatica, [24]p. Ex Total de exemplares: 1 ASPRAY, William. John Von Newmann and the origins of modern computing /. Cambridge, Mass. : Mit Press, c p. : ISBN (enc.) Ex Total de exemplares: 1

5 Pág INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE ; TECNOLOGIA DA INFORMAÇÃO INFORMATION technology - Portable common tool environment (PCTE) = Technologies d'information - Environment d'outil courant portable (PCTE). -. Geneve : ISO/IEC, c v. Ex ,94835 Total de exemplares: 2 HARVEY, Brian,; WRIGHT, Matthew. Simply scheme : introducing computer science /. Cambridge, Mass. : MIT Press, c p. : ISBN (enc.) Ex Total de exemplares: 1 AHO, Alfred V.; ULLMAN, Jeffrey D.,. Concepts fondamentaux de l'informatique /. Paris : Dunod, c p. ISBN (broch.) Ex Total de exemplares: 1 INSITUTO UNIEMP. I premio compaq de estimulo a pesquisa e desenvolvimento em informatica /. São Paulo : Instituto Uniemp, p. Ex Total de exemplares: 1 DIAS, Donaldo de Souza; GAZZANEO, Giosafatte. Projeto de sistemas de processamento de dados /. Rio de Janeiro : Livros Tecnicos e Cientificos, xii, 151p. : ( (Aplicacoes de computadores)) Ex , Total de exemplares: 2 CONSELHO DO DESENVOLVIMENTO (BRASIL)... Relatorio do grupo de trabalho sobre aplicação de computadores. Rio de Janeiro, v. (paginação irregular). - Ex Total de exemplares: 1 CARVALHO, Sérgio E. R. de.. Introdução a ciencia da computação com WATFIV e FORTRAN. Rio de Janeiro : Campus, p. ISBN : (Broch.) Ex Total de exemplares: 1 LUCENA, Carlos J. P. de.. Analise e sintese de programas de computador. Brasilia : Ed. Universidade de Brasilia c p. : ((Cadernos da UnB) ) Ex Total de exemplares: 1 VELOSO, Paulo A. S.. UNIVERSIDADE DE SÃO PAULO. Escola de Computação. UNIVERSIDADE DE SÃO PAULO. Instituto de Matematica e Estatistica.. Maquinas e linguagens : uma introdução a teoria de automatos /. São Paulo : Escola de Computação, Instituto de Matematica e Estatistica da USP, p. : Ex Total de exemplares: 1

6 Pág INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE ; TECNOLOGIA DA INFORMAÇÃO KENT, Ernest W.. The brains of men and machines /. New York : McGraw-Hill, Inc p. : ISBN ( ) Ex Total de exemplares: 1 HELMAN, Paul.; VEROFF, Robert. Intermediate problem solving and data structures : Walls and mirrors /. Menlo Park, CA : Benjamim / Cummings, c p. : ISBN (enc.) Ex Total de exemplares: 1 GLASS, Robert L.; NOISEUX, Ronald A. Software maintenance guidebooks /. Englewood Cliffs : Prentice-Hall, p. : ISBN : (Broch.) Ex Total de exemplares: 1 WULF, William Allan.; LEVIN, Roy.; HARBISON, Samuel P. Hydra/C.mmp: an experimental computer system. New York : MGHBC, [c1981.] 297p. : (McGraw-Hill advanced computer science series ) Ex Total de exemplares: LÓGICA COMPUTACIONAL JANTKE, K. P.; INTERNATIONAL WORKSHOP ON ANALOGICAL AND INDUCTIVE INFERENCE. (1986 :. Wendisch-Rietz, Alemanha). Analogical and inductive inference : International Workshop AII' 86, Wendisch-Rietz, GDR, October 6-10, 1986, proceedings /. Berlin : Springer, p. - ((Lecture notes in computer science, v.265).)) ISBN : (broch.) Ex Total de exemplares: COMPUTAÇÃO - MATEMÁTICA ; CÁLCULOS NUMÉRICOS - PROGRAMAS DE COMPUTADOR MANDRIOLI, Dino.; GHEZZI, Carlo. Theoretical foundations of computer science /. New York : Wiley c p. ISBN : (enc.) Ex Total de exemplares: 1 BENEDICT, G. Gordon. An enciphering module for multics /. Cambridge, Mass. : Massachusetts Institute of Technology p. -Originalmente apresentado como tese do autor (Massachusetts Institute of Technology, Electrical Engineering Department). Ex Total de exemplares: 1 STRAUBING, Howard,. Finite automata, formal logic and circuit complexity /. Boston : Birkhauser, p. - ISBN (enc.) Ex Total de exemplares: 1

7 Pág INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE ; TECNOLOGIA DA INFORMAÇÃO KEMPF, James,. Numerical software tools in C /. Englewood Cliffs, NJ : Prentice-Hall, Inc. c p. ISBN (broch.) Ex Total de exemplares: INTERAÇÃO HOMEM-MÁQUINA; PROCESSAMENTO DA INFORMAÇÃO HUMANA; SISTEMAS HOMEM-MÁQUINA BOSSER, Tom. Learning in man-computer interaction :: a review of the literature /. Berlin : Springer, c p. : ISBN : (broch.) Ex Total de exemplares: 1 SCHNEIDERMAN, Ben,. Software psychology: human factors in computer and information systems. Cambridge, Mass.: Winthrop, c p. (Winthrop computer systems series ) ISBN Ex Total de exemplares: INTERAÇÃO HOMEM-MÁQUINA - CONGRESSOS CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS, 1991, New Orleans, Estados Unidos) ; ROBERTSON, Scott P.; OLSON, Gary M.; OLSON, Judith Reitman. Reaching through technology: CHI'91 conference proceedings. New York : Association for Computing Machinery, c1991. xviii, 511p. : ISBN (broch.) Ex Total de exemplares: 1 CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS 1996 :. Vancouver, Canada).; TAUBER, Michael J. Human factors in computing systems :: cammon ground : CHI96 Conference proceedings /. New York : Association for Computing Machinery, c p. : ISBN (broch.) Ex ,95214 Total de exemplares: 2 CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS 1992 :. Monterey, Estados Unidos).; BAUERSFELD, Penny.; BENNETT, John.; LYNCH, Gene.. SIGCHI(GROUP : U. S.). Conference proceedings /. Reading, Mass. : Addison-Wesley, c p. : ISBN X (broch.) Ex Total de exemplares: PROCESSAMENTO ELETRÔNICO DE DADOS - CONGRESSOS BIERMANN, Alan W.. ORGANIZAÇÃO DO TRATADO DO ATLANTICO NORTE Instituto de Estudos Avançados. Computer program synthesis methodologies :: proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981 /. Dordrecht : D. Reidel, c1983. ix, 374p. : ( (NATO advanced study institutes series. Series C : mathematical and physical sciences ; ; v.95).)) ISBN : (enc.) Ex Total de exemplares: 1

8 Pág INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE ; TECNOLOGIA DA INFORMAÇÃO TZSCHACH, H. G.,; WALDSCHMIDT, H.; WALTER, H. K.-G. Theoretical computer science : 3rd GI Conference, Darmstadt, March 28-30, 1977 /. Berlin : Springer, p. : ((Lecture notes in computer science, 48).)) ISBN : (broch.) Ex Total de exemplares: 1 BECVAR, J.,; SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE. (8. : :. Olomouc, Tchecoslovaquia). Mathematical foundations of computer science, 1979: proceedings. Berlin : Springer, p. : ((Lecture notes in computer science, v.74)) ISBN (broch.) Ex Total de exemplares: 1 DEMBINSKI, Piotr.; SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE. (9. : :. Rydzyna, Polonia). Mathematical foundations of computer science, 1980: proceedings of the 9th symposium, held in Rydzyna, Poland, September 1-5, Berlin : Springer, p. : ((Lecture notes in computer science, v.88)) ISBN X (broch.) Ex Total de exemplares: 1 GRUSKA, Josef,; CHYTIL, Michal,; SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE. (10. : :. Strbske Pleso, Tchecoslovaquia). Mathematical foundations of computer science, 1981: proceedings. Berlin : Springer, p. : ((Lecture notes in computer science, v.118)) ISBN (broch.) Ex Total de exemplares: 1 SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE 1984 :. Paris, França).; FONTET, M. (Max).; MEHLHORN, Kurt,. STACS 84 : [proceedings] /. Berlin : Springer, p. - ((Lecture notes in computer science, 166).)) ISBN : (broch.) Ex Total de exemplares: 1 SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE 1985 :. Saarbrucken, Alemanha).; MEHLHORN, Kurt,. STACS 85 : [proceedings] /. Berlin : Springer, p. - ((Lecture notes in computer science, 182).)) ISBN : (broch.) Ex Total de exemplares: 1 SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE. 3. : 1986 :. Orsay, França).; MONIEN, B. STACS 86 : [proceedings] /. Berlin : Springer, c p. - ((Lecture notes in computer science, 210).)) ISBN : (broch.) Ex Total de exemplares: 1 CHYTIL, Michal.; KOUBEK, Vaclav.; SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE. (11. : :. Praga, Tchecoslovaquia). Mathematical foundations of computer science 1984: proceedings. Berlin : Springer, p. - ((Lecture notes in computer science, 176)) ISBN (broch.) Ex Total de exemplares: 1

9 Pág INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE ; TECNOLOGIA DA INFORMAÇÃO INTERNATIONAL MEETING OF YOUNG COMPUTER SCIENTISTS. 4. : 1986 :. Smolenice, Tchecoslovaquia).; KELEMENOVA, Alica.; KELEMEN, Jozef. Trends, techniques, and problems in theoretical computer science: selected contributions. Berlin : Springer, p. - ((Lecture notes in computer science, v.281)) ISBN (Broch.) Ex Total de exemplares: 1 SOCIEDAD CHILENA DE CIENCIA DE LA COMPU TACION. Conferencia Internacional (9. : 1989 : Santiago de Chile).; TALLER DE INGENIERIA DE SISTEMAS. (12. : :. Santiago de Chile). IX Conferencia Internacional de la Sociedad Chilena de Ciencia de la Computacion = IX International Conference of the Chilean Computer Science Society [Y] XV Conferencia Latinoamericana de Informatica = XV Latin American Conferenc. Santiago : La Sociedad v. : Ex ,38818 Total de exemplares: 2 SOCIEDADE BRASILEIRA DE COMPUTAÇÃO Congresso : (9. : 1989 Uberlandia, MG); SOUZA, João Nunes de.; CONCURSO DE TESES E DISSERTAÇÕES. (2. : :. Uberlandia, MG). Anais... Rio de Janeiro: Sociedade Brasileira de Computação ; Uberlandia: Universidade Federal de Uberlandia, p. Ex Total de exemplares: 1 HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 22., 1989, Kailua-Kona, Havai. INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS Computer Society. Proceedings... Washington, D. C. : IEEE Computer Society v. : ISBN (broch.) Ex ,41211,41212,41213 Total de exemplares: 4 SOCIEDADE BRASILEIRA DE COMPUTAÇÃO Congresso : (10. : 1990 Vitória, ES); CONCURSO DE TESES E DISSERTAÇÕES. (3. : :. Vitoria, ES). Anais... Rio de Janeiro : Sociedade Brasileira de Computação, p. Ex Total de exemplares: 1 SYMPOSIUM ON THEORY OF COMPUTING. 3. : 1971 :. Ohio).. ASSOCIATION FOR COMPUTING MACHINERY Special Interest Group for Automata and Computability Theory. Conference Record of Third Annual ACM Symposium on Theory of Computing : papers presented at the Symposium Shaker Heights, Ohio May 3,4,5, New York : ACM c p. Ex Total de exemplares: 1 SYMPOSIUM ON THEORY OF COMPUTING. 10. : 1978 :. San Diego, Calif.).. ASSOCIATION FOR COMPUTING MACHINERY Special Interest Group for Automata and Computability Theory.. INSTITUTE OF ELECTRICAL. Conference Record of The Tenth Annual ACM Symposium on Theory of Computing : Papers presented at the Symposium San Diego, California May 1-3, New York : ACM c p. Ex Total de exemplares: 1

10 Pág INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE ; TECNOLOGIA DA INFORMAÇÃO BRAKHAGE, H.. GESELLSCHAFT FUR INFORMATIK.; CONFERENCE ON AUTOMATA THEORY AND FORMAL LANGUAGES. (2. : :. Gesellschaft fur Informatik). Automata theory and formal languages: 2nd GI Conference Kauserslautern, May 20-23, Berlin : Springer, p. - ((Lecture notes in computer science, 33)) ISBN (broch.) Ex Total de exemplares: 1 SYMPOSIUM ON THEORY OF COMPUTING. 11. : 1979 :. Atlanta, Ga.).. ASSOCIATION FOR COMPUTING MACHINERY Special Interest Group for Automata and Computability Theory.. INSTITUTE OF ELECTRICAL AND. Conference Record of The Eleventh Annual ACM Symposium on Theory of Computing : Papers presented at the Symposium Atlanta, Georgia April 30 - May 2, New York : ACM c p. Ex Total de exemplares: 1 SYMPOSIUM ON THEORY OF COMPUTING. 6. : 1974 :. Seattle, Estados Unidos).. ASSOCIATION FOR COMPUTING MACHINERY Special Interest Group for Automata and Computability Theory. Conference record of sixth annual ACM Symposium on Theory of Computing. -. New York : ACM c p. Ex Total de exemplares: 1 SYMPOSIUM ON THEORY OF COMPUTING. 1. : 1969 :. California).. ASSOCIATION FOR COMPUTING MACHINERY Special Interest Group for Automata and Computability Theory. Conference Record of ACM Symposium on Theory of Computing : papers presented at the Symposium Marina del Rey California May 5,6,7, New York : ACM p. Ex Total de exemplares: 1 SYMPOSIUM ON THEORY OF COMPUTING. 9. : 1977 :. Boulder, Colo.).. ASSOCIATION FOR COMPUTER MACHINERY. Special Interest Group for Automata and Computability Theory.. INSTITUTE OF ELECTRICAL AND. Conference Record of The Ninth Annual ACM Symposium on Theory of Computing : papers presented at the Symposium Boulder, Colorado May 2-4, New York : ACM c p. Ex Total de exemplares: 1 SYMPOSIUM ON THEORY OF COMPUTING. 8. : 1976 :. Hershey, Pa.).. ASSOCIATION FOR COMPUTING MACHINERY Special Interest Group for Automata and Computability Theory.. INSTITUTE OF ELECTRICAL AND E. Conference Record of The Eighth Annual ACM Symposium on Theory of Computing : papers presented at the Symposium Hershey, Pennsylvania May 3-5, New York : ACM c p. Ex Total de exemplares: 1 SYMPOSIUM ON THEORY OF COMPUTING. 7. : 1975 :. Albuquerque, Novo Mexico).. ASSOCIATION FOR COMPUTING MACHINERY Special Interest Group in Automata and Computability Theory. INSTITUTE OF ELECTR. Conference Record of Seventh Annual ACM Symposium on Theory of Computing : papers presented at the Symposium Albuquerque, New Mexico May 5 - May 7, New York : ACM c p. Ex Total de exemplares: 1

11 Pág INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE ; TECNOLOGIA DA INFORMAÇÃO SYMPOSIUM ON THEORY OF COMPUTING. 5. : 1973 :. Austin, Texas).. ASSOCIATION FOR COMPUTING MACHINERY Special Interest Group for Automata and Computability Theory. Conference Record of Fifth Annual ACM Symposium on Theory of Computing : pa pers presented at the Symposium Austin, Texas April 30 - May 2, New York : ACM c p. Ex Total de exemplares: 1 SYMPOSIUM ON THEORY OF COMPUTING. 4. : 1972 :. Denver, Colo.).. ASSOCIATION FOR COMPUTING MACHINERY Special Interest Group for Automata and Computability Theory. Conference Record Fourth Annual ACM Symposium on Theory of Computing : papers presented at the Symposium Denver, colorado May 1,2,3, New York : ACM p. Ex Total de exemplares: 1 SYMPOSIUM ON THEORY OF COMPUTING. 2. : 1970 :. Northampton, Mass.).. ASSOCIATION FOR COMPUTING MACHINERY Special Interest Group for Automata and Computability Theory. Conference Record of Second Annual ACM Symposium on Theory of Computing : papers presented at the Symposium Northampton, Massachusetts May 4,5,6, New York : ACM p. Ex Total de exemplares: 1 WORKING CONFERENCE ON MODELLING OF ENVIRONMENTAL SYSTEMS, 1976 :. Toquio, Japão).. ; KUNII, Tosiyasu,; KAYA, Yoichi, INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING Technical Committee 7 (Or. Preprints of IFIP Working Conference on Modelling of Environmental Systems, Tokyo, Japan, April 26-28, Tokyo : IBM Japan, p. : Ex Total de exemplares: 1 INTERNATIONAL SYMPOSIUM ON OPERATING SYSTEMS, 1974 :. Rocquencourt, França).. ; GELENBE, E.; KAISER, C. Operating Systems :: proceedings of an International Symposium /. Berlin : Springer, p. : ( (Lecture notes in computer science, ; v.16).)) ISBN X : (broch.) Ex ,46371 Total de exemplares: 2 SYMPOSIUM ON HIGH SPEED COMPUTER AND ALGORITHM ORGANIZATION 1977 :. University of Illinois).; KUCK, David J.; LAWRIE, Duncan.; SAMEH, Ahmed. High speed computer and algorithm organization : proceedings of the /. New York : Academic Press, p. : ISBN : (enc.) Ex Total de exemplares: 1 INTERNATIONAL CONFERENCE ON LOGIC, INFORMATICS, LAW, 3. : :. Florence).. ; MARTINO, Antonio Anselmo. Pre-proceedings of the III International Conference on Logica, Informatica, Diritto ::legal expert systems /. Florence : Consiglio Nazionale delle Ricerche v. : Ex ,48231,48232 Total de exemplares: 3

12 Pág INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE ; TECNOLOGIA DA INFORMAÇÃO CONGRESSO NACIONAL DE INFORMÁTICA, Rio de Janeiro, RJ. Anais... Rio de Janeiro : SUCESU, v. em 2. Ex ,49914 Total de exemplares: 2 SOCIEDADE BRASILEIRA DE COMPUTAÇÃO Congresso : (11. : 1991 Santos, SP); JORNADA DE ATUALIZAÇÃO EM INFORMATICA. (10. :. 1991:. Santos, SP),. Anais. Santos: A Sociedade, v. Ex ,53609 Total de exemplares: 2 SCHOOL OF COMPUTING 1990 :. Ysermonde, Belgica).. EUROPEAN ORGANIZATION FOR NUCLEAR RESEARCH. Proceedings. Geneva : European Organization for Nuclear Research, p. : ISBN : (broch.) Ex Total de exemplares: 1 SOCIEDADE BRASILEIRA DE COMPUTAÇÃO Congresso : (12. : 1992 Rio de Janeiro, RJ); CONCURSO DE TRABALHOS DE INICIAÇÃO CIENTIFICA. (11. : :. Rio de Janeiro, RJ). Anais. Rio de Janeiro: Sociedade Brasileira de Computação, p. Ex Total de exemplares: 1 JORNADAS ARGENTINAS DE INFORMATICA E INVESTIGACION OPERATIVA. 19. : 1990 :. Buenos Aires, Argentina).. SOCIEDAD ARGENTINA DE INFORMÁTICA E INVESTIGACIÓN OPERATIVA. ALIO (ORGANIZAÇÃO).; CONGRES. Trabajos seleccionados /. Buenos Aires : [s.n.], p. Ex Total de exemplares: 1 COMPCON, San Francisco, Estados Unidos. Intellectual leverage: the driving technologies : digest of papers. Los Alamitos, Calif. : IEEE Computer Society p. : ISBN (broch.) Ex Total de exemplares: 1 COMPCON, San Francisco, Estados Unidos. Intellectual leverage for the information society : digest of papers /. New York, N. Y. : IEEE Computer Society p. : Ex Total de exemplares: 1 CLICS WORKSHOP 1992 :. Aarhus University).; WINSKEL, G. (Glynn). Proceedings... Aarhus : Aarhus University, Computer Science Department, v. : Ex ,66059 Total de exemplares: 2 JORNADAS ARGENTINAS DE INFORMATICA E INVESTIGAÇÃO OPERATIVA, 22. : :. Buenos Aires, Argentina)... SOCIEDAD ARGENTINA DE INFORMÁTICA E INVESTIGACIÓN OPERATIVA.. Trabajos seleccionados /. Buenos Aires : Centro Latino Americano de Estudios en Informatica : SADIO v. Ex ,71591,71592 Total de exemplares: 3

13 Pág INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE ; TECNOLOGIA DA INFORMAÇÃO SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, Florianópolis, SC SOCIEDADE BRASILEIRA DE COMPUTAÇÃO; CONCURSO DE TESES E DISSERTAÇÕES. (6. : :. Florianopolis, SC). Anais. Florianópolis: Sociedade Brasileira de Computação, v. Ex ,71609,71610 Total de exemplares: 3 SEMANA DE INFORMATICA DA UFBA, 5. : :. Salvador, BA).. ; LOPES, Carlos A. S. Anais. Salvador: UFBA p. : Ex Total de exemplares: 1 ENCONTRO INTER-UNIVERSITARIO DE INFORMATICA DO PARANA. 1. : 1993 :. Curitiba, PR). Anais... Curitiba : Universidade Federal do Parana, Departamento de Informatica, p. : Ex Total de exemplares: 1 SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, Caxambu, MG UNIVERSIDADE FEDERAL DE MINAS GERAIS. DEPARTAMENTO DE CIENCIA DA COMPUTAÇÃO. SOCIEDADE BRASILEIRA DE COMPUTAÇÃO. SOCIEDADE B. Anais. Belo Horizonte: A Sociedade, p. Ex Total de exemplares: 1 CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK 1994:. Chapel Hill, Estados Unidos). Proceedings... New York : ACM Press, p. ISBN (Broch.) Ex Total de exemplares: 1 HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 28., 1995, Wailea, Havai. UNIVERSITY OF HAWAII AT MONOA.. UNIVERSITY OF HAWAII AT MANOA. College of Business Administration. Proceedings... Los Alamitos, Calif. : IEEE Computer Society Press, c v. : Ex ,88539,88540,88541,88542 Total de exemplares: 5 SYMPOSIUM ON THE THEORY OF COMPUTING. 25. : 1993 :. San Diego, Estados Unidos).. ASSOCIATION FOR COMPUTING MACHINERY Special Interest Group for Algorithms and Computation Theory. Proceeding of the twenty-fifth annual ACM Symposium on the Theory of Computing /. New York, NY : ACM c p. : ISBN (broch.) Ex Total de exemplares: 1 SYMPOSIUM ON THE THEORY OF COMPUTING. 26. : 1994 :. Montreal, Canada).. ASSOCIATION FOR COMPUTING MACHINERY Special Interest Group for Algorithms and Computation Theory. Proceedings... New York, NY : ACM c p. : ISBN (broch.) Ex Total de exemplares: 1

14 Pág INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE ; TECNOLOGIA DA INFORMAÇÃO SYMPOSIUM ON THE THEORY OF COMPUTING. 27. : 1995 :. Las Vegas, Estados Unidos).. ASSOCIATION FOR COMPUTING MACHINERY Special Interest Group for Algorithms and Computation Theory. Proceedings... New York, NY : ACM c p. ISBN (broch.) Ex Total de exemplares: 1 SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE. 36. : 1995 :. Milwaukee, Estados Unidos).. INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS Computer Society. Technical Committee on Mathematical. Proceedings... Los Alamitos, Calif. : IEEE Computer Society Press, c p. ISBN (broch.) Ex Total de exemplares: 1 SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE. 34. : 1993 :. Palo Alto, Estados Unidos).. INSTITUTO OF ELECTRICAL AND ELECTRONICS ENGINEERS. COMPUTER SOCIETY. Technical Committee on Mathematica. Proceedings... Los Alamitos, Calif. : IEEE Computer Society Press, c p. : ISBN (enc.) Ex Total de exemplares: 1 SYMPOSIUM ON THE THEORY OF COMPUTING. 24. : 1992 :. Victoria, Canada).. ASSOCIATION FOR COMPUTING MACHINERY Special Interest Group for Automata and Computability Theory. Proceedings... New York : ACM Press, c p. : ISBN (broch.) Ex Total de exemplares: 1 SYMPOSIUM ON THE THEORY OF COMPUTING. 28. : 1996 :. Philadelphia, Estados Unidos).. ASSOCIATION FOR COMPUTING MACHINERY Special Interest Group for Algorithms and Computation Theory. Proceedings... New York : ACM Press, c p. : ISBN (broch.) Ex Total de exemplares: 1 JORNADAS ARGENTINAS DE INFORMATICA E INVESTIGACION OPERATIVA, 25. :. 1996? :. Centro Cultural General San Martin)... SOCIEDAD ARGENTINA DE INFORMÁTICA E INVESTIGACIÓN OPERATIVA.. Trabajos seleccionados /. Buenos Aires : SADIO [1996?]. 503p. : Ex Total de exemplares: 1 ESCOLA DE INFORMÁTICA DA SBC-REGIÃO SUL, Caxias do Sul, RS SOCIEDADE BRASILEIRA DE COMPUTAÇÃO. Anais/ III Escola Regional de Informática. Caxias do Sul: Sociedade Brasileira de Computação, p. Ex Total de exemplares: 1 SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 23., 1996, Recife, PE ; BARROS, Roberto Souto Maior de.; CUNHA, Paulo Roberto Freire. UNIVERSIDADE FEDERAL DE PERNAMBUCO Departamento de Informática. Anais. Recife: Universidade Federal de Pernambuco, Departamento de Informatica, p. Ex Total de exemplares: 1

15 Pág INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE ; TECNOLOGIA DA INFORMAÇÃO ROVAN, B. (Branislav),; INTERNATIONAL SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE. (19. : :. Kosice, Eslovaquia). Theoretical computer science : selected papers from the 19th International Symposium on Mathematical Foundations of Computer Science /. Amsterdam : Elsevier, NÆo paginado Ex Total de exemplares: 1 SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE. 37. : 1996 :. Burlington, Estados Unidos).. INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS Computer Society.. INSTITUTE OF ELECTRICAL AND ELEC. Proceedings... Los Alamitos, Cal. : IEEE Computer Society Press, c p. : ISBN (broch.) Ex Total de exemplares: 1 SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE. 33. : 1992 :. Pittsburgh, Estados Unidos).. INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS. COMPUTER SOCIETY. Technical Committee on Mathematic. Proceedings... Los Alamitos, Calif. : IEEE Computer Society Press, c p. : ISBN (enc.) Ex Total de exemplares: 1 COURANT COMPUTER SCIENCE SYMPOSIUM, 5, 1971, New York, Estados Unidos ; RUSTIN, Randall. Design and optimization of compilers. Englewood Cliffs, N.J.: Prentice-Hall, c p. (Prentice-Hall series in automatic computation ) ISBN Ex Total de exemplares: INFORMÁTICA - ESTUDO E ENSINO CONGRESSO IBERO-AMERICANO DE EDUCAÇÃO SUPERIOR EM COMPUTAÇÃO. 2. : 1992 :. Rio de Janeiro, RJ). Anais... Rio de Janeiro : Sociedade Brasileira de Computação : Universidade Federal do Rio de Janeiro p. : Ex Total de exemplares: 1 WORKSHOP SOBRE EDUCAÇÃO EM COMPUTAÇÃO/INFORMATICA. 1. : 1993 :. Florianopolis, SC).. SOCIEDADE BRASILEIRA DE COMPUTAÇÃO Congresso : 7. : 1993 Florianópolis, SC). Anais. Porto Alegre: UFRGS, Instituto de Informática, p. Ex Total de exemplares: 1 WORKSHOP SOBRE EDUCAÇÃO EM INFORMATICA. 2. : Caxambu, MG).. UNIVERSIDADE FEDERAL DE MINAS GERAIS. DEPARTAMENTO DE CIENCIA DA COMPUTAÇÃO. SOCIEDADE BRASILEIRA DE COMPUTAÇÃO SOCIEDADE B. II Workshop sobre Educação em Informatica /. Belo Horizonte : A Sociedade, v. : Ex ,86570 Total de exemplares: 2

16 Pág INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE ; TECNOLOGIA DA INFORMAÇÃO WORKSHOP SOBRE EDUCAÇÃO EM INFORMATICA. 4. : 1996 :. Recife, PE).; SALGADO, Ana Carolina. UNIVERSIDADE FEDERAL DE PERNAMBUCO Departamento de Informática SOCIEDADE BRASILEIRA DE COMPUTAÇÃO. Anais. Recife: Universidade Federal de Pernambuco, Departamento de Informatica, v. Ex Total de exemplares: INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE PROJETO ESTRA : reunião de trabalho : coletanea de resultados de pesquisas, outubro/1988, abril São Paulo : SID Informatica, v. : Ex ,36455,36456,36457 Total de exemplares: INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE BROY, M.,; SCHMIDT, Gunther,. ORGANIZAÇÃO DO TRATADO DO ATLÂNTICO NORTE; MARKTOBERDORF SUMMER SCHOOL ON THEORETICAL FOUNDATIONS OF PROGRAMMING METHODOLOGY (1981).. Theoretical foundations of programming methodology /. Dordrecht : D. Reidel, c1982. xiii, 658p. : ( (NATO advanced study institutes series. Series C : mathematical and physical sciences ; ; v.91).)) ISBN : (enc.) Ex Total de exemplares: 1 RANDELL, Brian,. The Origins of digital computers : selected papers /. Berlin : Springer, c p. : ISBN : (enc.) Ex Total de exemplares: 1 DIJKSTRA, Edsger Wybe,.. Selected writings on computing: a personal perspective. New York : Springer, c1982. xvii, 362p. - ISBN : (enc.) Ex Total de exemplares: INFORMÁTICA-HISTÓRIA GOLDBERG, Adele. A history of personal workstations /. Reading, Mass. : Addison-Wesley, c p. : ISBN (enc.) Ex Total de exemplares: POLÍTICA DE INFORMÁTICA - BRASIL EVANS, Peter B.,; FRISCHTAK, Claudio Roberto.; TIGRE, Paulo Bastos,. A Informatica brasileira em transição : politica governamental e tendencias internacionais nos anos 90 : conferencia internacional /. Rio de Janeiro : Universidade Federal do Rio de Janeiro, Instituto de Economia Industrial, p. Ex Total de exemplares: 1

17 Pág INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE ; TECNOLOGIA DA INFORMAÇÃO ROSENTHAL, David. Os primeiros 15 anos da Politica Nacional de Informatica : o paradigma e sua implementação /. Brasilia, DF : CNPq ; Recife, PE : PROTEM, c p. Ex Total de exemplares: ALPHA (SISTEMA DE COMPUTADOR); COMPUTADORES DE QUARTA GERAÇÃO; LANG-PACK (SISTEMA DE COMPUTADOR); MONTAGEM (COMPUTADORES); SISTEMAS DIGITAIS; SPSS (SISTEMA DE COMPUTADOR) WAGNER, Flavio Rech.; ESCOLA DE COMPUTAÇÃO : (6. : 1988 Campinas, SP). Metodos de validação de sistemas digitais. Campinas: UNICAMP, p. Ex Total de exemplares: SUPERCOMPUTADORES CHORAFAS, Dimitris N.,; STEINMANN, Heinrich,. Supercomputers /. New York : McGraw-Hill, Inc p. ISBN (enc.) Ex Total de exemplares: 1 SEMINARIO DE SUPERCOMPUTAÇÃO APLICADA 1994 :. Porto Alegre, RS).. CENTRO NACIONAL DE SUPERCOMPUTAÇÃO (BRASIL).. UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL. Anais. Porto Alegre : Centro Nacional de Supercomputação, p. : Ex Total de exemplares: BURROUGHS B1726 (COMPUTADOR); IBM 1130 (COMPUTADOR); IBM 1401 (COMPUTADOR); IBM 1130 (COMPUTADOR); IBM 1401 (COMPUTADOR) ORGANICK, Elliott Irving,; HINDS, James A. Interpreting machines : Architecture and programming of the B1700/B1800 series /. New York : North-Holland, c p.: ISBN : (enc.) Ex Total de exemplares: INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE HARTMANN, Alfred C.,. A concurrent PASCAL compiler for minicomputers /. Berlin : Springer, p. : ((Lecture notes in computer science, v.50).)) ISBN : (broch.) Ex Total de exemplares: MICROCOMPUTADORES DIGITAIS ; MICROPROCESSADORES LIN, Wen C. Microprocessors : fundamentals & applications /. New York : The Institute of Electrical and Electronics Engineers c p. : ISBN : (broch.) Ex Total de exemplares: 1

18 Pág INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE ; TECNOLOGIA DA INFORMAÇÃO MCS-85TM user's manual. -. Santa Clara, Calif. : INTEL v. (varias paginações) : Ex Total de exemplares: 1 MCS-86TM user's manual. -. Santa Clara, Calif. : INTEL v. (varias paginações) : Ex Total de exemplares: 1 BOWEN, B. A.; BUHR, R. J. A. The logical design of multiple-microprocessor systems /. Englewood Cliffs : Prentice-Hall, c p. - ISBN : (Broch.) Ex Total de exemplares: 1 PAKER, Yakup. Multi-microprocessor systems. London : Academic Press, c p. : ISBN (enc.) Ex Total de exemplares: COMPUTAÇÃO MÓVEL ; APPLE (COMPUTADOR) ; CAP (COMPUTADOR) ; COMMODORE 64 (COMPUTADOR); CP 500 (MICROCOMPUTADOR); IBM PERSONAL COMPUTER; INTEL 8086 (MICROPROCESSADOR); INTEL 8088 (MICROPROCESSADOR); INTEL 8089 (MICROPROCESSADOR); MACINTOSH (COMPUTADOR) INSIDE Macintosh. -. Reading, Mass. : Addison-Wesley, c v. : Ex ,28174,28175 Total de exemplares: 3 APPLE COMPUTER, INC.. Macintosh human interfaces guidelines. -. Reading, Mass. : Addison-Wesley, c p. : ISBN (broch.) Ex Total de exemplares: TOLERÂNCIA A FALHA (COMPUTAÇÃO) SIMPÓSIO DE COMPUTADORES TOLERANTES A FALHAS, 5., 1993, São José dos Campos, SP. Anais. São Jose dos Campos : INPE, iii, 305p. : Ex Total de exemplares: 1 SIMPÓSIO DE COMPUTADORES TOLERANTES A FALHAS, 7., 1997, Campina Grande, PB ; PORTO, Ingrid E. S. Jansch. Anais. Porto Alegre : UFRGS, Instituto de Informatica, xiii, 401p. Ex Total de exemplares: INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE

19 Pág INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE ; TECNOLOGIA DA INFORMAÇÃO INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, 14th : :. Kissimmee, Estados Unidos).. Digest of papers /. Kissimmee, Fla. : IEEE, Computer Society, xix, 444p. ISBN : (broch.) Ex Total de exemplares: ANÁLISE DE SISTEMAS; MÉTODO HIPO; PROJETO DE SISTEMAS; SISTEMAS DE TEMPO DISCRETO MCMENAMIN, Stephen M.,; PALMER, John F.,. Essential systems analysis /. New York : Yourdon Press, c p. ISBN : (broch.) Ex Total de exemplares: 1 WARD, Paul T.. Systems development without pain : a user's guide to modeling organizational patterns / Paul T. Ward ; foreword by Edward Yourdon. -. New York : Yourdon Press, c1984. xiii, 269p. : ISBN : (enc.) Ex Total de exemplares: 1 KENDALL, Penny A.,. Introduction to systems analysis and design : a structured approach /. Dubuque, Iowa : WCB, c p. : ISBN : (enc.) Ex Total de exemplares: 1 FAURRE, Pierre.; DEPEYROT, Michel. Elements of system theory /. Amsterdam : North-Holland, p. ISBN : (enc.) Ex Total de exemplares: 1 COUGER, J. Daniel,; KNAPP, Robert W.,. System analysis techniques /. New York : Wiley c p. : ISBN : (enc.) Ex Total de exemplares: 1 MESAROVIC, Mihajlo D.; MACKO, D.; TAKAHARA, Yasuhiko,. Theory of hierarchical, multilevel, systems /. New York : Academic Press, c p. - Ex Total de exemplares: 1 FENTON, Norman E.,; HILL, Gillian. Systems construction and analysis : a mathematical and logical framework /. London : McGraw-Hill, Inc. c p. : ISBN (broch.) Ex Total de exemplares: 1 ASHWORTH, Caroline,; GOODLAND, Mike,. SSADM : a practical approach /. London : McGraw-Hill, Inc. c p. : ISBN (broch.) Ex Total de exemplares: 1

20 Pág INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE ; TECNOLOGIA DA INFORMAÇÃO YOURDON, INC.. YOURDON Systems Method : model-driven systems development /. Englewood Cliffs, N. J. : Yourdon Press, c p. : ISBN (enc.) Ex Total de exemplares: 1 WAGNER, Flavio Rech.; ESCOLA DE COMPUTAÇÃO : (9. : 1994 Recife, PE). Ambientes de projeto de sistemas eletrônicos. Recife: Universidade Federal de Pernambuco, Departamento de Informatica, p. Ex ,83192 Total de exemplares: 2 DOLAN, Alan.; ALDOUS, Joan. Networks and algorithms : an introductory approach /. Chichester : J. Wiley, c p. : ISBN (broch.) Ex Total de exemplares: 1 YOURDON, Edward. Modern structured analysis /. Englewood Cliffs : Yourdon, c p. : ISBN (enc.) Ex Total de exemplares: 1 JACKSON, M. A.,. System development /. New Jersey : Prentice-Hall, Inc p. : ISBN : (Broch.) Ex Total de exemplares: ANÁLISE DE SISTEMAS - CONGRESSOS WORKSHOP ON SOFTWARE FACTORIES AND ADA 1986 :. Capri, Italia).; HABERMANN, A. Nico,; MONTANARI, U. (Ugo).. CONSORZIO PER LE RICERCHE E LE APPLICAZIONI DI INFORMATICA (ITALIA). System development and Ada: proceedings. Berlin : Springer, c1987. NÆo paginado ((Lecture notes in computer science, 275)) ISBN (broch.) Ex Total de exemplares: ARQUITETURA DE COMPUTADOR; COMPUTADORES - CIRCUITOS; ORGANIZAÇÃO DE COMPUTADOR HWANG, Kai.; BRIGGS, Faye A. (Faye Alaye).. Computer architecture and parallel processing /. New York : McGraw Hill c1984. xvii, 846p. : ISBN : (enc.) Ex Total de exemplares: 1 STONE, Harold S.,. High-performance computer architecture /. Repr. with corr. - Reading, Mass. : Addison-Wesley, p. ISBN : (enc.) Ex Total de exemplares: 1

UNIVERSIDADE PRESBITERIANA MACKENZIE Faculdade de Computação e Informática MATRIZ CURRICULAR ELETIVAS

UNIVERSIDADE PRESBITERIANA MACKENZIE Faculdade de Computação e Informática MATRIZ CURRICULAR ELETIVAS MATRIZ CURRICULAR S LIVRE ESCOLHA Núcleo Temático: HUMANAS Disciplina: LÍNGUA BRASILEIRA DE SINAIS 34 h/a (.34 ) Teóricas Etapa: 4ª Compreensão de aspectos composicionais da Língua Brasileira de Sinais

Leia mais

Europass Curriculum Vitae

Europass Curriculum Vitae Europass Curriculum Vitae Personal information Surname(s) / First name(s) Address(es) Custódio, Jorge Filipe Telephone(s) +351 919687707 Email(s) Personal website(s) Nationality(-ies) Rua Francisco Pereira

Leia mais

IN0997 - Redes Neurais

IN0997 - Redes Neurais IN0997 - Redes Neurais Aluizio Fausto Ribeiro Araújo Universidade Federal de Pernambuco Centro de Informática - CIn Departamento de Sistemas da Computação aluizioa@cin.ufpe.br Conteúdo Objetivos Ementa

Leia mais

http://www.analog.com/library/analogdialogue/archives.html http://www.ascilite.org.au/ajet/about/ajet-arcs-a.html

http://www.analog.com/library/analogdialogue/archives.html http://www.ascilite.org.au/ajet/about/ajet-arcs-a.html ACADEMIC OPEN INTERNET JOURNAL http://www.acadjournal.com/ ACTA MATHEMATICA ACADEMIAE PAEDAGOGICAE NYIREGYHAZIENSIS http://www.emis.de/journals/amapn/index.html ADVANCES IN MULTIMEDIA http://www.hindawi.com/journals/am/

Leia mais

8 Bibliografia. ACEAUME, E. et al. On The Formal Specification of Group Membership Services. INRIA, 1995, 15 p. Relatório Técnico TR95-1534.

8 Bibliografia. ACEAUME, E. et al. On The Formal Specification of Group Membership Services. INRIA, 1995, 15 p. Relatório Técnico TR95-1534. Bibliografia 88 8 Bibliografia ACEAUME, E. et al. On The Formal Specification of Group Membership Services. INRIA, 1995, 15 p. Relatório Técnico TR95-1534. AMBRIOLA, V.; TORTORA, G. Advances in Software

Leia mais

UNIVERSIDADE PRESBITERIANA MACKENZIE Faculdade de Computação e Informática. 7th SEMESTER

UNIVERSIDADE PRESBITERIANA MACKENZIE Faculdade de Computação e Informática. 7th SEMESTER SEMESTER Curriculum Component: Degree only (X) Common to school ( ) Universal ( ) DISTRIBUTED INFRASTRUCTURE 04 h/a (02) Online TECHNOLOGY AND INFRASTRUCTURE Fundamentals of Distributed Systems: models,

Leia mais

Universidade do Minho. Escola de Engenharia. UC transversais Programas Doutorais 1º semestre 2012-13. 11 de outubro 2012

Universidade do Minho. Escola de Engenharia. UC transversais Programas Doutorais 1º semestre 2012-13. 11 de outubro 2012 Universidade do Minho Escola de Engenharia UC transversais Programas Doutorais 1º semestre 2012-13 11 de outubro 2012 1 2 2 courses offered in the first semestre: Métodos de Investigação em Engenharia

Leia mais

CURRICULUM - VITAE FERNANDO WAGNER SERPA VIEIRA DA SILVA

CURRICULUM - VITAE FERNANDO WAGNER SERPA VIEIRA DA SILVA CURRICULUM - VITAE FERNANDO WAGNER SERPA VIEIRA DA SILVA DADOS PESSOAIS Fernando Wagner Serpa Vieira da Silva Nascimento: 1 de novembro de 1972 Filiação: Luiz Fernando Coda Vieira da Silva e Leila Maria

Leia mais

Fatores de Impacto para alguns Periódicos Base JCR-2003 /ISI 1

Fatores de Impacto para alguns Periódicos Base JCR-2003 /ISI 1 Fatores de Impacto para alguns Periódicos Base JCR-2003 /ISI 1 O Journal Citation Reports (JCR) publica anualmente o índice conhecido por fator de impacto de um periódico para medir a freqüência com que

Leia mais

Gestão de Projectos de Software - 1

Gestão de Projectos de Software - 1 Gestão de Projectos de Software Licenciaturas de EI / IG 2012/2013-4º semestre msantos@ispgaya.pt http://paginas.ispgaya.pt/~msantos Gestão de Projectos de Software - 1 Objectivos da Disciplina de Gestão

Leia mais

Pontifícia Universidade Católica do Rio Grande do Sul FACULDADE DE INFORMÁTICA

Pontifícia Universidade Católica do Rio Grande do Sul FACULDADE DE INFORMÁTICA DEPARTAMENTO: Fundamentos da Computação CURSO: Bacharelado em Sistemas de Informação DISCIPLINA: Fundamentos da Computação CÓDIGO: 4610H CRÉDITOS: 04 CARGA HORÁRIA: 60 horas-aula VALIDADE: a partir de

Leia mais

Curso de Programação Distribuída e Paralela

Curso de Programação Distribuída e Paralela Curso de Programação Distribuída e Paralela Revisão de Tópicos Cláudio Geyer. Programação distribuída e paralela (C. Geyer) Revisão Tópicos 1 Tópicos e Conceitos Tópicos e Conceitos programação concorrente,

Leia mais

SISTEMAS DISTRIBUIDOS E PARALELOS 2014/2015 1º SEMESTRE

SISTEMAS DISTRIBUIDOS E PARALELOS 2014/2015 1º SEMESTRE SISTEMAS DISTRIBUIDOS E PARALELOS 2014/2015 1º SEMESTRE Objectivos da Disciplina Desenvolver competências técnicas e científicas na área dos sistemas distribuídos e paralelos. Compreender o conceito de

Leia mais

UFCG Universidade Federal de Campina Grande. A cooperação entre Universidades e Empresas estimulada pela Lei de Informática: Resultados

UFCG Universidade Federal de Campina Grande. A cooperação entre Universidades e Empresas estimulada pela Lei de Informática: Resultados UFCG Universidade Federal de Campina Grande A cooperação entre Universidades e Empresas estimulada pela Lei de Informática: Resultados Brasília, 03 de dezembro de 2003 Sumário Apresentação Estrutura Parceiros

Leia mais

Erik Joey Hanashiro. Qualificação de Mestrado. Orientação: Prof. Dr. Henrique Mongelli. Área de Concentração: Algoritmos Paralelos

Erik Joey Hanashiro. Qualificação de Mestrado. Orientação: Prof. Dr. Henrique Mongelli. Área de Concentração: Algoritmos Paralelos Título da Publicação Erik Joey Hanashiro Qualificação de Mestrado Orientação: Prof. Dr. Henrique Mongelli Área de Concentração: Algoritmos Paralelos Monografia apresentada como requisito da qualificação

Leia mais

LISTA DE TEMAS PARA CONCURSO DE PROFESSOR ADJUNTO EDITAL 90/2010 ÁREA DE ANATOMIA VEGETAL GERAL, COM ÊNFASE EM ANATOMIA ECOLÓGICA * * * * * *

LISTA DE TEMAS PARA CONCURSO DE PROFESSOR ADJUNTO EDITAL 90/2010 ÁREA DE ANATOMIA VEGETAL GERAL, COM ÊNFASE EM ANATOMIA ECOLÓGICA * * * * * * ÁREA DE ANATOMIA VEGETAL GERAL, COM ÊNFASE EM ANATOMIA ECOLÓGICA 1. Sistema de formação. 2. Sistema de revestimento (de proteção). 3. Tecidos fundamentais (parênquima, colênquima e esclerênquima). 4. Sistema

Leia mais

UNIVERSIDADE ESTADUAL DO OESTE DO PARANÁ PRÓ-REITORIA DE GRADUAÇÃO. PLANO DE ENSINO - PERÍODO LETIVO/ANO 2008 ANO DO CURSO: 5 o

UNIVERSIDADE ESTADUAL DO OESTE DO PARANÁ PRÓ-REITORIA DE GRADUAÇÃO. PLANO DE ENSINO - PERÍODO LETIVO/ANO 2008 ANO DO CURSO: 5 o UNIVERSIDADE ESTADUAL DO OESTE DO PARANÁ PRÓ-REITORIA DE GRADUAÇÃO PLANO DE ENSINO - PERÍODO LETIVO/ANO 2008 ANO DO CURSO: 5 o Curso: Informática Modalidade: Bacharelado Turno: Integral Centro: Centro

Leia mais

UNIVERSIDADE PRESBITERIANA MACKENZIE Faculdade de Computação e Informática EMENTAS DA 3ª. ETAPA

UNIVERSIDADE PRESBITERIANA MACKENZIE Faculdade de Computação e Informática EMENTAS DA 3ª. ETAPA EMENTAS DA 3ª. ETAPA Núcleo Temático: PROGRAMAÇÃO Disciplina: ESTRUTURA DE DADOS 108 há ( 72 ) Teóricas ( 36 ) Práticas Tipos abstratos de dados. Estudo das estruturas lineares: pilhas, filas e listas

Leia mais

PLANO DE ENSINO. CURSOS: Licenciatura em Computação, Licenciatura em Matemática, Licenciatura. MODALIDADE: Presencial

PLANO DE ENSINO. CURSOS: Licenciatura em Computação, Licenciatura em Matemática, Licenciatura. MODALIDADE: Presencial UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO Rua Dom Manoel de Medeiros, s/n Dois Irmãos. 52171-900. Recife-PE. Fone: 81 3320.6040 proreitor@preg.ufrpe.br PLANO DE ENSINO

Leia mais

Curriculum Vitae. Dados Pessoais. Interesses de Investigação. Formação Complementar

Curriculum Vitae. Dados Pessoais. Interesses de Investigação. Formação Complementar Sérgio Miguel Fernandes IST/INESC-ID R. Alves Redol 9 Sala 608 1000-029 Lisboa PORTUGAL Sergio.Fernandes@ist.utl.pt http://fenix.ist.utl.pt/homepage/ist14264 Curriculum Vitae Dados Pessoais Nome Completo:

Leia mais

SWEBOK. Guide to the Software Engineering Body Of Knowledge. Teresa Maciel tmmaciel@gmail.com DEINFO/UFRPE

SWEBOK. Guide to the Software Engineering Body Of Knowledge. Teresa Maciel tmmaciel@gmail.com DEINFO/UFRPE SWEBOK Guide to the Engineering Body Of Knowledge Teresa Maciel tmmaciel@gmail.com DEINFO/UFRPE 1 Iniciativa do IEEE (Institute of Electrical and Electronics Engineers) Computer Society. (www.ieee.org)

Leia mais

Curriculum Vitae de Ricardo Morla

Curriculum Vitae de Ricardo Morla Curriculum Vitae de Ricardo Morla Curriculum Vitae de Ricardo Santos Morla Identificação Ricardo Santos Morla Unidades a que pertence Telecomunicações Departamento de Engenharia Electrotécnica e de Computadores

Leia mais

USO DOS CONCEITOS DE INTERAÇÃO HUMANO-COMPUTADOR NO DESENVOLVIMENTO WEB PARA EDUCAÇÃO A DISTÂNCIA

USO DOS CONCEITOS DE INTERAÇÃO HUMANO-COMPUTADOR NO DESENVOLVIMENTO WEB PARA EDUCAÇÃO A DISTÂNCIA Discutindo a visibilidade da EaD Pública no Brasil USO DOS CONCEITOS DE INTERAÇÃO HUMANO-COMPUTADOR NO DESENVOLVIMENTO WEB PARA EDUCAÇÃO A DISTÂNCIA Priscilla Márcia Scarpelli Bastos 1, Diogo Marcos de

Leia mais

M O D E L O E U R O P E U D E

M O D E L O E U R O P E U D E M O D E L O E U R O P E U D E C U R R I C U L U M V I T A E INFORMAÇÃO PESSOAL Nome Morada MANUEL DIAS FERREIRA LIMA, RUI 50, Rua José Maria Rodrigues, 4710-080 BRAGA, Gualtar, PORTUGAL Telefone +351 939741239

Leia mais

PLANO DE ENSINO. ATIVIDADE SEG TER QUA QUI SEX Aulas 10-12 10-12 Atendimento 13-16 13-16 Preparação de aula 14-16 14-16

PLANO DE ENSINO. ATIVIDADE SEG TER QUA QUI SEX Aulas 10-12 10-12 Atendimento 13-16 13-16 Preparação de aula 14-16 14-16 PLANO DE ENSINO 1. IDENTIFICAÇÃO Disciplina: Introdução a Otimização Combinatória Código: ICC500 Turma: CB01 URL: http://ioc-ufam.weebly.com Nº de Créditos: 4.4.0 Ano: 2015 Semestre: 1 Carga horária: 60h

Leia mais

Introdução à Programação

Introdução à Programação Introdução à Programação Tecnologias e Design de Multimédia 1º Ano, 1º Semestre Jorge Alexandre de Albuquerque Loureiro E-mail: jloureiro@di.estv.ipv.pt url: www.estv.ipv.pt/paginaspessoais/jloureiro Escola

Leia mais

UNIVERSIDADE PRESBITERIANA MACKENZIE Faculdade de Computação e Informática EMENTAS DAS DISCIPLINAS OPTATIVAS II

UNIVERSIDADE PRESBITERIANA MACKENZIE Faculdade de Computação e Informática EMENTAS DAS DISCIPLINAS OPTATIVAS II EMENTAS DAS DISCIPLINAS 1 FACUL DADE DE COMPUTAÇÃO E INFORMATICA MODELAGEM DE NEGÓCIOS ( 68) Teóricas Desenvolvimento do conceito e as tipologias de estrutura organizacional. Análise estrutural e requisitos

Leia mais

UNIVERSIDADE PRESBITERIANA MACKENZIE Faculdade de Computação e Informática EMENTAS DAS DISCIPLINAS OPTATIVAS I

UNIVERSIDADE PRESBITERIANA MACKENZIE Faculdade de Computação e Informática EMENTAS DAS DISCIPLINAS OPTATIVAS I EMENTAS DAS DISCIPLINAS 1 FACUL DADE DE COMPUTAÇÃO E INFORMATICA NEGÓGIOS GOVERNANÇA DE TECNOLOGIA DA INFORMAÇÃO ( 68) Teóricas Etapa: 7ª ( ) Práticas Interpretação de Governança e estratégia organizacional:

Leia mais

LINGUAGENS DE PROGRAMAÇÃO PROGRAMA E BIBLIOGRAFIA

LINGUAGENS DE PROGRAMAÇÃO PROGRAMA E BIBLIOGRAFIA LINGUAGENS DE PROGRAMAÇÃO PROGRAMA E BIBLIOGRAFIA Mariza A. S. Bigonha e Roberto S. Bigonha UFMG 13 de setembro de 2004 Todos os direitos reservados Proibida cópia sem autorização do autor OBJETIVOS DO

Leia mais

Uma Linguagem Específica de Domínio com Geração de Código Paralelo para Visualização de Grandes Volumes de Dados

Uma Linguagem Específica de Domínio com Geração de Código Paralelo para Visualização de Grandes Volumes de Dados Uma Linguagem Específica de Domínio com Geração de Código Paralelo para Visualização de Grandes Volumes de Dados Cleverson Ledur, Dalvan Griebler, Luiz Gustavo Fernandes, Isabel Manssour Pontifícia Universidade

Leia mais

A Reestruturação da Licenciatura em Engenharia Informática de 2013. Junho de 2013

A Reestruturação da Licenciatura em Engenharia Informática de 2013. Junho de 2013 A Reestruturação da Licenciatura em Engenharia Informática de 2013 Junho de 2013 1. Introdução Como todas as grandes licenciaturas do IST, a Licenciatura em Engenharia Informática e de Computadores (LEIC)

Leia mais

Pontifícia Universidade Católica do Rio Grande do Sul FACULDADE DE INFORMÁTICA

Pontifícia Universidade Católica do Rio Grande do Sul FACULDADE DE INFORMÁTICA DEPARTAMENTO: Fundamentos da Computação CURSO: Bacharelado em Ciência da Computação DISCIPLINA: Sistemas Embarcados CÓDIGO: 4613R CRÉDITOS: 04 CARGA HORÁRIA: 60 horas-aula VALIDADE: a partir de 2008/2

Leia mais

Campo Grande - MS. Endereço: Sala C110 Bloco C - UCDB Fone: 0xx67 312-3502 Web Sit e: www.gp ec.ucdb.b r

Campo Grande - MS. Endereço: Sala C110 Bloco C - UCDB Fone: 0xx67 312-3502 Web Sit e: www.gp ec.ucdb.b r GPEC - Grupo de Pesquisa em Engenharia e Computação Prof. Dr. Hemerson Pistori Junho/2004 Campo Grande - MS SUMÁRIO Introdução Equipe Linhas de Pesquisa Projetos Parcerias Estrutura Publicações Conclusões

Leia mais

Amilcar Soares Junior Curriculum Vitae

Amilcar Soares Junior Curriculum Vitae Amilcar Soares Junior Curriculum Vitae Contact Information Name Amilcar Soares Junior Birthday 19/05/1986 - João Pessoa/PB Brazil Email amilcarsj@gmail.com Address Rua Sebastião Azevedo Bastos, nº 714,

Leia mais

REFERÊNCIAS BIBLIOGRÁFICAS

REFERÊNCIAS BIBLIOGRÁFICAS REFERÊNCIAS BIBLIOGRÁFICAS Bakker, M. P. R. Cartografia: noções básicas. Rio de Janeiro: Ministério da Marinha - Diretoria de Hidrografia e Navegação, 1965. 242p. Burrough, P.A. Principles of geographical

Leia mais

V CADERNO TEMÁTICO QUALIDADE NOS SERVIÇOS

V CADERNO TEMÁTICO QUALIDADE NOS SERVIÇOS Pesquisa no Catálogo Bibliográfico Palavra-chave: Certificação BARATA, Manuel Lopes - O impacto da certificação na performance das empresas : ISO 9000. Lisboa : ISCTE, 2001. pag. var.. - Tese de mestrado

Leia mais

Universidade do Estado da Bahia UNEB Departamento de Ciências Exatas e da Terra - Campus I

Universidade do Estado da Bahia UNEB Departamento de Ciências Exatas e da Terra - Campus I Metodologia de Desenvolvimento de Sistemas II/CPD025 Conceitos orientação a objetos. Evolução das técnicas de modelagem orientadas a objetos. Estrutura da linguagem UML. Conceito de processo interativo

Leia mais

JOHNSON, Gerry; SCHOLES, Kevan; WHITTINGTON, Richard.Exploring corporate strategy: text & cases. 8.ed. England: Prentice-Hall, 2008.881 p : il.

JOHNSON, Gerry; SCHOLES, Kevan; WHITTINGTON, Richard.Exploring corporate strategy: text & cases. 8.ed. England: Prentice-Hall, 2008.881 p : il. BSP Especializados BSP - Especializados JOHNSON, Gerry; SCHOLES, Kevan; WHITTINGTON, Richard.Exploring corporate strategy: text & cases. 8.ed. England: Prentice-Hall, 2008.881 p : il. UNIDADE: Morumbi

Leia mais

Redes e Serviços Internet

Redes e Serviços Internet Universidade da Beira Interior Departamento de Informática 2009/2010 Redes e Serviços Internet Joel J. P. C. Rodrigues (joel@ubi.pt) Licenciatura em: - Engenharia Informática Conteúdo Programático Aspectos

Leia mais

Curriculum Vitae de Jorge Miguel Sousa Barreiros

Curriculum Vitae de Jorge Miguel Sousa Barreiros Curriculum Vitae de Jorge Miguel Sousa Barreiros Dezembro 2007 1. Identificação Data de Nascimento: 21/03/1974 Morada: Rua do Pinhal de Marrocos, 231, 3º, 3030-201 Coimbra Contacto: jmsousa@isec.pt 2.

Leia mais

Mediadores de Interação na Web: Acessibilidade Baseada em Gente

Mediadores de Interação na Web: Acessibilidade Baseada em Gente 1 Mediadores de Interação na Web: Acessibilidade Baseada em Gente Clarisse Sieckenius de Souza SERG - Semiotic Engineering Research Group Departamento de Informática, PUC-Rio clarisse@inf.puc-rio.br http://www.serg.inf.puc-rio.br

Leia mais

Ficha da Unidade Curricular

Ficha da Unidade Curricular ESCOLA SUPERIOR DE TECNOLOGIA E GESTÃO DE FELGUEIRAS CURSO Licenciatura em Engenharia Informática U.C. ENGENHARIA DE SOFTWARE I Ficha da Unidade Curricular Horas presenciais / Ano 56 Ano Lectivo 2010 /

Leia mais

Autor 1 Orientador: 1. dia de mês de ano

Autor 1 Orientador: 1. dia de mês de ano Título Autor 1 Orientador: 1 1 Laboratório de Sistemas de Computação Universidade Federal de Santa Maria dia de mês de ano Roteiro Introdução Fundamentação Desenvolvimento Resultados Conclusão e Trabalhos

Leia mais

2º Ciclo em: Engenharia Informática Design e Desenvolvimento de Jogos Digitais DI UBI 2014/2015

2º Ciclo em: Engenharia Informática Design e Desenvolvimento de Jogos Digitais DI UBI 2014/2015 ANIMATION & VIRTUAL REALITY 2º Ciclo em: Engenharia Informática Design e Desenvolvimento de Jogos Digitais DI UBI 2014/2015 Contacts! Docente (Teacher): Frutuoso Silva! Gabinete (Office): 3.18 (Bloco VI

Leia mais

1. Benjamin, B. S., Structures for Architects, Van Nostrand Reinhold, 2nd edition, New York, 1984.

1. Benjamin, B. S., Structures for Architects, Van Nostrand Reinhold, 2nd edition, New York, 1984. Bibliografia 1. Benjamin, B. S., Structures for Architects, Van Nostrand Reinhold, 2nd edition, New York, 1984. 2. Berger, H., Light Structures, Structures of Light: The Art and Engineering of Tensile

Leia mais

Teoria da Prova e da Programação

Teoria da Prova e da Programação Teoria da Prova e da Programação Departamento de Informática Universidade da Beira Interior Ano lectivo 2011/2012 Esta página no formato pdf, no formato ps 1 Novidades Primeira versão da página. Encontrará

Leia mais

Bibliografia referente ao artigo Gestão baseada no valor, Isabel Ribeiro de Carvalho, Revista TOC, Fevereiro 2008

Bibliografia referente ao artigo Gestão baseada no valor, Isabel Ribeiro de Carvalho, Revista TOC, Fevereiro 2008 Bibliografia referente ao artigo Gestão baseada no valor, Isabel Ribeiro de Carvalho, Revista TOC, Fevereiro 2008 Bibliografía BREALEY, Richard A.; MYERS, Stewart C. - Princípios de Finanças Empresariais.

Leia mais

UNIVERSIDADE PRESBITERIANA MACKENZIE Faculdade de Computação e Informática. 7 a ETAPA

UNIVERSIDADE PRESBITERIANA MACKENZIE Faculdade de Computação e Informática. 7 a ETAPA 7 a ETAPA MODELAGEM E SIMULAÇÃO 02 h/a (00) Sala de aula (02) Laboratório (00) EaD FUNDAMENTOS DE COMPUTAÇÃO ENEX01015 Estabelecimento dos conceitos de aleatoriedade e de fenômenos aleatórios. Fundamentação

Leia mais

Universidade Federal de Pernambuco

Universidade Federal de Pernambuco Universidade Federal de Pernambuco GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO CENTRO DE INFORMÁTICA 201 1. 2 Sistema de Gestão de Processos de Negócio Baseado em Modelos Declarativos Proposta de Trabalho de Graduação

Leia mais

Uma arquitetura baseada em agentes de software para a automação de processos de gerênciadefalhasemredesde telecomunicações

Uma arquitetura baseada em agentes de software para a automação de processos de gerênciadefalhasemredesde telecomunicações Adolfo Guilherme Silva Correia Uma arquitetura baseada em agentes de software para a automação de processos de gerênciadefalhasemredesde telecomunicações Dissertação de Mestrado Dissertação apresentada

Leia mais

Materiais: Leituras/Vídeos

Materiais: Leituras/Vídeos Pontifícia Universidade Católica do Rio Grande do Sul Faculdade de Informática - Teoria da Computação profa. Beatriz R. Tavares Franciosi - 2015/II Materiais: Leituras/Vídeos Bibliografia básica 1. HOPCROFT,

Leia mais

A Cloud Computing Architecture for Large Scale Video Data Processing

A Cloud Computing Architecture for Large Scale Video Data Processing Marcello de Lima Azambuja A Cloud Computing Architecture for Large Scale Video Data Processing Dissertação de Mestrado Dissertation presented to the Postgraduate Program in Informatics of the Departamento

Leia mais

Instituto Superior de Economia e Gestão

Instituto Superior de Economia e Gestão Universidade écnica de Lisboa Instituto Superior de Economia e Gestão Departamento de Gestão MBA Ano Lectivo: 2003/2004 Sistemas de Decisão (2º rimestre) Sistemas de Decisão Docente: Prof. Doutor António

Leia mais

10. Referências Bibliográficas

10. Referências Bibliográficas 10. Referências Bibliográficas ANDRADE, N. F. A., Dimensionamento Plástico para Vigas e Lajes de concreto Armado, Dissertação de Mestrado, PUC, Rio de Janeiro, Brasil, 1992. AMERICAN CONCRETE INSTITUTE,

Leia mais

Um modelo para o gerenciamento de múltiplos projetos de software aderente ao CMMI

Um modelo para o gerenciamento de múltiplos projetos de software aderente ao CMMI Universidade Federal de Pernambuco Graduação em Ciência da Computação Centro de Informática Um modelo para o gerenciamento de múltiplos projetos de software aderente ao CMMI PROPOSTA DE TRABALHO DE GRADUAÇÃO

Leia mais

UNIVERSIDADE ESTADUAL PAULISTA CAMPUS DE BAURU FACULDADE DE ARQUITETURA, ARTES E COMUNICACAO DE BAURU

UNIVERSIDADE ESTADUAL PAULISTA CAMPUS DE BAURU FACULDADE DE ARQUITETURA, ARTES E COMUNICACAO DE BAURU Nível: Histórico: Mestrado/Doutorado Código Capes: DES00012 Docente(s) Responsável(eis): Prof. Dr. JOAO FERNANDO MARAR Situação Ativa Dt. Aprovação 05/12/2013 Dt. Desativação Créditos 8 CH. Total CH. Teórica

Leia mais

KDD E MINERAÇÃO DE DADOS:

KDD E MINERAÇÃO DE DADOS: KDD E MINERAÇÃO DE DADOS: Introdução e Motivação Prof. Ronaldo R. Goldschmidt ronaldo@de9.ime.eb.br rribeiro@univercidade.br geocities.yahoo.com.br/ronaldo_goldschmidt Fatos: Avanços em TI e o crescimento

Leia mais

Pesquisa e Formação de Recursos Humanos em Segurança da Informação PROF. DR. RAUL CERETTA NUNES UNIVERSIDADE FEDERAL DE SANTA MARIA

Pesquisa e Formação de Recursos Humanos em Segurança da Informação PROF. DR. RAUL CERETTA NUNES UNIVERSIDADE FEDERAL DE SANTA MARIA Pesquisa e Formação de Recursos Humanos em Segurança da Informação PROF. DR. RAUL CERETTA NUNES UNIVERSIDADE FEDERAL DE SANTA MARIA Sumário Formação em Nível Superior e sua Regulação Denominações de Cursos

Leia mais

Pontifícia Universidade Católica do Rio de Janeiro Pergamum - Sistema Integrado de Bibliotecas RELATÓRIO DE MATERIAL POR LOCALIZAÇÃO HISTÓRICO

Pontifícia Universidade Católica do Rio de Janeiro Pergamum - Sistema Integrado de Bibliotecas RELATÓRIO DE MATERIAL POR LOCALIZAÇÃO HISTÓRICO Pág.: 1 000 - GENERALIDADES HENNESSY, John L.; PATTERSON, David A. Arquitetura de computadores: uma abordagem quantitativa. Rio de Janeiro: Campus, c2003. xxxiii, 827 p. ISBN 8535211101 Classificação :

Leia mais

Curriculum Vitae Francisca Guedes de Oliveira

Curriculum Vitae Francisca Guedes de Oliveira Curriculum Vitae Francisca Guedes de Oliveira Identificação Pessoal Nome: Francisca Rodrigues Sarmento Guedes de Oliveira Data de Nascimento: 29 de Setembro de 1973 Estado Civil: Casada, 3 filhos Morada

Leia mais

Análise do impacto de operações de live migration em ambientes de computação em nuvem Workshop MoDCS 2012.2

Análise do impacto de operações de live migration em ambientes de computação em nuvem Workshop MoDCS 2012.2 Análise do impacto de operações de live migration em ambientes de computação em nuvem Workshop MoDCS 2012.2 Matheus D'Eça Torquato de Melo (mdetm@cin.ufpe.br) Paulo Maciel (prmm@cin.ufpe.br) 12 Roteiro

Leia mais

PROGRAMA. Curso: Mestrado em Educação e Comunicação Multimédia. diurno. Ciclo: 2º. pós-laboral. Ano: 1º Semestre: 1º

PROGRAMA. Curso: Mestrado em Educação e Comunicação Multimédia. diurno. Ciclo: 2º. pós-laboral. Ano: 1º Semestre: 1º PROGRAMA Ciclo: 2º Curso: Mestrado em Educação e Comunicação Multimédia diurno pós-laboral Ano: 1º Semestre: 1º Unidade Curricular: FUNDAMENTOS DE LÓGICA E ALGORITMOS DE PROGRAMAÇÃO Código: Departamento:

Leia mais

9. Referências Bibliográficas

9. Referências Bibliográficas 9. Referências Bibliográficas ABENGE, Propostas de Diretrizes Curriculares para a Educação em Engenharia no Brasil, Brasília: ABENGE, 1998. ARANHA, J., Pimenta-Bueno, J. A, Scavarda do Carmo, L. C., da

Leia mais

ECOSSISTEMAS DE SOFTWARE

ECOSSISTEMAS DE SOFTWARE ECOSSISTEMAS DE SOFTWARE MODELOS E REUTILIZAÇÃO EM ECOSSISTEMAS DE SOFTWARE Alunos: Felyppe Rodrigues da Silva (Mestrado) Gabriella Castro Barbosa Costa (Doutorado) Professor: Toacy Cavalcante de Oliveira

Leia mais

IACC NA International Association of Color Consultants/ Designers North America IACC Academy - IACC Education Accreditation Program

IACC NA International Association of Color Consultants/ Designers North America IACC Academy - IACC Education Accreditation Program RELATÓRIO DE VIAGEM Destino: San Diego, Estados Unidos IACC NA International Association of Color Consultants/ Designers North America IACC Academy - IACC Education Accreditation Program João Carlos de

Leia mais

Alterações em Bibliografias de disciplinas do Bacharelado em Matemática

Alterações em Bibliografias de disciplinas do Bacharelado em Matemática Alterações em Bibliografias de disciplinas do Bacharelado em Matemática Complementação da Bibliografia de Cálculo Numérico : RUGGIERO, M.A.G. e LOPES, V.L.R. Cálculo Numérico, Aspectos Teóricos e Computacionais.

Leia mais

INSTITUTO HL7 BRASIL Brazilian Affiliate - HL7.ORG RELATÓRIO DE GESTÃO

INSTITUTO HL7 BRASIL Brazilian Affiliate - HL7.ORG RELATÓRIO DE GESTÃO RELATÓRIO DE GESTÃO 2007 2010 Diretoria - Gestão 2007 2010 Presidente : Marivan Santiago Abrahão Secretário : Eduardo Pereira Marques Tesoureiro : Claudio Giulliano Alves da Costa Conselho Fiscal Lincoln

Leia mais

Área de Avaliação: ARQUITETURA E URBANISMO

Área de Avaliação: ARQUITETURA E URBANISMO LOGIN Selecione o tipo de detalhamento da pesquisa: Por Titulo do Periódico Por Classificação / Área de Avaliação Por ISSN do Periódico Área de Avaliação Qualidade Circulação Área de Avaliação: ARQUITETURA

Leia mais

Critérios para Apoiar a Decisão Sobre o Momento de Parada dos Testes de Software

Critérios para Apoiar a Decisão Sobre o Momento de Parada dos Testes de Software Critérios para Apoiar a Decisão Sobre o Momento de Parada dos Testes de Software Victor Vidigal Ribeiro Guilherme Horta Travassos {vidigal, ght}@cos.ufrj.br Agenda Introdução Resultados da revisão Corpo

Leia mais

Sistemas de Informação

Sistemas de Informação 5º semestre Licenciatura de EI 2011/2012 msantos@ispgaya.pt cramos@ispgaya.pt / Carlos Ramos 1 Objectivos da Disciplina de Sistemas de Informação da Licenciatura de EI Complementar a formação em bases

Leia mais

Segurança e Escalabilidade em WebLab no Domínio de Redes de Computadores

Segurança e Escalabilidade em WebLab no Domínio de Redes de Computadores Segurança e Escalabilidade em WebLab no Domínio de Redes de Computadores Autor: Daniel Vieira de Souza 1, Orientador: Luís Fernando Faina 1 1 Programa de Pós-Graduação em Ciência da Computação Universidade

Leia mais

Uma arquitetura de Cloud Computing para análise de Big Data proveniente da Internet of Things

Uma arquitetura de Cloud Computing para análise de Big Data proveniente da Internet of Things UNIVERSIDADE FEDERAL DE PERNAMBUCO Graduação em Engenharia da Computação Centro de Informática Uma arquitetura de Cloud Computing para análise de Big Data proveniente da Internet of Things Aluno: Diogo

Leia mais

Curso de Engenharia Formação Geral 1º e 2º anos

Curso de Engenharia Formação Geral 1º e 2º anos Curso de Engenharia Formação Geral 1º e 2º anos DISCIPLINA 1º Bimestre Introdução à Engenharia 40 Informática 40 Matemática 80 Produção de Textos 40 2º Bimestre Cálculo I 80 Física I 80 Inglês 20 Metodologia

Leia mais

RELATÓRIO DE PRODUÇÃO DOS PARTICIPANTES EXTERNOS

RELATÓRIO DE PRODUÇÃO DOS PARTICIPANTES EXTERNOS PLATAFORMA SUCUPIRA Emitido em 08/10/2014 às 11:18 Portal do Coordenador RELATÓRIO DE PRODUÇÃO DOS PARTICIPANTES EXTERNOS Instituição de Ensino: UNIVERSIDADE FEDERAL DE GOIÁS (UFG) Programa: CIÊNCIA DA

Leia mais

Produção Bibliográfica

Produção Bibliográfica Ano Base 1999 Área de Avaliação CIÊNCIA DA COMPUTAÇÃO Área Básica CIÊNCIA DA COMPUTAÇÃO 1.03.00.00-7 Instituição UFRN - UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE (RN) Programa SISTEMAS E COMPUTAÇÃO 23001011022P-9

Leia mais

8 Referências bibliográficas

8 Referências bibliográficas 8 Referências bibliográficas ACIONISTA.COM.BR. Disponível em: . Acesso em: 28 ago. 2011. ANP (AGÊNCIA NACIONAL DE PETRÓLEO, GÁS NATURAL E BIOCOMBUSTÍVEIS). Disponível em: .

Leia mais

Acta n.º 1 1. PROVA DE CONHECIMENTOS

Acta n.º 1 1. PROVA DE CONHECIMENTOS Concurso interno com vista ao preenchimento de 1 posto de trabalho na carreira (não revista) de Especialista de Informática, categoria de especialista de informática dos graus 1 ou 2, níveis 1 ou 2, do

Leia mais

Curso de Engenharia. Formação Geral 1º e 2º anos

Curso de Engenharia. Formação Geral 1º e 2º anos Curso de Engenharia Formação Geral 1º e 2º anos DISCIPLINA 1º Bimestre Introdução à Engenharia Informática Matemática Produção de Textos 2º Bimestre Cálculo I Física I Inglês Metodologia Científica 3º

Leia mais

Arquitetura de computadores

Arquitetura de computadores Arquitetura de computadores Docentes Teóricas: Helder Daniel Práticas: Amine Berquia Horas de contacto: 30 T 30 P Horas de trabalho: 168 ECTS: 6 Conteúdo História: do IAS (1946) at e o CRAY T3E (1996)

Leia mais

UNIVERSIDADE LUSÍADA DE LISBOA. Programa da Unidade Curricular SISTEMAS DISTRIBUÍDOS Ano Lectivo 2012/2013

UNIVERSIDADE LUSÍADA DE LISBOA. Programa da Unidade Curricular SISTEMAS DISTRIBUÍDOS Ano Lectivo 2012/2013 Programa da Unidade Curricular SISTEMAS DISTRIBUÍDOS Ano Lectivo 2012/2013 1. Unidade Orgânica Ciências da Economia e da Empresa (1º Ciclo) 2. Curso Informática 3. Ciclo de Estudos 1º 4. Unidade Curricular

Leia mais

2 Forum PTPC. 21 de Fevereiro de 2013

2 Forum PTPC. 21 de Fevereiro de 2013 2 Forum PTPC 21 de Fevereiro de 2013 O GTBIM Misso e Macro-objetivos objetivos Constituiço Parceria com o BIMFórum Portugal Comunicaço Plano de Trabalhos Workshop Nacional BIM BIMClub Universidades Projeto

Leia mais

PRÓ - REITORIA ACADÊMICA PLANO DE ENSINO

PRÓ - REITORIA ACADÊMICA PLANO DE ENSINO 1 de 12 18/2/2011 14:45 CURSO: CIÊNCIA DA COMPUTAÇÃO - MANHÃ DISCIPLINA: SISTEMAS DISTRIBUÍDOS PROFESSOR(a): VALDERI REIS QUIETINHO LEITHARDT ANO/SEMESTRE: 2011/1 CARGA HORÁRIA: 60 Horas PRÓ - REITORIA

Leia mais

Usabilidade e Ergonomia. Usabilidade de Software. Ergonomia. Usabilidade. Ergonomia (International Ergonomics Association em 2000)

Usabilidade e Ergonomia. Usabilidade de Software. Ergonomia. Usabilidade. Ergonomia (International Ergonomics Association em 2000) Usabilidade e Ergonomia Usabilidade de Software INF01043 Interação Homem-Computador 2006/2 Ergonomia (International Ergonomics Association em 2000) Ergonomics (or human factors) is the scientific discipline

Leia mais

http://www.ppg.uem.br/docs/ctf/tecnologia/acta%20scientiarum%20-%20technology.htm

http://www.ppg.uem.br/docs/ctf/tecnologia/acta%20scientiarum%20-%20technology.htm ABCM ENGENHARIA http://www.abcm.org.br/engenharia/index.shtml ACTA POLYTECHNICA http://web.cvut.cz/ctu/publishing/acta-r.html ACTA SCIENTIARUM. TECHNOLOGY http://www.ppg.uem.br/docs/ctf/tecnologia/acta%20scientiarum%20-%20technology.htm

Leia mais

Listagem de Periódicos e Sites Turismo

Listagem de Periódicos e Sites Turismo Listagem de Periódicos e Sites Turismo Periódicos Nacionais Instituição Periodicidade Publicação Laboratório de Tecnologia e Desenvolvimento Social - COPPE/UFRJ http://www.ivt-rj.net/caderno/ Caderno Virtual

Leia mais

7 Referências Aspectos Ambientais dos Escorregamentos em Áreas Urbanas. Regulative and Constitutive Norms in Normative Multiagent Systems

7 Referências Aspectos Ambientais dos Escorregamentos em Áreas Urbanas. Regulative and Constitutive Norms in Normative Multiagent Systems 7 Referências AMARAL, C.; FEIJO, R. Aspectos Ambientais dos Escorregamentos em Áreas Urbanas. Reflexões sobre a Geografia Física no Brasil. [S.l.], p. 193-224. 2004. BOELLA, G.; TORRE, L. V. D. Regulative

Leia mais

Dependabilidade em Sistemas Computacionais

Dependabilidade em Sistemas Computacionais Dependabilidade em Sistemas Computacionais 1 Objetivo Dependabilidade (do termo Dependability em inglês) é a propriedade que define a capacidade dos sistemas computacionais de prestar um serviço que se

Leia mais

Arquitectura de Sistemas Paralelos e Distribuídos

Arquitectura de Sistemas Paralelos e Distribuídos Docentes Arquitectura de Sistemas Paralelos e Distribuídos 0. Introdução Prof. Paulo Marques Dep. Eng. Informática, Univ. Coimbra pmarques@dei.uc.pt Prof. Luís Silva Dep. Eng. Informática, Univ. Coimbra

Leia mais

Organização da Disciplina Controle de Processos 2

Organização da Disciplina Controle de Processos 2 Organização da Disciplina Controle de Processos 2 Ronaldo Guimarães Corrêa Departamento de Engenharia Química Universidade Federal de São Carlos 1 o Sem. 2019 Organização da Disciplina (CP2) www.professores.deq.ufscar.br/ronaldo/cp2

Leia mais

1. ARMENGOL, M.C. (1987). Universidad sin classes. Educación a distância en América Latina. Caracas:OEA-UNA-Kepelus

1. ARMENGOL, M.C. (1987). Universidad sin classes. Educación a distância en América Latina. Caracas:OEA-UNA-Kepelus 44 45 1. ARMENGOL, M.C. (1987). Universidad sin classes. Educación a distância en América Latina. Caracas:OEA-UNA-Kepelus 2. BATES, A. W. (1995). Technology, open learning and distance education. London:

Leia mais

UNIVERSIDADE LUSÍADA DE LISBOA. Programa da Unidade Curricular SISTEMAS DISTRIBUIDOS Ano Lectivo 2015/2016

UNIVERSIDADE LUSÍADA DE LISBOA. Programa da Unidade Curricular SISTEMAS DISTRIBUIDOS Ano Lectivo 2015/2016 Programa da Unidade Curricular SISTEMAS DISTRIBUIDOS Ano Lectivo 2015/2016 1. Unidade Orgânica Ciências da Economia e da Empresa (1º Ciclo) 2. Curso Engenharia Informática 3. Ciclo de Estudos 1º 4. Unidade

Leia mais

Um Exemplo de Monografia do Instituto de Informática da UFRGS

Um Exemplo de Monografia do Instituto de Informática da UFRGS UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTAÇÃO FRITZ GUTENBERG FLAUMANN Um Exemplo de Monografia do Instituto de Informática da UFRGS Dissertação

Leia mais

Classificação: Determinístico

Classificação: Determinístico Prof. Lorí Viali, Dr. viali@pucrs.br http://www.pucrs.br/famat/viali/ Da mesma forma que sistemas os modelos de simulação podem ser classificados de várias formas. O mais usual é classificar os modelos

Leia mais

Universidade*Nove*de*Julho*1*UNINOVE* Programa*de*Mestrado*Profissional*em*Administração* *Gestão*em*Sistemas*de*Saúde*

Universidade*Nove*de*Julho*1*UNINOVE* Programa*de*Mestrado*Profissional*em*Administração* *Gestão*em*Sistemas*de*Saúde* UniversidadeNovedeJulho1UNINOVE ProgramadeMestradoProfissionalemAdministração GestãoemSistemasdeSaúde Disciplina ProjetosComplexoseEstratégicosAplicadosàSaúde Códigodadisciplina GSEL04 Linhadepesquisa

Leia mais

Ficha da Unidade Curricular

Ficha da Unidade Curricular ESCOLA SUPERIOR DE TECNOLOGIA E GESTÃO DE FELGUEIRAS CURSO Licenciatura em Engenharia Informática U.C. SISTEMAS DE INFORMAÇÃO Ficha da Unidade Curricular Horas presenciais / Ano 56 Ano Lectivo 2010 / 2011

Leia mais

UNIVERSIDADE PRESBITERIANA MACKENZIE

UNIVERSIDADE PRESBITERIANA MACKENZIE Unidade Universitária Escola de Engenharia Curso Engenharia Mecânica Disciplina Computação, Algoritmos e Programação I Professor(es) Sergio Vicente Denser Pamboukian Lincoln Cesar Zamboni Melanie Lerner

Leia mais

Curriculum. I - Pós-Graduação

Curriculum. I - Pós-Graduação Prof. Dr. Anselmo Guerra de Almeida Coordenador de Pós-graduação e Pesquisa Escola de Música - Universidade Federal de Goiás - Campus II Caixa Postal 131, CEP 74001-970 Goiânia, GO tel.: (062) 8211022,

Leia mais

I Seminário dos Grupos de Pesquisa da UNISC Ficha de Inscrição do Grupo de Pesquisa. Nome do Grupo: GPSEM Grupo de Projeto de Sistemas Embarcados e

I Seminário dos Grupos de Pesquisa da UNISC Ficha de Inscrição do Grupo de Pesquisa. Nome do Grupo: GPSEM Grupo de Projeto de Sistemas Embarcados e I Seminário dos Grupos de Pesquisa da UNISC Ficha de Inscrição do Grupo de Pesquisa Nome do Grupo: GPSEM Grupo de Projeto de Sistemas Embarcados e Microeletrônica Área: Sistemas de Computação Nome do Líder:

Leia mais

Organização de Computadores 2005/2006

Organização de Computadores 2005/2006 Organização de Computadores 2005/2006 Paulo Ferreira paf a dei.isep.ipp.pt Fevereiro de 2006 Informação 2 Docentes..................................................................... 3 Avaliação.....................................................................

Leia mais

Faculty of Law, University of Oporto a Invited Assistant Law Department, Lusíada

Faculty of Law, University of Oporto a Invited Assistant Law Department, Lusíada 1. Former activity and actual situation a Associate Professor a Assistant Professor Faculty of Law, New University of Lisbon Faculty of Law, New University of Lisbon a Invited Professor Assistant Faculty

Leia mais