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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Especificação de Testes Funcionais usando Redes de Petri a Objetos para Softwares Orientados a Objetos

Especificação de Testes Funcionais usando Redes de Petri a Objetos para Softwares Orientados a Objetos Especificação de Testes Funcionais usando Redes de Petri a Objetos para Softwares Orientados a Objetos Autor(a): Liliane do Nascimento Vale 1 Orientador: Stéphane Júlia 1 1 Universidade Federal de Uberlândia

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

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

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 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

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

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

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

Sistema de Apoio ao Ensino de Modelagem de Software Uma extensão para o editor de programação BlueJ

Sistema de Apoio ao Ensino de Modelagem de Software Uma extensão para o editor de programação BlueJ IV Encontro de Pesquisa PUCSP/TIDD 2011 Sistema de Apoio ao Ensino de Modelagem de Software. Uma extensão para o editor de programação BlueJ Autor: Luciano Gaspar - E-mail: tigaspar@hotmail.com Orientador:

Leia mais

Table 1. Dados do trabalho

Table 1. Dados do trabalho Título: Desenvolvimento de geradores de aplicação configuráveis por linguagens de padrões Aluno: Edison Kicho Shimabukuro Junior Orientador: Prof. Dr. Paulo Cesar Masiero Co-Orientadora: Prof a. Dr. Rosana

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

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

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

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

Faculdade de Ciências e Tecnologia/ Faculty of Sciences and Technology. Licenciatura em Design e Multimédia/1st Cycle in Design and Multimedia 6.

Faculdade de Ciências e Tecnologia/ Faculty of Sciences and Technology. Licenciatura em Design e Multimédia/1st Cycle in Design and Multimedia 6. Faculdade de Ciências e Tecnologia/ Faculty of Sciences and Technology Código/ Code Nome disciplina/ Course unit name Ano/Year Sem. ECTS Curso/ Degree programme Obs. 00760 Design e Comunicação/Design and

Leia mais

Projeto de Pesquisa. Título: Criptografia de Chave Pública sem Certificado

Projeto de Pesquisa. Título: Criptografia de Chave Pública sem Certificado Projeto de Pesquisa Título: Criptografia de Chave Pública sem Certificado Proponentes: Denise Hideko Goya Routo Terada (orientador) Instituição: Departamento de Ciência da Computação Instituto de Matemática

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 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

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

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

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

Programação com Objetos Distribuídos Apresentação

Programação com Objetos Distribuídos Apresentação Programação com Objetos Distribuídos Apresentação Programação com Objetos Distribuídos (C. Geyer) Apresentação 1 Autoria Autor Local C. Geyer Instituto de Informática UFRGS disciplina : Programação com

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

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

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

Uso da Computação Por Intervalos para Cálculo de Ponto Fixo de um Mapa Discreto

Uso da Computação Por Intervalos para Cálculo de Ponto Fixo de um Mapa Discreto Proceeding Series of the Brazilian Society of Computational and Applied Mathematics Uso da Computação Por Intervalos para Cálculo de Ponto Fixo de um Mapa Discreto Heitor Magno Rodrigues Junior 1 Programa

Leia mais

Universidade do Estado de Santa Catarina/Centro de Ciências Tecnológicas UDESC/CCT

Universidade do Estado de Santa Catarina/Centro de Ciências Tecnológicas UDESC/CCT Universidade do Estado de Santa Catarina/Centro de Ciências Tecnológicas UDESC/CCT DCC - Departamento de Ciência da Computação Curso: BCC Bacharelado em Ciência da Computação Disciplina: OSRC001 Segurança

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

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

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

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

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

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

O Problema do k-servidor

O Problema do k-servidor Autor: Mário César San Felice Orientador: Orlando Lee 22 de março de 2010, IC-Unicamp Estrutura A seguir temos a estrutura geral da dissertação. Otimização combinatória Computação online Análise competitiva

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

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

Aluna do ultimo ano da Licenciatura de Artes Plásticas da Universidade da Madeira

