Søkt på: Søkeresultat
totalt 3 055 treff
Mathematical Logic for Computer Science
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. …
Managing Breathlessness in Clinical Practice
Breathlessness is increasingly recognised as a common, disabling symptom of many advanced diseases and one that is very difficult to treat. There is now an understanding that a …
A First Course in Discrete Mathematics
Discrete mathematics has now established its place in most undergraduate mathematics courses. This textbook provides a concise, readable and accessible introduction to a number …
Risk Management
Risk management is a decision-making process which considers various factors with risk assessments relating to a potential hazard, in order to develop regulatory response options. …
Designing Reliable Distributed Systems
This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting …
Mathematics for Finance
Mathematics for Finance: An Introduction to Financial Engineering combines financial motivation with mathematical style. Assuming only basic knowledge of probability and calculus, …
Functional Analysis, Calculus of Variations and Optimal Control
Functional analysis owes much of its early impetus to problems that arise in the calculus of variations. In turn, the methods developed there have been applied to optimal control, …
An Introduction to Number Theory
An Introduction to Number Theory provides an introduction to the main streams of number theory. Starting with the unique factorization property of the integers, the theme of …
The Heart of Leonardo
This book contains all of Leonardo Da Vinci's drawings on the heart and its physiology, accompanied by re-translations of all of the associated notes. All Leonardo's drawings have …
Model Predictive Control
From power plants to sugar refining, model predictive control (MPC) schemes have established themselves as the preferred control strategies for a wide variety of processes. The …
Observing the Moon
Why write another guide to observing the Moon? That was the question I was pondering as I began this project, having a fine collection of "classic" lunar guidebooks dating back to …
Offshore Risk Assessment Vol. 1
This is the first textbook to address quantified risk assessment (QRA) as specifically applied to offshore installations and operations. As the first part of the two-volume updated …