Electronic Books

Total Books: 2241 - 2260 /11047

Computer Engineering in Applied Electromagnetism contains papers which were presented at the International Symposium on Electromagnetic ...

Possibly the most comprehensive overview of computer graphics as seen in the context of geometric modelling, this two volume ...

Far too often artists, even professionals, lack a basic understanding of the principles of computer graphics resulting in ...

Security is one of the most significant issues facing the owners and users of computer systems in the Internet age, and recent ...

This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ...

This volume contains the final proceedings for the 2004 Computer Music Model-ing and Retrieval Symposium (CMMR 2004). CMMR ...

As society becomes increasingly dependent on computers and computer networks, computer problems continue to rise in number. ...

This volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Models and Architectures ...

Contains new examples and material highlighting the emergence of mobile computing and the cloud. It explores this generational ...

This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de ...

This book constitutes the thoroughly refereed proceedings of the 21st International Conference on Computer Processing of ...

Computer recognition systems are nowadays one of the most promising directions in artificial intelligence. This book presents ...

It' s important to improving the state of the art of highly depe- able computer-based systems, since then increasingly applied ...

It' s important to improving the state of the art of highly depe- able computer-based systems, since then increasingly applied ...

This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and ...

The conference focuses on the state of the art, expe- ence and new trends in the areas of safety, security and reliability ...

This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...

This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...

This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...

Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...

Total Books: 2241 - 2260 /11047