Aluna do ultimo ano da Licenciatura de Artes Plásticas da Universidade da Madeira Identificação Nome: Ana Isabel Torres Garcia Portugal de Almada Cardoso Data de Nascimento: 1949, a quinze de Fevereiro Naturalidade: Santo António dos Olivais, Coimbra, Portugal. Bilhete de Identidade

Leia mais

Disciplina de IHC na graduação

Disciplina de IHC na graduação 1 Aula 1 Interação Humano-Computador (com foco em métodos de pesquisa) Prof. Dr. Osvaldo Luiz de Oliveira 2 Disciplina de IHC na graduação Engenharia da interação: design e avaliação. Como fazer: técnicas,

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

Uma Análise Crítica dos Desafios para Engenharia de Requisitos em Manutenção de Software

Uma Análise Crítica dos Desafios para Engenharia de Requisitos em Manutenção de Software Uma Análise Crítica dos Desafios para Engenharia de Requisitos em Manutenção de Software Rodrigo Santos de Espindola, Azriel Majdenbaum, Jorge Luiz Nicolas Audy Programa de Pós-Graduação em Ciência da

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

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

Programação de Computadores em C

Programação de Computadores em C Programação de Computadores em C Primeira edição Carlos Camarão Universidade Federal de Minas Gerais Doutor em Ciência da Computação pela Universidade de Manchester, Inglaterra Lucília Figueiredo Universidade

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

Uma Ferramenta para Projeto de Sistemas de Diálogos para Call Center Baseados em Asterisk

Uma Ferramenta para Projeto de Sistemas de Diálogos para Call Center Baseados em Asterisk Uma Ferramenta para Projeto de Sistemas de Diálogos para Call Center Baseados em Asterisk Estillac Borges Filho 1, Pedro Batista 1 e Aldebaro Klautau 1 1 Laboratório de Processamento de Sinais Universidade

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

Programação Orientada a Objetos

