Electronic Books

Total Books: 1521 - 1540 /8020

This book goes into mathematical foundations and the core subjects of CAED without allowing itself to be overshadowed by ...

The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those ...

This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...

This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...

This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...

Computer algebra systems are revolutionizing the teaching, the learning, and the exploration of science. Not only can students ...

Computer algebra systems are revolutionizing the teaching, the learning, and the exploration of science. Not only can students ...

Over two hundred novel and innovative computer algebra worksheets or ""recipes"" will enable readers in engineering, ...

The book covers not only various expanding applications of computer algebra to scientific computing but also the computer ...

The book covers not only various expanding applications of computer algebra to scientific computing but also the computer ...

This volume contains the proceedings of the CASC 2005 continued a tradition — started in 1998 — of international con-ferences ...

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

Assuming no background in computer graphics, this junior- to graduate-level textbook presents basic principles for the design, ...

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

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

For graduate and undergraduate courses in computer science, computer engineering, and electrical engineering. Comprehensively ...

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

Designed to be used in modern computing environments such as cloud computing, mobile devices, and other embedded systems. ...

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

Total Books: 1521 - 1540 /8020