Pág.1 001 - CONHECIMENTO 001.42408 - CICLOS ECONÔMICOS - MODELOS MATEMÁTICOS LOECKX, Jacques. Computability and decidability : an introduction for students of computer science /. Berlin : Springer-Verlag, 1972. 76p. - ISBN 354005869 (broch.) Ex. 107433 Total de exemplares: 1 001.53 - CIBERNÉTICA ARBIB, Michael A. Brains, Machines, and mathematics /. 2nd. ed. - New York : Springer, 1987. 202p. ISBN 0387965394 : (enc.) Ex. 37734 Total de exemplares: 1 003 - TEORIA SISTEMAS; ANÁLISE DE SISTEMAS KLIR, George J. Trends in general systems theory /. New York : Wiley-Interscience Publication c1972. 462p. ISBN 04714910X : (enc.) Ex. 21771 Total de exemplares: 1 WEINBERG, Gerald M. An introduction to general systems thinking /. New York : Wiley 1975. 279p. ISBN 0471925632 : (enc.) Ex. 21776 Total de exemplares: 1 003.06 - PESQUISA OPERACIONAL - CONGRESSOS SIMPÓSIO BRASILEIRO DE PESQUISA OPERACIONAL, 24. 1992 Salvador, BA SOCIEDADE BRASILEIRA DE PESQUISA OPERACIONAL. Anais... Rio de Janeiro: SBPO, 1995. 444 p. Ex. 93190 Total de exemplares: 1 003.506 - 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, c1990. 1107p. : ISBN 9810202229 : (enc.) Ex. 41719 Total de exemplares: 1 003.54 - TEORIA DA CODIFICAÇÃO; TEORIA DA INFORMAÇÃO CAMPBELL, Jeremy,.. Grammatical man : information, entropy, language, and life /. New York : Simon and Schuster c1982. 319p. ISBN 0671440616 (enc.) Ex. 94844 Total de exemplares: 1 003.5406 - SISTEMAS
Pág.2 003 - 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, 1994. n.p. : Ex. 86954 Total de exemplares: 1 004 - 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, c1984. 516p. : ISBN 0201113724 : (enc.) Ex. 3679 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, 1977. 176, [15]p. Ex. 8461 Total de exemplares: 1 REYNOLDS, John C.,. The craft of programming. Englewood Cliffs, N. J.: Prentice Hall, c1981. 434 p. (Prentice-Hall International series in computer science ) ISBN 0131888625(Enc.) Ex. 13665 Total de exemplares: 1 TANENBAUM, Andrew S.,. Structured computer organization /. 2nd. ed. - Englewood Cliffs, N. J. : Prentice-Hall, Inc. c1984. 465p. : ISBN 0138544891 : (enc.) Ex. 21752 Total de exemplares: 1 LISKOV, Barbara; GUTTAG, John.. Abstraction and specification in program development /. Cambridge, Mass. : MIT Press, c1986. xv, 469p. - ISBN 0262121123 : (enc.) Ex. 24539 Total de exemplares: 1 WULF, William A. Fundamental structures of computer science. Reading, Mass.: Addison-Wesley Publishing Company, c1981. 621 p. ISBN 0201087251(Enc.) Ex. 25860 Total de exemplares: 1 DEGROOT, Doug.; LINDSTROM, Gary. Logic programming : functions, relations, and equations /. Englewood Cliffs, N. J. : Prentice-Hall, Inc. c1986. 533p. ISBN 013539958 : (enc.) Ex. 26577 Total de exemplares: 1 HILLIS, W. Daniel.. The connection machine /. Cambridge, Mass. : MIT Press, c1985. xiii, 190p. : ISBN 0262081571 : (enc.) Ex. 26928,26929 Total de exemplares: 2
Pág.3 004 - 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 0262140403 : (broch.) Ex. 26930 Total de exemplares: 1 ABELSON, Harold.; SUSSMAN, Gerald Jay.; SUSSMAN, Julie. Structure and interpretation of computer programs /. Cambridge, Mass. : M.I.T. Press c1985. 542p. : ISBN 0262010771 : (broch.) Ex. 26942 Total de exemplares: 1 LESCANNE, Pierre.; INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS. (2. :. 1987 :. Bordeaux). Rewriting techniques and applications : proceedings /. Berlin : Springer, 1987. 285p. - ((Lecture notes in computer science, v.256).)) ISBN 3540172203 : (broch.) Ex. 37728 Total de exemplares: 1 BENNINGHOFEN, B.; KEMMERICH, S.; RICHTER, Michael M.,. Systems of reductions /. Berlin : Springer, c1987. 263p. - ((Lecture notes in computer science, v.277).)) ISBN 3540185984 : (broch.) Ex. 38536 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 0205086195 : (enc.) Ex. 41314 Total de exemplares: 1 ARBIB, Michael A.; KFOURY, A. J.; MOLL, Robert N. A basis for theoretical computer science /. New York : Springer, c1981. 220p. - ISBN 0387905731 : (enc.) Ex. 44814 Total de exemplares: 1 HAMLET, Richard G. Introduction to computation theory /. New York : Intext Educational Publishers c1974. 197p. ISBN 0700224580 : (enc.) Ex. 44907 Total de exemplares: 1 CARVALHO, Roberto Lins de. Maquinas, programas e algoritmos. Campinas : Unicamp, 1981. 184p. Ex. 44913,44914 Total de exemplares: 2 JONES, Neil D.,. Computability theory : an introduction /. New York : Academic Press, 1973. 154p. - Ex. 44929 Total de exemplares: 1
Pág.4 004 - INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE ; TECNOLOGIA DA INFORMAÇÃO SHORTLIFFE, Edward H. Computer-based medical consultations : MYCIN /. New York : Elsevier, c1976. 264p. - ISBN 0444001794 : (enc.) Ex. 45382 Total de exemplares: 1 EVERLING, Wolfgang.. Exercises in computer systems analysis /. Berlin : Springer, 1975. iv, 184p. - ((Lecture notes in computer science, v.35).)) ISBN 0387074015 : (broch.) Ex. 45624 Total de exemplares: 1 ARSAC, Jacques.. La science informatique /. Paris : Dunod, 1970. xv, 233p. : Ex. 45854 Total de exemplares: 1 GUTENMACHER, L. Thinking machines /. Moscow : Foreign Languages, [19-]. 185p. : Ex. 46339 Total de exemplares: 1 FLORES, Ivan,. The logic of computer arithmetic /. Englewood Cliffs, N. J. : Prentice-Hall, c1963. 493p. - Ex. 48974 Total de exemplares: 1 GOAD, Christopher Alan. Computational uses of the manipulation of formal proofs /. Stanford : Stanford University 1980. 122p. Ex. 76881 Total de exemplares: 1 COFFMAN, E. G. (Edward Grady),; LENSTRA, J. K.; RINOOY KAN, A. H. G.,. Computing /. Amsterdan : North-Holland, 1992. 682p. : ISBN 0444880976 (enc.) Ex. 80241 Total de exemplares: 1 FRENKEL, Jacob.; FAÇANHA, Diva.; CURY, Vania. Informatica : atuação e tendencias /. Rio de Janeiro : FINEP, Dept. de Informatica, 1994. [24]p. Ex. 91804 Total de exemplares: 1 ASPRAY, William. John Von Newmann and the origins of modern computing /. Cambridge, Mass. : Mit Press, c1990. 376p. : ISBN 0262011212 (enc.) Ex. 93106 Total de exemplares: 1
Pág.5 004 - 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, c1995. 2v. Ex. 94834,94835 Total de exemplares: 2 HARVEY, Brian,; WRIGHT, Matthew. Simply scheme : introducing computer science /. Cambridge, Mass. : MIT Press, c1994. 583p. : ISBN 0262082268 (enc.) Ex. 95313 Total de exemplares: 1 AHO, Alfred V.; ULLMAN, Jeffrey D.,. Concepts fondamentaux de l'informatique /. Paris : Dunod, c1993. 856p. ISBN 2100031279 (broch.) Ex. 95682 Total de exemplares: 1 INSITUTO UNIEMP. I premio compaq de estimulo a pesquisa e desenvolvimento em informatica /. São Paulo : Instituto Uniemp, 1996. 165p. Ex. 98218 Total de exemplares: 1 DIAS, Donaldo de Souza; GAZZANEO, Giosafatte. Projeto de sistemas de processamento de dados /. Rio de Janeiro : Livros Tecnicos e Cientificos, 1975. xii, 151p. : ( (Aplicacoes de computadores)) Ex. 101055,101056 Total de exemplares: 2 CONSELHO DO DESENVOLVIMENTO (BRASIL)... Relatorio do grupo de trabalho sobre aplicação de computadores. Rio de Janeiro, 1959. 1v. (paginação irregular). - Ex. 101120 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, 1981. 183p. ISBN 8570010672 : (Broch.) Ex. 108512 Total de exemplares: 1 LUCENA, Carlos J. P. de.. Analise e sintese de programas de computador. Brasilia : Ed. Universidade de Brasilia c1982. 185p. : ((Cadernos da UnB) ) Ex. 109905 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, 1979. 242p. : Ex. 112615 Total de exemplares: 1
Pág.6 004 - 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. 1981. 286p. : ISBN (0700341230) Ex. 116020 Total de exemplares: 1 HELMAN, Paul.; VEROFF, Robert. Intermediate problem solving and data structures : Walls and mirrors /. Menlo Park, CA : Benjamim / Cummings, c1986 612 p. : ISBN 0805389407 (enc.) Ex. 120769 Total de exemplares: 1 GLASS, Robert L.; NOISEUX, Ronald A. Software maintenance guidebooks /. Englewood Cliffs : Prentice-Hall, 1981. 193p. : ISBN 0138217289 : (Broch.) Ex. 124474 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. 125189 Total de exemplares: 1 004.01 - 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, 1987. 227p. - ((Lecture notes in computer science, v.265).)) ISBN 3540180818 : (broch.) Ex. 37264 Total de exemplares: 1 004.0151 - COMPUTAÇÃO - MATEMÁTICA ; CÁLCULOS NUMÉRICOS - PROGRAMAS DE COMPUTADOR MANDRIOLI, Dino.; GHEZZI, Carlo. Theoretical foundations of computer science /. New York : Wiley c1987.478p. ISBN 0471838349 : (enc.) Ex. 35671 Total de exemplares: 1 BENEDICT, G. Gordon. An enciphering module for multics /. Cambridge, Mass. : Massachusetts Institute of Technology 1974. 68p. -Originalmente apresentado como tese do autor (Massachusetts Institute of Technology, Electrical Engineering Department). Ex. 75731 Total de exemplares: 1 STRAUBING, Howard,. Finite automata, formal logic and circuit complexity /. Boston : Birkhauser, 1994. 226p. - ISBN 0817637192 (enc.) Ex. 89129 Total de exemplares: 1
Pág.7 004 - 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. c1987. 261p. ISBN 0136272746 (broch.) Ex. 91777 Total de exemplares: 1 004.019 - 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, c1987. 218p. : ISBN 3540183914 : (broch.) Ex. 37736 Total de exemplares: 1 SCHNEIDERMAN, Ben,. Software psychology: human factors in computer and information systems. Cambridge, Mass.: Winthrop, c1980 320 p. (Winthrop computer systems series ) ISBN 0876268165 Ex. 49587 Total de exemplares: 1 004.01906 - 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 0201512785 (broch.) Ex. 95167 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, c1996. 524p. : ISBN 0201946874 (broch.) Ex. 95213,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, c1992. 713p. : ISBN 020153344X (broch.) Ex. 99054 Total de exemplares: 1 004.06 - 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 9027715041 : (enc.) Ex. 13618 Total de exemplares: 1
Pág.8 004 - 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, 1977. 418p. : ((Lecture notes in computer science, 48).)) ISBN 3540081380 : (broch.) Ex. 13774 Total de exemplares: 1 BECVAR, J.,; SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE. (8. :. 1979 :. Olomouc, Tchecoslovaquia). Mathematical foundations of computer science, 1979: proceedings. Berlin : Springer, 1979. 580p. : ((Lecture notes in computer science, v.74)) ISBN 3540095268 (broch.) Ex. 14245 Total de exemplares: 1 DEMBINSKI, Piotr.; SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE. (9. :. 1980 :. Rydzyna, Polonia). Mathematical foundations of computer science, 1980: proceedings of the 9th symposium, held in Rydzyna, Poland, September 1-5, 1980. Berlin : Springer, 1980. 723p. : ((Lecture notes in computer science, v.88)) ISBN 354010027X (broch.) Ex. 14246 Total de exemplares: 1 GRUSKA, Josef,; CHYTIL, Michal,; SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE. (10. :. 1981 :. Strbske Pleso, Tchecoslovaquia). Mathematical foundations of computer science, 1981: proceedings. Berlin : Springer, 1981. 589p. : ((Lecture notes in computer science, v.118)) ISBN 3540108564 (broch.) Ex. 14248 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, 1984. 338p. - ((Lecture notes in computer science, 166).)) ISBN 3540129200 : (broch.) Ex. 23013 Total de exemplares: 1 SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE 1985 :. Saarbrucken, Alemanha).; MEHLHORN, Kurt,. STACS 85 : [proceedings] /. Berlin : Springer, 1985. 374p. - ((Lecture notes in computer science, 182).)) ISBN 3540139125 : (broch.) Ex. 23014 Total de exemplares: 1 SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE. 3. : 1986 :. Orsay, França).; MONIEN, B. STACS 86 : [proceedings] /. Berlin : Springer, c1986. 368p. - ((Lecture notes in computer science, 210).)) ISBN 3540160787 : (broch.) Ex. 23015 Total de exemplares: 1 CHYTIL, Michal.; KOUBEK, Vaclav.; SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE. (11. :. 1984 :. Praga, Tchecoslovaquia). Mathematical foundations of computer science 1984: proceedings. Berlin : Springer, 1984. 581p. - ((Lecture notes in computer science, 176)) ISBN 3540133720 (broch.) Ex. 23922 Total de exemplares: 1
Pág.9 004 - 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, 1987. 213p. - ((Lecture notes in computer science, v.281)) ISBN 3540185356 (Broch.) Ex. 38065 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. :. 1989 :. 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 1989. 2v. : Ex. 38817,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. :. 1989 :. Uberlandia, MG). Anais... Rio de Janeiro: Sociedade Brasileira de Computação ; Uberlandia: Universidade Federal de Uberlandia, 1989. 574 p. Ex. 40625 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 1989. 4v. : ISBN 0818619112 (broch.) Ex. 41210,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. :. 1990 :. Vitoria, ES). Anais... Rio de Janeiro : Sociedade Brasileira de Computação, 1990. 611 p. Ex. 44450 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, 1971.. New York : ACM c1971. 266p. Ex. 44816 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, 1978. -. New York : ACM c1978. 346p. Ex. 44947 Total de exemplares: 1
Pág.10 004 - 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. :. 1975 :. Gesellschaft fur Informatik). Automata theory and formal languages: 2nd GI Conference Kauserslautern, May 20-23, 1975. Berlin : Springer, 1975. 292p. - ((Lecture notes in computer science, 33)) ISBN 3540074074 (broch.) Ex. 45014 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, 1979. -. New York : ACM c1979. 368p. Ex. 45023 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 c1974. 347p. Ex. 45024 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, 1969.. New York : ACM 1969. 272p. Ex. 45026 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, 1977. -. New York : ACM c1977. 314p. Ex. 45030 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, 1976. -. New York : ACM c1976. 246p. Ex. 45031 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, 1975. -. New York : ACM c1975. 265p. Ex. 45032 Total de exemplares: 1
Pág.11 004 - 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, 1973. -. New York : ACM c1973. 277p. Ex. 45033 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, 1972. -. New York : ACM 1972. 263p. Ex. 45034 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, 1970. -. New York : ACM 1970. 230p. Ex. 45035 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, 1976. Tokyo : IBM Japan, 1976. 187p. : Ex. 45623 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, 1974. 310p. : ( (Lecture notes in computer science, ; v.16).)) ISBN 354006849X : (broch.) Ex. 46370,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, 1977. 468p. : ISBN 0124277500 : (enc.) Ex. 46374 Total de exemplares: 1 INTERNATIONAL CONFERENCE ON LOGIC, INFORMATICS, LAW, 3. :. 1989 :. Florence).. ; MARTINO, Antonio Anselmo. Pre-proceedings of the III International Conference on Logica, Informatica, Diritto ::legal expert systems /. Florence : Consiglio Nazionale delle Ricerche 1989. 3v. : Ex. 48230,48231,48232 Total de exemplares: 3
Pág.12 004 - INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE ; TECNOLOGIA DA INFORMAÇÃO CONGRESSO NACIONAL DE INFORMÁTICA, 23. 1990 Rio de Janeiro, RJ. Anais... Rio de Janeiro : SUCESU, 1990. 4v. em 2. Ex. 49913,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, 1991. 2 v. Ex. 53608,53609 Total de exemplares: 2 SCHOOL OF COMPUTING 1990 :. Ysermonde, Belgica).. EUROPEAN ORGANIZATION FOR NUCLEAR RESEARCH. Proceedings. Geneva : European Organization for Nuclear Research, 1991. 353p. : ISBN 9290830360 : (broch.) Ex. 55445 Total de exemplares: 1 SOCIEDADE BRASILEIRA DE COMPUTAÇÃO Congresso : (12. : 1992 Rio de Janeiro, RJ); CONCURSO DE TRABALHOS DE INICIAÇÃO CIENTIFICA. (11. :. 1992 :. Rio de Janeiro, RJ). Anais. Rio de Janeiro: Sociedade Brasileira de Computação, 1992. 390 p. Ex. 60911 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.], 1990. 453p. Ex. 60975 Total de exemplares: 1 COMPCON, 28. 1984 San Francisco, Estados Unidos. Intellectual leverage: the driving technologies : digest of papers. Los Alamitos, Calif. : IEEE Computer Society 1984. 522p. : ISBN 0818605251 (broch.) Ex. 64148 Total de exemplares: 1 COMPCON, 26. 1983 San Francisco, Estados Unidos. Intellectual leverage for the information society : digest of papers /. New York, N. Y. : IEEE Computer Society 1983. 527p. : Ex. 64149 Total de exemplares: 1 CLICS WORKSHOP 1992 :. Aarhus University).; WINSKEL, G. (Glynn). Proceedings... Aarhus : Aarhus University, Computer Science Department, 1992. 2v. : Ex. 66058,66059 Total de exemplares: 2 JORNADAS ARGENTINAS DE INFORMATICA E INVESTIGAÇÃO OPERATIVA, 22. :. 1993 :. Buenos Aires, Argentina)... SOCIEDAD ARGENTINA DE INFORMÁTICA E INVESTIGACIÓN OPERATIVA.. Trabajos seleccionados /. Buenos Aires : Centro Latino Americano de Estudios en Informatica : SADIO 1993. 3v. Ex. 71590,71591,71592 Total de exemplares: 3
Pág.13 004 - INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE ; TECNOLOGIA DA INFORMAÇÃO SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 20. 1993 Florianópolis, SC SOCIEDADE BRASILEIRA DE COMPUTAÇÃO; CONCURSO DE TESES E DISSERTAÇÕES. (6. :. 1993 :. Florianopolis, SC). Anais. Florianópolis: Sociedade Brasileira de Computação, 1993 3 v. Ex. 71608,71609,71610 Total de exemplares: 3 SEMANA DE INFORMATICA DA UFBA, 5. :. 1994 :. Salvador, BA).. ; LOPES, Carlos A. S. Anais. Salvador: UFBA 1994. 128p. : Ex. 75914 Total de exemplares: 1 ENCONTRO INTER-UNIVERSITARIO DE INFORMATICA DO PARANA. 1. : 1993 :. Curitiba, PR). Anais... Curitiba : Universidade Federal do Parana, Departamento de Informatica, 1993. 605p. : Ex. 78089 Total de exemplares: 1 SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 21. 1994 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, 1994. 778 p. Ex. 86571 Total de exemplares: 1 CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK 1994:. Chapel Hill, Estados Unidos). Proceedings... New York : ACM Press, 1994.464p. ISBN 0897916891 (Broch.) Ex. 87318 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, c1995. 5v. : Ex. 88538,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 c1993. 812p. : ISBN 0897915917 (broch.) Ex. 95171 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 c1994. 822p. : ISBN 0897916638 (broch.) Ex. 95172 Total de exemplares: 1
Pág.14 004 - 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 c1995. 763p. ISBN 0897917189 (broch.) Ex. 95173 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, c1995. 735p. ISBN 0818671831 (broch.) Ex. 95178 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, c1993. 745p. : ISBN 0818643706 (enc.) Ex. 95294 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, c1992. 784p. : ISBN 0897915119 (broch.) Ex. 95327 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, c1996. 661p. : ISBN 0897917855 (broch.) Ex. 95328 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. 95684 Total de exemplares: 1 ESCOLA DE INFORMÁTICA DA SBC-REGIÃO SUL, 3. 1995 Caxias do Sul, RS SOCIEDADE BRASILEIRA DE COMPUTAÇÃO. Anais/ III Escola Regional de Informática. Caxias do Sul: Sociedade Brasileira de Computação, 1995. 230 p. Ex. 96880 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, 1996. 564 p. Ex. 97960 Total de exemplares: 1
Pág.15 004 - 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. :. 1994 :. Kosice, Eslovaquia). Theoretical computer science : selected papers from the 19th International Symposium on Mathematical Foundations of Computer Science /. Amsterdam : Elsevier, 1996. NÆo paginado Ex. 98663 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, c1996. 638p. : ISBN 0818675942 (broch.) Ex. 99774 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, c1992. 734p. : ISBN 0818629002 (enc.) Ex. 99903 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, c1972 141 p. (Prentice-Hall series in automatic computation ) ISBN 0132002043 Ex. 101136 Total de exemplares: 1 004.07 - 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 1992. 175p. : Ex. 71285 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, 1993. 68 p. Ex. 73280 Total de exemplares: 1 WORKSHOP SOBRE EDUCAÇÃO EM INFORMATICA. 2. : 1994.. 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, 1994. v. : Ex. 86569,86570 Total de exemplares: 2
Pág.16 004 - 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, 1996. 2v. Ex. 97959 Total de exemplares: 1 004.072 - INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE PROJETO ESTRA : reunião de trabalho : coletanea de resultados de pesquisas, outubro/1988, abril 1989. -. São Paulo : SID Informatica, 1989. 2v. : Ex. 36454,36455,36456,36457 Total de exemplares: 4 004.08 - 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 9027714606 : (enc.) Ex. 13617 Total de exemplares: 1 RANDELL, Brian,. The Origins of digital computers : selected papers /. Berlin : Springer, c1973. 464p. : ISBN 35400616 9 : (enc.) Ex. 46141 Total de exemplares: 1 DIJKSTRA, Edsger Wybe,.. Selected writings on computing: a personal perspective. New York : Springer, c1982. xvii, 362p. - ISBN 0387906525 : (enc.) Ex. 49584 Total de exemplares: 1 004.09 - INFORMÁTICA-HISTÓRIA GOLDBERG, Adele. A history of personal workstations /. Reading, Mass. : Addison-Wesley, c1988. 537p. : ISBN 020111259 (enc.) Ex. 39402 Total de exemplares: 1 004.0981 - 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, 1991. 59p. Ex. 55594 Total de exemplares: 1
Pág.17 004 - 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, c1995. 286p. Ex. 94320 Total de exemplares: 1 004.1 - 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, 1988.199 p. Ex. 32082 Total de exemplares: 1 004.11 - SUPERCOMPUTADORES CHORAFAS, Dimitris N.,; STEINMANN, Heinrich,. Supercomputers /. New York : McGraw-Hill, Inc. 1991. 338p. ISBN 0070109176 (enc.) Ex. 79565 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, 1994. 436p. : Ex. 86987 Total de exemplares: 1 004.125 - 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, c1978. 315p.: ISBN 0444002413 : (enc.) Ex. 46567 Total de exemplares: 1 004.14 - INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE HARTMANN, Alfred C.,. A concurrent PASCAL compiler for minicomputers /. Berlin : Springer, 1977. 119p. : ((Lecture notes in computer science, v.50).)) ISBN 3540082409 : (broch.) Ex. 46383 Total de exemplares: 1 004.16 - MICROCOMPUTADORES DIGITAIS ; MICROPROCESSADORES LIN, Wen C. Microprocessors : fundamentals & applications /. New York : The Institute of Electrical and Electronics Engineers c1977. 325p. : ISBN 0879420936 : (broch.) Ex. 16310 Total de exemplares: 1
Pág.18 004 - INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE ; TECNOLOGIA DA INFORMAÇÃO MCS-85TM user's manual. -. Santa Clara, Calif. : INTEL 1978. 1v. (varias paginações) : Ex. 35751 Total de exemplares: 1 MCS-86TM user's manual. -. Santa Clara, Calif. : INTEL 1979. 1v. (varias paginações) : Ex. 36875 Total de exemplares: 1 BOWEN, B. A.; BUHR, R. J. A. The logical design of multiple-microprocessor systems /. Englewood Cliffs : Prentice-Hall, c1980. 310p. - ISBN 0135399084 : (Broch.) Ex. 119137 Total de exemplares: 1 PAKER, Yakup. Multi-microprocessor systems. London : Academic Press, c1983 204p. : ISBN 0125439806 (enc.) Ex. 120761 Total de exemplares: 1 004.165 - 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, c1985. 3v. : Ex. 28173,28174,28175 Total de exemplares: 3 APPLE COMPUTER, INC.. Macintosh human interfaces guidelines. -. Reading, Mass. : Addison-Wesley, c1992. 384p. : ISBN 0201622165 (broch.) Ex. 93103 Total de exemplares: 1 004.2 - 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, 1993. iii, 305p. : Ex. 73892 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, 1997. xiii, 401p. Ex. 99226 Total de exemplares: 1 004.206 - INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE
Pág.19 004 - INFORMÁTICA; PROCESSAMENTO DE DADOS; COMPUTAÇÃO; COMPUTADORES; HARDWARE ; TECNOLOGIA DA INFORMAÇÃO INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, 14th :. 1984 :. Kissimmee, Estados Unidos).. Digest of papers /. Kissimmee, Fla. : IEEE, Computer Society, 1984. xix, 444p. ISBN 0818605405 : (broch.) Ex. 64146 Total de exemplares: 1 004.21 - 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, c1984. 392p. ISBN 0917072308 : (broch.) Ex. 31720 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 0917072405 : (enc.) Ex. 32176 Total de exemplares: 1 KENDALL, Penny A.,. Introduction to systems analysis and design : a structured approach /. Dubuque, Iowa : WCB, c1989. 513p. : ISBN 0697069605 : (enc.) Ex. 39415 Total de exemplares: 1 FAURRE, Pierre.; DEPEYROT, Michel. Elements of system theory /. Amsterdam : North-Holland, 1977. 281p. ISBN 0720404401 : (enc.) Ex. 45641 Total de exemplares: 1 COUGER, J. Daniel,; KNAPP, Robert W.,. System analysis techniques /. New York : Wiley c1974. 509p. : ISBN 0471177350 : (enc.) Ex. 45644 Total de exemplares: 1 MESAROVIC, Mihajlo D.; MACKO, D.; TAKAHARA, Yasuhiko,. Theory of hierarchical, multilevel, systems /. New York : Academic Press, c1970. 295p. - Ex. 45670 Total de exemplares: 1 FENTON, Norman E.,; HILL, Gillian. Systems construction and analysis : a mathematical and logical framework /. London : McGraw-Hill, Inc. c1993. 465p. : ISBN 0077074319 (broch.) Ex. 72658 Total de exemplares: 1 ASHWORTH, Caroline,; GOODLAND, Mike,. SSADM : a practical approach /. London : McGraw-Hill, Inc. c1990. 291p. : ISBN 0077072138 (broch.) Ex. 72659 Total de exemplares: 1
Pág.20 004 - 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, c1993. 682p. : ISBN 0130451622 (enc.) Ex. 72660 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, 1994.156 p. Ex. 83191,83192 Total de exemplares: 2 DOLAN, Alan.; ALDOUS, Joan. Networks and algorithms : an introductory approach /. Chichester : J. Wiley, c1993. 544p. : ISBN 0471939935 (broch.) Ex. 98179 Total de exemplares: 1 YOURDON, Edward. Modern structured analysis /. Englewood Cliffs : Yourdon, c1989. 672p. : ISBN 0135986249 (enc.) Ex. 120970 Total de exemplares: 1 JACKSON, M. A.,. System development /. New Jersey : Prentice-Hall, Inc. 1983. 417p. : ISBN 0138803285 : (Broch.) Ex. 124470 Total de exemplares: 1 004.2106 - 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 3540183418 (broch.) Ex. 37855 Total de exemplares: 1 004.22 - 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 0070315566 : (enc.) Ex. 4544 Total de exemplares: 1 STONE, Harold S.,. High-performance computer architecture /. Repr. with corr. - Reading, Mass. : Addison-Wesley, 1987. 411p. ISBN 0201168022 : (enc.) Ex. 39863 Total de exemplares: 1