Programação Orientada a Objetos Stream de Dados + Pipe & Filter André Santanchè Laboratory of Information Systems LIS Instituto de Computação UNICAMP Maio 2015 Picture by Moyan Brenn [http://www.flickr.com/photos/aigle_dore/6225536653/]

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

Modelagem de Arquiteturas Organizacionais de TI Orientadas a Serviços

Modelagem de Arquiteturas Organizacionais de TI Orientadas a Serviços Modelagem de Arquiteturas Organizacionais de TI Orientadas a Serviços João Paulo A. Almeida Núcleo de Estudos em Modelagem Conceitual e Ontologias (NEMO) Departamento de Informática Universidade Federal

Leia mais

ESCOLA SUPERIOR DE TECNOLOGIA E GESTÃO DE FELGUEIRAS

ESCOLA SUPERIOR DE TECNOLOGIA E GESTÃO DE FELGUEIRAS Curricular Unit Plan ESCOLA SUPERIOR DE TECNOLOGIA E GESTÃO DE FELGUEIRAS CURSO Licenciatura em Engenharia Informática U.C. GESTÃO DE PROJECTOS INFORMÁTICOS Horas presenciais / Ano 56 Ano Lectivo 2010

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

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

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

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

Aplicação da Técnica de Análise Object Modeling Technique (OMT) ao Problema da IFIP. por. Guillermo Bustos Reinoso

Aplicação da Técnica de Análise Object Modeling Technique (OMT) ao Problema da IFIP. por. Guillermo Bustos Reinoso Universidade Federal do Rio Grande do Sul Instituto de Informática Curso de Pós-Graduação em Ciência da Computação Aplicação da Técnica de Análise Object Modeling Technique (OMT) ao Problema da IFIP por

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

Escalonamento Online em Grades

Escalonamento Online em Grades Escalonamento Online em Grades Milson Monteiro Universidade de São Paulo Introdução ao Escalonamento e Aplicações Agenda 1 Introdução 2 Modelo 3 Aproximabilidade 4 Escalonamento de Lista 5 Algoritmo de

Leia mais

PROGRAMA NACIONAL DE COOPERAÇÃO ACADÊMICA-PROCAD NOVAS FRONTEIRAS EDITAL PROCAD NF 21/2009 FORMULÁRIO DE INSCRIÇÃO DE PROJETO

PROGRAMA NACIONAL DE COOPERAÇÃO ACADÊMICA-PROCAD NOVAS FRONTEIRAS EDITAL PROCAD NF 21/2009 FORMULÁRIO DE INSCRIÇÃO DE PROJETO 1/20 FUNDAÇÃO CAPES DIRETORIA DE PROGRAMAS E BOLSAS NO PAÍS COORDENAÇÃO GERAL DE PROGRAMAS ESTRATÉGICOS/CGPE COORDENAÇÃO DE PROGRAMAS ESPECIAIS/CPE PROGRAMA NACIONAL DE COOPERAÇÃO ACADÊMICA-PROCAD NOVAS

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

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

PROPOSTA DE MODELAGEM DE UM SISTEMA FLEXÍVEL DE MANUFATURA CENTRADO EM ROBÔ UTILIZANDO REDES DE PETRI

PROPOSTA DE MODELAGEM DE UM SISTEMA FLEXÍVEL DE MANUFATURA CENTRADO EM ROBÔ UTILIZANDO REDES DE PETRI PROPOSTA DE MODELAGEM DE UM SISTEMA FLEXÍVEL DE MANUFATURA CENTRADO EM ROBÔ UTILIZANDO REDES DE PETRI FLAVIO PIECHNICKI (PUC) fpiechnicki@gmail.com Os avanços tecnológicos e o aumento da complexidade dos

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

Marta Becker Villamil Curriculum Vitae

Marta Becker Villamil Curriculum Vitae Marta Becker Villamil Curriculum Vitae Dados Pessoais Nome Marta Becker Villamil Endereço residencial Rua Martin Lutero, 178 Morro do Espelho - São Leopoldo 93030120, RS - Brasil Telefones: 51 35683007

Leia mais

Paralelização do Algoritmo Backpropagation em Clusters de Estações de Trabalho

Paralelização do Algoritmo Backpropagation em Clusters de Estações de Trabalho Proceedings of IV Brazilian Conference on Neural Networks - IV Congresso Brasileiro de Redes Neurais pp. 888-999, July 20-22, 1999 - ITA, São José dos Campos - SP - Brazil Paralelização do Algoritmo Backpropagation

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

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

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

CURRICULUM VITAE. Carolina Maria Guimarães Pinto Dias. Objetivo

CURRICULUM VITAE. Carolina Maria Guimarães Pinto Dias. Objetivo 1 CURRICULUM VITAE Carolina Maria Guimarães Pinto Dias Objetivo Aulas de língua inglesa e trabalhos escritos de: tradução (inglês para português) e versão (português para inglês) e correção de textos em

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

2 o Ciclo Matemática Aplicada - Matemática Actuarial

2 o Ciclo Matemática Aplicada - Matemática Actuarial 2 o Ciclo Matemática Aplicada - Matemática Actuarial 17 de Julho de 2006 1 Estrutura proposta 7 o Semestre Designação Área Científica T TP P ECTS Matemática Financeira Matemática - 4-6 Actuariado Vida

Leia mais

Course Computer Science Academic year 2012/2013 Subject Social Aspects of Computers ECTS 5

Course Computer Science Academic year 2012/2013 Subject Social Aspects of Computers ECTS 5 Course Computer Science Academic year 2012/2013 Subject Social Aspects of Computers ECTS 5 Type of course Compulsory Year 2º Semester 2nd sem Student Workload: Professor(s) Natalia Gomes, Ascensão Maria

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

ECTS Total Horas de contacto semestral 4 T TP PL TC S E OT 6 60 10 20 30. Jorge Miguel Calha Rainho Machado/jmachado@estgp.pt

ECTS Total Horas de contacto semestral 4 T TP PL TC S E OT 6 60 10 20 30. Jorge Miguel Calha Rainho Machado/jmachado@estgp.pt Ano Lectivo 2008/09 Curso Engenharia Informática Unidade Curricular Arquitecturas Tecnológicas dos Sistemas de Informação (6º Semestre) Objectivos gerais da Unidade Curricular 1 O objectivo desta unidade

Leia mais

FA PorT: Um Framework para Sistemas Portfólio-Tutor utilizando Agentes

FA PorT: Um Framework para Sistemas Portfólio-Tutor utilizando Agentes FA PorT: Um Framework para Sistemas Portfólio-Tutor utilizando Agentes Fábio Nicácio de Medeiros, Flávio Mota Medeiros, Arturo Hernández Domínguez Instituto de Computação Universidade Federal de Alagoas

Leia mais

Fundamentos de Elasticidade e Plasticidade IG-209. Eliseu Lucena Neto

Fundamentos de Elasticidade e Plasticidade IG-209. Eliseu Lucena Neto Fundamentos de Elasticidade e Plasticidade IG-209 Eliseu Lucena Neto 2015 Ementa Meio contínuo. O conceito de tensão. Estado de tensão num ponto. Equações de equilíbrio. Capítulo1(12aulas) O conceito de

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

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

Curriculum Vitae. Elementos de Identificação. Habilitações Literárias

Curriculum Vitae. Elementos de Identificação. Habilitações Literárias Curriculum Vitae Elementos de Identificação Nome: Manuel Ricardo Fontes da CUNHA Filho de: Joaquim Manuel Martins da Cunha e de Maria Conceição Costa Castro e Fontes da Cunha Natural da Freguesia de: Nevogilde,

Leia mais

Maio. Office Of Energy Efficiency and Renewable Energy U.S. Energy Department (DOE) Washington, DC

Maio. Office Of Energy Efficiency and Renewable Energy U.S. Energy Department (DOE) Washington, DC Dia Nome do Evento Realizador Local Maio 03 ACORE U.S.-China Renewable Energy Industry Forum American Council On Renewable Energy (ACORE) Washington, DC 04 CEO Leadership Series Luncheon Featuring U.S.

Leia mais

Lucas Figueiredo Gonçalves

Lucas Figueiredo Gonçalves Lucas Figueiredo Gonçalves Master s student in Computer Graphics at Federal University of Rio de Janeiro luccashappy@gmail.com Summary I m a Master s student in Computer Graphics at Federal University

Leia mais

TERMODINÂMICA E TRANSFERÊNCIA DE CALOR

TERMODINÂMICA E TRANSFERÊNCIA DE CALOR TERMODINÂMICA E TRANSFERÊNCIA DE CALOR Período: 2015/2 PLANO DE ENSINO Professora Regente: Dra. Maria Laura Gomes Silva da Luz Código: 570065 Cursos: Créditos: 06 Ano: 2015 Engenharia Agrícola (5 o semestre

Leia mais

E D I T A L. 2 - Da documentação exigida para inscrição no Exame de Seleção e Admissão:

E D I T A L. 2 - Da documentação exigida para inscrição no Exame de Seleção e Admissão: SERVIÇO PÚBLICO FEDERAL UNIVERSIDADE FEDERAL DE PERNAMBUCO CENTRO DE TECNOLOGIA E GEOCIÊNCIAS Programa de Pós-Graduação em Ciências Geodésicas e Tecnologias da Geoinformação - Curso de Mestrado (Aprovado

Leia mais

INF2135 Processos e Ambientes de Engenharia de Software

INF2135 Processos e Ambientes de Engenharia de Software INF2135 Processos e Ambientes de Engenharia de Software Arndt von Staa arndt at inf.puc-rio.br Departamento de Informática 2014/1 site: www.inf.puc-rio.br/~inf2135 Objetivo Capacitar os alunos a avaliar,

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

EAD-750 Tópicos Especiais de Métodos Quantitativos e Informática. Roteiro para Trabalho de Pesquisa

EAD-750 Tópicos Especiais de Métodos Quantitativos e Informática. Roteiro para Trabalho de Pesquisa EAD-750 Tópicos Especiais de Métodos Quantitativos e Informática Roteiro para Trabalho de Pesquisa Prof. Antonio Geraldo da Rocha Vidal vidal@usp.br O trabalho de pesquisa de EAD-750 deve ser elaborado

Leia mais