Search Results: 'Computer Aided Design'


55 results for "Computer Aided Design"
QCAD - An Introduction to Computer-Aided Design By Andrew Mustun
Paperback: $44.93
Ships in 3-5 business days.
QCAD is a professional CAD system that is both very affordable and also easy to learn. This book will teach you how to use QCAD and introduce you to the basic concepts of technical drafting and CAD... More > in general. No technical background or education is required to follow and understand the many examples and detailed step by step instructions in this book.< Less
Antiviral computer-aided drug design By DIMITRIOS VLACHAKIS
Paperback: $45.00
Ships in 3-5 business days.
More than 170 million people worldwide are currently chronically infected with the Hepatitis C virus. Similarly, Dengue fever infects 50 million per year in central Africa. It is the same story for... More > so many other viruses that are members of the flaviviridae family. Disproportionally to the severity of an infection with almost all members of Flaviviridae, no specific antiviral therapy is available today. There are drugs neither for the treatment nor for the prevention upon infection. Scientists have isolated various proteins and extensively study some of them in an attempt to get information that will eventually be combined to a strategy against the viruses. Herein, an effort is made to describe the current status of antiviral research within flaviviridae, homology modelling and structure based drug design techniques that may soon lead to new generation of stratagems against flaviviridae. Finally, insights into novel technologies in drug design technology are provided.< Less
Computer-Aided Reasoning: An Approach By Matt Kaufmann, Panagiotis Manolios, J Moore
Paperback: $22.12
Ships in 3-5 business days.
(1 Ratings)
Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and undergraduate courses on software engineering or formal methods. It is... More > also suitable in conjunction with other books in courses on hardware design, discrete mathematics, and theory. It is also appropriate as a reference for business and industry. In this book we present: * A practical functional programming language closely related to Common Lisp; * A formal logic in which defined functions correspond to axioms; * The computer-aided reasoning system ACL2, which includes mechanical support for the proof process. ACL2 is part of the Boyer-Moore family of theorem provers, for which its authors have received the 2005 ACM Software System Award. ACL2 has been successfully applied to projects of commercial interest, including hardware and software verification. Approximately 140 exercises are distributed throughout the book.< Less
Computer-aided drug design. The HCV family example. By Dimitrios Vlachakis
Hardcover: $28.97
Ships in 6-8 business days.
Hepatitis C and Dengue viruses belong to the family of Flaviviridae. Viruses in this family are enveloped, have positive-sense RNA and are responsible for a variety of life threatening diseases.... More > Hepatitis C virus is the major etiological agent of post-transfusion hepatitis worldwide. An estimated 3 % of the world's population is infected with HCV according to the World Health Organization. Infection with HCV will most regularly result in chronic hepatitis, which leads to liver cirrhosis, hepatocellular carcinoma and liver failure. Dengue is currently the most important viral disease transmitted by mosquitoes afflicting humans the world context. Clinical symptoms range from mild fevers to a severe haemorrhagic disease. To date neither specific antiviral treatments exist nor are there any vaccines available for both infections. Thus there is an urgent need for new therapies.< Less
Proceedings of the 28th Annual Conference of the Association for Computer Aided Design in Architecture (ACADIA) By Andrew Kudless, Neri Oxman, Marc Swackhamer
Paperback: $50.00
Ships in 3-5 business days.
This books documents the keynote lectures and papers of the 2008 ACADIA conference in Minneapolis. The book includes papers by over 50 authors as well as introductory essays by 10 leading researchers... More > in the field of design computation. The theme of the conference was "Biological Processes and Computation". The 10 chapters are: 1. Concepts of Nature and Technology / Biomimetics 2. Generative Design Strategies for Complex Geometry 3. Differentiated Systems, Landscapes, and Cities 4. Approaches to Environmental Performance and Analysis 5. Complexity, Emergence and Self-Organization 6. Materials and Craft Inspired by Nature 7. Evolutionary Computation 8. Non-Standard Production Techniques 9. Spatial Mapping and Interaction 10. Computational Methods for Data Integration< Less
Exhibition Catalog of the 28th Annual Conference of the Association for Computer Aided Design in Architecture (ACADIA) By Bille Fairlcoth, Kiel Moe, David Gissen
Paperback: $40.00
Ships in 3-5 business days.
This book documents the two exhibitions of the 2008 ACADIA conference in Minneapolis: Silicon+Skin and Anxious Climate. The Silicon+Skin exhibition includes 14 projects from emerging designers.... More > Anxious Climates includes work from 3 internationally renowned architecture firms: AMID/cero9, Philippe Rahm Architectes, and R&Sie(n).< Less
Computer-Aided Reasoning: ACL2 Case Studies By Matt Kaufmann, Panagiotis Manolios, J Moore
Paperback: $22.39
Ships in 3-5 business days.
(1 Ratings)
Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software... More > systems. Included here are technical papers written by twenty-one contributors that report on self-contained and fully reproducible case studies, some of which are sanitized industrial projects. The papers deal with a wide variety of areas, including floating-point arithmetic, microprocessor simulation, model checking, symbolic trajectory evaluation, compilation, proof checking, real analysis, and several others. The case studies also contain exercises whose solutions are on the Web. In addition, the complete proof scripts necessary to formalize the models and prove all the properties discussed are on the Web.< Less
Cloud Computing Best Practices - Templates, Documents and Examples of Cloud Computing in the Public Domain PLUS access to for downloading By Jamie Beecham
eBook (PDF): $29.95
Download immediately.
Key Book Benefits: Delivers authoritative, field-tested best practices for working with Cloud Computing. Covers the full lifecycle, from planning, design, and deployment. Includes access to... More > with job aids, utilities, and full downloads of all documents. Drive Better Productivity and Increase Success with this book – Starting Now Discover Real-World Best Practices—Without Paying Expensive Consultants< Less
Hyperseeing - Color Proceedings of SMI - ISAMA/FASE 2013 By Ergun Akleman
Paperback: $30.44
Ships in 3-5 business days.
Color Proceedings of Shape Modleing International 2013 - ISAMA/FASE & Art Exhibition and Video Screening Catalog
Think Pro/ENGINEER Wildfire 4.0 By Steven J. Frey
Paperback: $89.95
Ships in 3-5 business days.
(1 Ratings)
In response to user demand for an easy to understand, straight forward approach to learning the most powerful MCAD software in the world, Think Pro/ENGINEER Wildfire 4.0 presents the material in a... More > logical and progressive manner. Rather than rely on step by step, button click by button click exercises, Think Pro/ENGINEER Wildfire 4.0 focuses on the software features and tools available, how to access them, how to use them, and most importantly, why to use them (or not), allowing the reader to apply these techniques to their every day design tasks and goals. Primarily written for the beginning user, Think Pro/ENGINEER Wildfire 4.0 provides a well rounded and functional understanding of the software, as well as a convenient reference for the experienced user.< Less