Livros Publicados:
| Número 1 | Fundamentos da Matemática Intervalar |
| Número 2 | Programando em Pascal XSC |
| Número 3 | Linguagens Formais e Automatos |
| Número 4 | Projeto de Banco de Dados |
| Número 5 | Teoria da Computação |
| Número 6 | Arquitetura de Computadores Pessoais |
| Número 7 | Concepção de Circuitos Integrados |
| Número 8 | Fundamentos de Arquitetura de Computadores |
| Número 9 | Implementação de Linguagens de Programação: Compiladores |
| Número 10 | Tabelas: Organização e Pesquisa |
| Número 11 | Sistemas Operacionais |
| Número 12 | Teoria das Categorias para Ciências da Computação |
| Número 13 | Complexidade de Algoritmos |
| Número 14 | Sistemas Operacionais e Programação Concorrente |
| Número 15 | Arquiteturas Paralelas |
| Número 16 | Matemática Discreta para Computação e Informática |
| Número 17 | Fundamentos de Circuitos Digitais |
Número 1
FUNDAMENTOS DA MATEMÁTICA INTERVALAR
Paulo Werlang de Oliveira, Tiarajú Asmuz Diverio, Dalcidio Moraes Claudio
ISBN - 85-241-0515-1 A Matemática Intervalar trata com dados na forma de intervalos numéricos. Ela foi proposta inicialmente por Moore, em 1966, co m o objetivo de automatizar a análise do erro comptacional. Atualmente, ela vem sendo empregada na elaboração de algoritmos numéricos auto-validáveis e com controle automático de erro.
Na Computação Científica, os intervalos podem ser aplicados para representar valores desconhecidos e, também, para representar valores contínuos. Servem para controlar o erro de arredondamento e para representar dados inexatos, aproximações e erros de truncamento de procedimentos.
O livro Fundamentos da Matemática Intervalar tem por objetivo apresentar os conceitos básicos da Matemática Intervalar, servindo como material didático para cursos introdutórios de Intervalos e análise Intervalar. Dessa forma, estamos disseminando o uso da Matemática Intervalar para resolução de problemas das Ciências e Engenharias.
[ Amostras | Professores | Aquisição ]
Número 2
PROGRAMANDO EM PASCAL-XSC
Charles Leandro Hoher, Carlos Amaral Holbig, Tiarajú Asmuz Diverio
ISBN 85-241-0516-1 A linguagem PASCAL-XSC é uma extensão do Pascal Standard para Computação Científica. É uma linguagem portável a várias plataformas, estando disponível para PCs, estações de trabalho tipo SUN, computadores de grande porte e supercomputadores. O PASCAL-XSC é uma linguagem que proporciona condições especiais à implementação de algoritmos sofisticados, nos quais a verificação é feita pelo próprio computador. Os principais tópicos apresentados neste livro são: características do PASCAL-XSC, informações sobre instalação e utilização desta linguagem e exemplos de programas desenvolvidos em PASCAL-XSC.
[ Amostras | Professores | Aquisição | Escreva para o autor]
Número 3
LINGUAGENS FORMAIS E AUTÔMATOS
Paulo Fernando Blauth Menezes ( 3 Edição)
ISBN 85-241-0554-2
A Teoria das Linguagens Formais foi originalmente desenvolvida na década de 1950 com o objetivo de desenvolver teorias relacionadas com as linguagens naturais. Entretanto, logo foi verificado que esta teoria era importante para o estudo das linguagens artificiais e, em especial, para as linguagens originárias na Ciência da Computação. Desde então, o estudo das Linguagens Formais desenvolveu-se significativamente e com diversos enfoques, com destaque para aplicações em análise léxica e sintática de linguagens de programação, modelos de sistemas biológicos, desenho de hardware e relacionamentos com linguagens naturais. Recentemente, inclui-se a ênfase no tratamento de linguagens não-lineares, como planares, espaciais e n-dimensionais.
Linguagens Formais e Autômatos visa apresentar os conceitos básicos da Teoria das Linguagens Formais. É baseado em experiências letivas no Curso de Bacharelado em Ciência da Computação da UFRGS. É delineado, principalmente, como um primeiro curso de Linguagens Formais, sendo auto-contido e podendo ser adotado como bibliografia básica. Possui um texto simples, exemplos detalhados e exercícios em níveis crescentes de raciocínio.
[ Amostras | Professores | Aquisição | Escreva
para o autor ]
Número 4
PROJETO DE BANCO DE DADOS
Carlos Alberto Heuser (3 Edição) ISBN - 85.241.0590-9
Sistemas de gerência de banco de dados (SGBD) surgiram no início da década de 70 com o objetivo de facilitar a programação de aplicações de banco de dados (BD) e vêm, desde então, sendo usados como base para construção de sistemas de informação. As pesquisas e a experiência de muitos profissionais de Informática resultaram em um conjunto de técnicas, processos e notações para o projeto de banco de dados. Este livro cobre o projeto de banco de dados, abordando as duas principais etapas do projeto, a da modelagem conceitual e a do projeto lógico.
Na modelagem conceitual, o livro utiliza a abordagem entidade-relacionamento (ER). Além de apresentar os conceitos e notações da abordagem ER, o livro contém regras e heurísticas para construção de modelos.
Com referência ao projeto lógico, o livro cobre tanto o projeto propriamente dito (transformação de modelos ER em modelos relacionais), quanto a engenharia reversa de BD (extração do modelo conceitual a partir do modelo lógico relacional ou de modelos de arquivos convencionais).
O livro é adequado para uso no ensino do projeto de banco de dados em nível de cursos de graduação na área da Informática. A conceituação é rigorosa e o conjunto de conhecimentos bem construído e fundamentado. Além disso, o livro é adequado para o suporte a cursos de pós-graduação em nível de especialização. Versões preliminares do livro vem sendo utilizadas tanto na UFRGS, quanto em Instituições conveniadas..
O livro não se destina somente ao uso acadêmico, mas também aos profissionais de Informática. São feitas muitas relações com problemas práticos e o estilo é tal que permite fácil compreensão por profissionais. Já foi utilizado em cursos de curta-duração para treinamento de profissionais em empresas.
Além de tratar o tema do projeto de banco de dados, na forma clássica, que aparece na maioria dos textos de banco de dados, o livro aborda o problema de engenharia reversa de banco de dados, apresentando uma técnica para projeto de banco de dados a partir de sistemas legados.
Há uma extensa lista de exercícios e muitos deles estão
resolvidos. O capítulo que contém as soluções dos
exercícios tem ao redor de 35 p& aacute;ginas.
[ Amostras | Professores | Aquisição | Escreva para o autor]
Número 5
TEORIA DA COMPUTAÇÃO: Máquinas Universais e Computabilidade
Tiaraju Asmuz Diverio e Paulo Fernando
Blauth Menezes
Nesse livro são abordados os principais aspectos relativos à Teoria da Computação de forma sistematizada e acessível, fornecendo meios para um correto entendimento e aplicação dos conceitos de procedimento efetivo, computabilidade e solucionabilidade de problemas. O enfoque adotado neste livro não é histórico (cronológico) mas didático, visando a construção dos conceitos de Teoria da Computação.
Trata-se de um trabalho baseado na experiência docente em diversos semestres no Curso de Bacharelado em Ciência da Computação da UFRGS. É destinado, principalmente, para um primeiro curso de Teoria da Computação, sendo auto-contido e podendo ser adotado como bibliografia básica. Possui um texto simples, ilustrado com cerca de 130 figuras, 80 exemplos detalhados e mais de 100 exercícios em níveis crescentes de raciocínio. Recomenda-se, como pré-requisitos, conhecimentos básicos de lógica, teoria dos conjuntos e algoritmos. A carga horária total recomendada é de 60 horas/aula.
[ Amostras
| Professores | Aquisição | Escreva
para o autor ]
Número 6
Arquitetura de Computadores Pessoais
Raul Fernando Weber
Computadores pessoais não
são personagens novas na história da informática. Os primeiro
computadores domésticos, pequenos o suficiente pra caberrem em cima de
uma mesa, foram desenvolvidos na década de 70. A década de 80
testemunhou a proliferação dos computadores domésticos
de 8 bits e o surgimento dos computdores pessoais de 16 bits. Um sucesso muito
maior do que esperavam seus fabricantes e projetistas, o IBMPC é o representante
clássico desses computadores pessoais.
Projetado com arquitetura e sistema
opercional abertos, o IBMPC é um caso raro, na informática, de
sobrevivência. Apesar de suas duas décdas de existência,
o computador pessoal continua evoluindo. O PC atual tem pouquíssimas
semelhanças com o primeiro IBM PC, tendo recebido o acréscimo
de mouse, som, multimídia, interface der ede e outros periféricos.
Infelizmente, esta evolução teve seu preço: desenvolvida
e expandida desde 1980, a arquitetura de um PC tornou-se extremamente, complexa,
não só devido às inovações tecnológicas
mas também pela variedade de oferta por parte dos mais diversos fabricantes
(do processador aos periféricos)
Arquitetura de Computadores Pessoais surgiu justamente para permitir entender
esta arquitetura e sistematizar o estudo de seus componentes. Compreendendo-se
tais pontos, pode-se configurar e expandir um computador pessoal para obter-se
o melhor desempenho possível.
O conteúdo do livro vem sendo
desenvolvido desde 1991, tganto no curso de Bacharela em Ciência da Computação
da UFRGS, quatno em diversos cursos de extensão e especialização.
O primeiro capítulo localiza o computador pessoal dentro da informática
e dele paresentea uma sucinta evolução histórica. O Capítulo
2 apresenta os microprocessadores, também mostrando sua evolução
e a influência de seus componentes no desempenho do computador. O Capítulo
3 enfoca a memória e seus mecanismos de gerenciamento, enquanto o Capítulo
4 apresenta os conceitos equivalentes para o sistema de entrada e saída
e os barramentos. Os principais periféricos são apresentados nos
capítulos 5 a 9, com ênfase em vídeo, som, acionadores de
discos e de CDs. O último capítulo discute os pontos a serem
considerados na configuração e expansão de um computador
pessoal.
O livro é voltado ao uso acadêmico, sendo utilizado na UFRGS na
disciplina de Arquitetura de Computadores II, que tem sua ênfase nos sistemas
de entrada e saída, mas destina-se também aos profissionais de
informática, pois apresenta informações relevantes sobre
arquitetura de computadores pessoais, especialemtne aqueles baseados no IBM
PC
[ Amostras | Professores | Aquisição | Escreva
para o autor ]
Número 7
Concepção de Circuitos Integrados
Ricardo Augusto da Luz Reis
A Microeletrônica é hoje uma
área estratégica para o crescimento do setor industrial, econômico e social
de uma nação. O desenvolvimento de produtos de informática, eletrõnica e outros
que embutem módulos computacionais ou eletrônicos, passa pelo desenvolvimento
dos chips que conterâo toda a computação ou eletrônica do produto. Portanto
o ensino dos processos de concepção de circuitos integrados e da automação
desses processos é parte importante na formação dos alunos dos cursos de computação
e de eletrônica.
Com a ambição de contribuir na
formação básica sobre o assunto, este livro apresenta uma introdução à concepção
de circuitos integrados. Inclui não apenas os conceitos básicos, mas procura
apresentar também uma visão do estado da arte em diferentes temas relativos
ao projeto, ao teste e à automaçâo do projeto de circuitos integrados.
O livro tem como base a experiência
do Grupo de Microeletrônica da Universidade Federal do Rio Grande do Sul,
que ao longo de mais de 17 anos vem atuando na formaçâo de recursos humanos
nas áreas de projeto e automação do projeto de circuitos integrados.
[ Amostras | Professores | Aquisição | Escreva para o autor ]
Número 8
Fundamentos de Arquitetura de Computadores
Raul Fernando Weber
Resultado de uma série de notas
de aula sobre os tópicos desenvolvidos nas disciplinas de Introdução à Arquitetura
de Computadores e Arquítetura de Computadores I nos cursos de Bacharelado
em Çiéncia da Computação e Engenharia de Computação do Instituto de Informática
da UFRGS, este material foi desenvolvido para suprir a falta de um livro-texto
que contivesse todos os itens que são abordados nestas disciplinas. Foi dada
énfase para a fixação dos conceitos através de exemplos práticos. Assim, quatro
arquiteturas foram ìdealizadas: a de um computador extremamente simples, o
Neander; a de um computador simples, mas com boa capacidade de manipulação
numérica, o Ahmes; a de um computador ainda simples, mas com boa capacidade
de manipulação de estruturas de dados, o Ramses; e a de um computador de porte
médio, o Cesar. Além destas arquiteturas simuladas, utiliza-se ainda a família
80x86 dos microprocessadores Intel, devido a sua larga difusão no mercado.
O livro trata também da representação
de dados, cobrindo sistemas de numeração, representação de dados numéricos
em um computador e os algoritmos básicos de soma, subtração, multiplicaçâo
e divisão. São ilustradas as notaçôes aritméticas de ponto fixo e ponto flutuante,
assim como sistemas de codificação.
[ Amostras | Professores | Aquisição | Escreva para o autor ]
Número 9
Implementação de Linguagens de Programação: Compiladores
Ana Maria de Alencar Price e Simão Sirineo Toscani
O tema construção de compiladores
pode parecer distante da realidade dos desenvolvedores de sistemas informatizados.
No entanto, freqüentemente profissionais enfrentam dificuldades para implementar
algum interpretador de expressões ou um tradutor para uma pequena linguagem.
O domínio das técnicas para construçâo de compiladores e interpretadores envolve
o estudo de diversas áreas, tais como teoria de linguagens, gramáticas, autômatos,
análise de fluxo de dados, geréncia de memória; todas com grande influéncia
no desenvolvimento tanto de sistemas de suporte como de sistemas de informaçâo
em geral.
Este livro é o resultado da consolidação das notas de aula produzidas ao longo
de vários anos de ensino da disciplina de Compiladores nos Cursos de Bacharelado
em Ciéncia da Computaçâo da UFRGS e da UNICRUZ. Apresentando um enfoque prático
sobre o tema implementação de linguagens de programação, esta obra pode ser
adotada como livro texto para cursos de graduaçâo de um semestre sobre construção
de compiladores, trazendo ao leitor um bom entendimento sobre o funcionamento
dos componentes de um compilador.
[ Amostras | Professores | Aquisição | Escreva para o autor ]
Número 10
Tabelas: Organizaçõe Pesquisa
Clésio Saraiva dos Santos e Paulo Alberto de Azeredo
Tabelas são importantes estruturas de
dados que permitem armazenar e recuperar informações sobre entidades
de mesmo tipo. Com a crescente diversidade de aplicações do
computador, cresce a utilização e importância desta estruturas,
que devem possuir características de eficiência e versatilidade.
O livro Tabelas: Organização e pesquisa visa fornecer ao leitor
o conhecimento das diferentes formas de organizar tabelas, bem como projetar
eficientes técnicas de pesqisa sobre as mesmas.
[ Amostras | Professores | Aquisição | Escreva para o autor ]
Número 11
Sistemas Operacionais
Rômulo Silva de Oliveira, Alexandre da Silva Carissimi e Simão Sirineo Toscani
Este livro descreve os conceitos
e mecanismos básicos presentes nos sistemas operacionais atuais. Cobre
os tópicos ipicamente abordados em uma disciplina de graduação
de Sistemas Operacionais, além de usar a implementação
do Linux para ilustrar a teoria apresentada. O livro segue as Diretrizes Curriculare
estabelecidas pelo MEC para cursos da área de Computação
e Informática. O texto é de fácil leitura, possui cerca
de 100 figuras e inclui exercícios no final de cada capítulo,
podendo ser adotado como a bibliografia básica da disciplina.
O conteúdo deste livro está baseado na experiência coletiva
dos autores, que têm ministrado disciplinas de Sistemas Operacionais
e correlatas ao longo das últimas duas décadas, em universidades
de destaque como UFRGS, UFSC e PUC-RS.
[ Amostras | Professores | Aquisição | Escreva para o autor ]
Número 12
Teoria das Categorias para Ciências da Computação
Paulo Blauth Menezes e Edward Hermann Haeusler
[ Amostras | Professores | Aquisição | Escreva para o autor ]
Número 13
Complexidade de Algoritmos
Laira Vieira Toscani e Paulo A. S. Veloso
Algoritmos são o cerne da computação: um programa codifica
um algoritmo de modo a ser executado em um computador, resolvendo assim um
problema. Este livro apresenta complexidade de algoritmos, métodos
e problemas, com ênfase em conceitos e seu emprego em análise
e projeto. O texto foi planejado para ser usado em cursos, tanto de graduação,
quanto de pós-graduação.
Os tópicos são abordados de forma sistemática e acessível.
A apresentação dos conceitos é entremeada de exemplos
ilustrativos e exercícios (alguns com sugestões), de modo que
o leitor é convidado a participar ativamente do desenvolvimento. Esses
exercícios são complementados por listas de exercícios
adicionais ao final de cada capítulo.
[ Amostras | Professores | Aquisição | Escreva para o autor ]
Número 14
Sistemas Operacionais e Programação Concorrente
Simão Sirineo Toscani, Rômulo Silva de Oliveira e Alexandre da Silva Carissini
Este livro apresenta a matéria que tradicionalmente tem sido estudada
como uma segunda disciplina de sistemas operacionais, em vários cursos
de Ciência da Computação, a qual inclui o tema da programação
concorrente.
O estudo de programação concorrente tem sido desenvolvido em
conjunto com o estudo de sistemas operacionais por dois motivos básicos.
Primeiro, porque a programação concorrente surgiu "dentro"
dos sistemas operacionais, como uma técnica para construção
desses sistemas. Segundo, porque os mecanismos de programação
concorrente são normalmente implementados pelo próprio sistema
operacional, no seu nível mais interno, denominado kernel.
[ Amostras | Professores | Aquisição | Escreva para o autor ]
Número 15
Arquiteturas Paralelas
César A. F. De Rose e Philippe O. A. Navaux
Máquinas paralelas vêm tornando-se mais populares em função
da demanda sempre crescente por poder computacional. Infelizmente, os sistemas
que oferecem a capacidade de processamento para satisfazer essa demanda, na
maioria dos casos, ainda têm um custo muito elevado ou são difíceis
de programar. O estudo de arquiteturas paralelas contribui para o entendimento
e para a busca de alternativas para os dois problemas.
No caso do custo, um melhor entendimento das alternativas de construção
de máquinas paralelas e a compreensão de como essas decisões
de projeto repercutirão no desempenho final da máquina podem
possibilitar a escolha de uma arquitetura de menor custo que, ainda assim,
obtenha o desempenho desejado.
[ Amostras | Professores | Aquisição | Escreva para o autor ]
Número 16
Matemática Discreta para Computação e Informática
Paulo Blauth Menezes
Matemática Discreta para Computação e Informática
apresenta os principais conceitos e resultados de Matemática Discreta,
usando uma linguagem simples e acessível a qualquer aluno de graduação,
mas sem descuidar do desenvolvimento do raciocínio, nem dos aspectos
teórico-formais. Sempre que possível, as construções
apresentadas são instanciadas em casos aplicados a Computação
e Informática, nas mais variadas matérias e disciplinas, como,
por exemplo, Sistemas Operacionais, Bancos de Dados, Compiladores, Estruturas
de Dados, Técnicas Digitais, Algoritmos, Complexidade de Algoritmos,
Teoria da Computação, Linguagens Formais e Autómatos,
Modelos para Concorrência, Semântica Formal, Teoria das Categori
as, Programação, Paradigmas de Linguagens de Programação,
etc. Este é um livro-texto para disciplinas dos cursos de graduação
em Computação e Informática, de acordo com as Diretrizes
Curriculares do MEC, bem como um livro de referência para diversos aspectos
da computação em geral.
Trata-se de um trabalho baseado em experiências letivas desenvolvidas
nos cursos de Bacharelado em Ciência da Computação e de
Engenharia da Computação na UFRGS. Embora o conteúdo
básico da matéria Matemática Discreta seja relativamente
estável (comparativamente com e evolução tecnológica
de Computação e Informática), a abordagem dá ênfase
às questões e aos problemas da atualidade, bem como às
novas abordagens. O livro é autocontido e possui uma apresentação
que facilita a adequação do texto aos objetivos propostos e
à carga horária da disciplina. É ilustrado com cerca
de 140 figuras, 220 exemplos detalhados, 250 exercícios em níveis
crescentes de raciocínio e um detalhado índice remissivo com
cerca de 720 entradas. O único pré-requisito é o conteúdo
de Matemática visto no Ensino Médio, e a carga horária
total recomendada varia de 60 a 90 horas/aula.
[ Amostras | Professores | Aquisição | Escreva para o autor ]
Número 17
Fundamentos de Circuitos Diditais
Flávio Rech Wagner, André Inácio Reis e Renato Perez Ribas
Em todo o mundo, os princípios de funcionamento dos circuitos eletrônicos
digitais fazem parte do currículo obrigatório de cursos de graduação
em Ciências da Computação, Engenharia de Computação
e Engenharia Elétrica. No Brasil, as diretrizes curriculares aprovadas
pelo Ministério da Educação para os concursos destas
áreas confirmam esta exigência.
O livro Fundamentos de Circuitos Digitais cobre estes princípios com
a abrangência e profundidade adequadas para estudantes de todos estes
cursos, tendo sido cuidadosamente selecionados pelos autores, que têm
formação em Engenharia Eletrônica aliada a uma experiência
didática de vários anos no ensino de Circuitos Digitais para
estudantes de Computação. O livro é uma compilação
criteriosa do material de ensino utilizado pelos autores e já testado
e validado com sucessivas gerações de estudantes.
[ Amostras | Professores | Aquisição | Escreva para o autor ]