A Roadmap for Formal Property Verification
This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
Lee masA Short Course in Foundation Engineering
Although there are now a large number of computer programmes for solving all sorts of foundation design problems, the need ...
Lee mas
A Short Course in Quantum Information Theory : An Approach From Theoretical Physics
This short and concise primer takes the vantage point of theoretical physics and the unity of physics. It sets out to strip ...
Lee mas
A Short Media History of English Literature / Ingo Berensmeyer
This book explores the history of literature as a history of changing media and modes of communication, from manuscript to ...
Lee mas
A Space of Their Own: The Archaeology of Nineteenth Century Lunatic Asylums in Britain, South Australia and Tasmania
The history of lunatic asylums – what do we really know about them? Films and television programs have portrayed them as ...
Lee mas
A Trading Desk View of Market Quality
"Market quality" is a complex, ambiguous term that means different things to different people. How should it be defined, ...
Lee mas
A dictionary of law / Jonathan Law
A Dictionary of Law' is an essential reference work, described by leading university lecturers as 'the best law dictionary' ...
Lee mas
Abord Clinique des Urgences au Domicile du Patient = Emergency Clinic at the Patient's Home
The general practitioner finds himself alone in the face of difficult and urgent situations. Her internship years taught ...
Lee mas
Abstraction Refinement for Large Scale Model Checking
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
Lee mas
Acoustic Emission Testing : Basics for Research - Applications in Civil Engineering
The book covers all levels from the description of AE basics for AE beginners (level of a student) to sophisticated AE algorithms ...
Lee mas
Acute Promyelocytic Leukemia
Over the past 10 years, work on acute promyelocytic leukemia (APL) has become the paradigm of translational research that ...
Lee mas
Ad-Hoc Networking Towards Seamless Communications
Ad-Hoc Networking Towards Seamless Communications is dedicated to an area that attracts growing interest in academia and ...
Lee mas
Adaptable Architecture: Theory and practice / Robert Schmidt, Simon Austin, James Pinder
provides thought-provoking and inquisitive insights into how we can prolong the useful life of buildings by designing them ...
Lee mas
Adaptive Filtering : Algorithms and Practical Implementation
The book presents basic concepts of adaptive signal processing and filtering in a concise and straightforward manner. It ...
Lee mas
Adaptive Low-Power Circuits for Wireless Communications
Adaptive radio transceivers require a comprehensive theoretical framework in order to optimize their performance. Adaptive ...
Lee mas
Adaptive Multi-Standard RF Front-Ends
Adaptive Multi-Standard RF Front-Ends investigates solutions, benefits, limitations and costs related to multi-standard operation ...
Lee masAdaptive Structural Systems with Piezoelectric Transducer Circuitry
Adaptive Structural Systems with Piezoelectric Transducer Circuitry provides a comprehensive discussion of the integration ...
Lee mas
Adaptive Techniques for Dynamic Processor Optimization : Theory and Practice
This book discusses the different approaches and responses to adaptive techniques used for processor power, frequency and ...
Lee mas
Adaptive Techniques for Mixed Signal System on Chip
Adaptive Techniques for Mixed Signal Sytem on Chip discusses the concept of adaptation in the context of analog and mixed ...
Lee mas
Adaptive-Robust Control with Limited Knowledge on Systems Dynamics
investigates the role of artificial input delay in approximating unknown system dynamics, referred to as time-delayed control ...
Lee mas
