Livros publicados

Livro: Advances in Computers: Information Repositories.

Livro: Reformas e Democratização da Educação Superior no Brasil e na América Latina

Livro: IAENG Transactions on Engineering Technologies: v. 5

This volume contains forty-six revised and extended research articles written by prominent researchers of the International MultiConference of Engineers and Computer Scientists (IMECS 2010). The book offers the state of art of tremendous advances in engineering technologies and also serves as an excellent reference work for researchers and graduate students.

Livro: Soft Computing in Web Information Retrieval.

Livro: Algorithms and Protocols for Wireless, Mobile Ad Hoc Networks 

Advances in wireless networking and mobile communication technologies, coupled with the proliferation of portable computers, have led to development efforts for wireless and mobile ad hoc networks. This book focuses on several aspects of wireless ad hoc networks, particularly algorithmic methods and distributed computing with mobility and computation capabilities. It covers everything readers need to build a foundation for the design of future mobile ad hoc networks:

Esta obra é o resultado da experiência adquirida pelos autores no ensino e na prática do uso acadêmico e profissional dos computadores eletrônicos. Destina-se não apenas aos estudantes que iniciam o curso universitário, mas a todas as pessoas que desejam ou precisam adquirir o conhecimento destas máquinas e de sua utilização, através de uma ou mais linguagens de programação.

As disciplinas Cálculo Numérico e Análise Numérica são usualmente ministradas com o suporte de uma linguagem de programação. No entanto, após a formulação de um método é mais interessante elaborar um algoritmo para depois implementá-lo na linguagem escolhida. Desta forma, somente os aspectos matemáticos são considerados ao fazer o algoritmo, ficando os detalhes da linguagem para uma etapa seguinte.Essa metodologia é adotada em Algoritmos Numéricos. Um método é apresentado, são mostrados exemplos de sua utilização e ao final é proposto um algoritmo e a sua complexidade computacional.

Livro: Theories and Experiences for Real-Time System Development.

As imagens digitais são de fundamental importância para diversos ramos do conhecimento, como medicina, biologia, artes e automação industrial. Este livro aborda, de maneira abrangente, os principais temas relacionados às áreas de processamento e análise de imagens, buscando fundamentá-los do ponto de vista matemático e ilustrá-los por meio de vários exemplos para auxiliar a compreensão de seus aspectos teóricos e práticos.

Livro: Formal Methods for Real-Time Computing.

Focusing on formal methods, this book offers a complete coverage of new developments with emphasis on practical application. Starting with a survey of formal methods for real-time systems, topics include program specification, formal methods, analyzing, and design of real-time systems. The book is essential reading for developers of safety critical systems and researchers in the field.