Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
SketchUp 7.1 for Architectural Visualization: Beginner's Guide
SketchUp 7.1 for Architectural Visualization: Beginner's Guide

Google SketchUp, the most popular architectural software package, is used by millions of architects and visualizers throughout the world. But what you may not know is that it's also the most powerful 3D design software on the market. With this book in hand and patented technology such as the PhotoMatch, Push-Pull, and Face-me components...

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) (v. 129)
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) (v. 129)

Concurrent processes can exhibit extremely complicated behavior, and neither informal reasoning nor testing is reliable enough to establish their correctness. In this thesis, we develop a new technique for the verification of parallel programs. The technique is stated in terms of axioms and inference rules, and it is used to prove...

A Statistical Guide for the Ethically Perplexed
A Statistical Guide for the Ethically Perplexed

For disciplines concerned with human well-being, such as medicine, psychology, and law, statistics must be used in accordance with standards for ethical practice. A Statistical Guide for the Ethically Perplexed illustrates the proper use of probabilistic and statistical reasoning in the behavioral, social, and biomedical...

Normative Externalism
Normative Externalism
Normative Externalism argues that it is not important that people live up to their own principles. What matters, in both ethics and epistemology, is that they live up to the correct principles: that they do the right thing, and that they believe rationally. This stance, that what matters are the correct principles, not one's...
Logic and Information Flow (Foundations of Computing)
Logic and Information Flow (Foundations of Computing)

The thirteen chapters written expressly for this book by logicians, theoretical computer scientists, philosophers, and semanticists address, from the perspective of mathematical logic, the problems of understanding and studying the flow of information through any information-processing system.The logic of information flow has applications in...

Reasoning in Event-Based Distributed Systems (Studies in Computational Intelligence)
Reasoning in Event-Based Distributed Systems (Studies in Computational Intelligence)

Event-based distributed systems are playing an ever increasing role in areas such as enterprise management, information dissemination, finance, environmental monitoring and geo-spatial systems. Event-based processing originated with the introduction of Event-Condition-Action (ECA) rules to database systems in the 1980s. Since then,...

Computational Intelligence for Decision Support (International Series on Computational Intelligence)
Computational Intelligence for Decision Support (International Series on Computational Intelligence)

Intelligent decision support relies on techniques from a variety of disciplines, including artificial intelligence and database management systems. Most of the existing literature neglects the relationship between these disciplines. By integrating AI and DBMS, Computational Intelligence for Decision Support produces what other texts...

The Essential Patient Handbook: Getting the Health Care You Need - From Doctors Who Know
The Essential Patient Handbook: Getting the Health Care You Need - From Doctors Who Know

The Essential Patient Handbook was written for the millions of Americans who are dissatisfied with their medical care, and are looking for a practical no-nonsense way to get the help they need from their doctors. It contains lessons learned by two doctors (husband and wife) who endured immense challenges on the patient side of the...

Epistemology, Context, and Formalism (Synthese Library)
Epistemology, Context, and Formalism (Synthese Library)

The main purpose of the present volume is to advance our understanding of the notions of knowledge and context, the connections between them and the ways in which they can be modeled, in particular formalized – a question of prime importance and utmost relevance to such diverse disciplines as philosophy, linguistics, computer science...

IT Security Management: IT Securiteers - Setting up an IT Security Function (Lecture Notes in Electrical Engineering)
IT Security Management: IT Securiteers - Setting up an IT Security Function (Lecture Notes in Electrical Engineering)

In 1862, the gardener James Bateman sent several specimens of the Christmas orchid to Charles Darwin. This orchid was first planted in Britain in 1855 and it did not blossom until 1857. It had been discovered several decades before by the French botanist Louis-Marie Aubert du Petit-Thouars in Madagascar in 1822. The most significant...

OpenCart 1.4 Beginner's Guide
OpenCart 1.4 Beginner's Guide

OpenCart is a popular open source shopping cart solution and provides elegantly written tools to establish a fully functional online store from scratch in a very short time with intuitive screens. It can be a difficult task for beginners to go beyond the basics and apply all the features, which they will require for their businesses.

...

Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings
Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings

This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully selected from 191 submissions. Topics covered...

Result Page: 33 32 31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 
©2019 LearnIT (support@pdfchm.net) - Privacy Policy