Computer Aided Engineering Design
This book goes into mathematical foundations and the core subjects of CAED without allowing itself to be overshadowed by ...
Lire la suite
Computer Aided Pharmaceutics and Drug Delivery : An Application Guide for Students and Researchers of Pharmaceutical Sciences / Vikas Anand Saharan
Examines the role of computer-assisted techniques for discovering, designing, optimizing and manufacturing new, effective, ...
Lire la suite
Computer Aided Systems Theory – EUROCAST 2005
The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those ...
Lire la suite
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...
Lire la suite
Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
Lire la suite
Computer Algebra Recipes for Mathematical Physics
Over two hundred novel and innovative computer algebra worksheets or ""recipes"" will enable readers in engineering, ...
Lire la suite
Computer Algebra in Scientific Computing
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, ...
Lire la suite
Computer Algebra in Scientific Computing
This book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC ...
Lire la suite
Computer Algebra in Scientific Computing
The book covers not only various expanding applications of computer algebra to scientific computing but also the computer ...
Lire la suite
Computer Algebra in Scientific Computing
The book covers not only various expanding applications of computer algebra to scientific computing but also the computer ...
Lire la suite
Computer Algebra in Scientific Computing (vol. # 3718)
This volume contains the proceedings of the CASC 2005 continued a tradition — started in 1998 — of international con-ferences ...
Lire la suite
Computer Analysis of Images and Patterns
This volume presents the proceedings of the 11th International Conference on Computer Analysis of Images and Patterns (CAIP ...
Lire la suite
Computer Analysis of Images and Patterns
This volume covers motion detection and tracking, medical imaging, biometrics, color, curves and surfaces beyond two dimensions, ...
Lire la suite
Computer Analysis of Images and Patterns
This volume covers motion detection and tracking, medical imaging, biometrics, color, curves and surfaces beyond two dimensions, ...
Lire la suite
Computer Applications in Sustainable Forest Management
Computer Applications in Sustainable Forest Management presents state-of-the-art computer applications in a variety of specialty ...
Lire la suite
Computer Graphics for Artists: An Introduction
Far too often artists, even professionals, lack a basic understanding of the principles of computer graphics resulting in ...
Lire la suite
Computer Insecurity
Security is one of the most significant issues facing the owners and users of computer systems in the Internet age, and recent ...
Lire la suite
Computer Music Modeling and Retrieval. Sense of Sounds : 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Computer Music Modeling ...
Lire la suite
Computer Network Security
This volume focus on mathematical aspects of information and computer network security addressing the ever-increasing demands ...
Lire la suite
Computer Network Security
This volume focus on mathematical aspects of information and computer network security addressing the ever-increasing demands ...
Lire la suite
