This book goes into mathematical foundations and the core subjects of CAED without allowing itself to be overshadowed by ...
Weiterlesen
The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those ...
Weiterlesen
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Weiterlesen
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Weiterlesen
This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...
Weiterlesen
Computer algebra systems are revolutionizing the teaching, the learning, and the exploration of science. Not only can students ...
Weiterlesen
Computer algebra systems are revolutionizing the teaching, the learning, and the exploration of science. Not only can students ...
Weiterlesen
Over two hundred novel and innovative computer algebra worksheets or ""recipes"" will enable readers in engineering, ...
Weiterlesen
The book covers not only various expanding applications of computer algebra to scientific computing but also the computer ...
Weiterlesen
The book covers not only various expanding applications of computer algebra to scientific computing but also the computer ...
Weiterlesen
This volume contains the proceedings of the CASC 2005 continued a tradition — started in 1998 — of international con-ferences ...
Weiterlesen
Possibly the most comprehensive overview of computer graphics as seen in the context of geometric modelling, this two volume ...
Weiterlesen
Far too often artists, even professionals, lack a basic understanding of the principles of computer graphics resulting in ...
Weiterlesen
Assuming no background in computer graphics, this junior- to graduate-level textbook presents basic principles for the design, ...
Weiterlesen
Security is one of the most significant issues facing the owners and users of computer systems in the Internet age, and recent ...
Weiterlesen
As society becomes increasingly dependent on computers and computer networks, computer problems continue to rise in number. ...
Weiterlesen
For graduate and undergraduate courses in computer science, computer engineering, and electrical engineering. Comprehensively ...
Weiterlesen
Contains new examples and material highlighting the emergence of mobile computing and the cloud. It explores this generational ...
Weiterlesen
Designed to be used in modern computing environments such as cloud computing, mobile devices, and other embedded systems. ...
WeiterlesenComputer recognition systems are nowadays one of the most promising directions in artificial intelligence. This book presents ...
Weiterlesen