Leveraging Applications of Formal Methods
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications ...
Lee mas
Life in the Universe : Expectations and Constraints
Energy, chemistry, solvents, and habitats -- the basic elements of living systems - define the opportunities and limitations ...
Lee mas
Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...
Lee mas
Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...
Lee mas
Marine Resource Damage Assessment
MARE-DASM research focused on: (i) the estimation and distribution of marine contaminants in order to assess their long term ...
Lee mas
Markov Decision Processes with Their Applications
Markov decision processes (MDPs), also called stochastic dynamic programming, were first studied in the 1960s. MDPs can be ...
Lee mas
Mathematical Aspects of Classical and Celestial Mechanics
In this book we describe the basic principles, problems, and methods of clssical mechanics. Our main attention is devoted ...
Lee mas
Mathematical Aspects of Classical and Celestial Mechanics
In this book we describe the basic principles, problems, and methods of clssical mechanics. Our main attention is devoted ...
Lee mas
Methodology for the Digital Calibration of Analog Circuits and Systems
Methodology for the Digital Calibration of Analog Circuits and Systems shows how to relax the extreme design constraints ...
Lee mas
Mobile Information Systems (vol. # 158)
This book contains the proceedings of the IFIP TC8 Working Conference on Mobile Information Systems, which was held in September ...
Lee mas
Mobile Information Systems II
This book contains the proceedings of the second IFIP TC8 Working Conference on Mobile Information Systems which was held ...
Lee mas
Model Driven Engineering Languages and Systems : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
Lee mas
Modelling in Mathematical Programming
This book provides basic tools for learning how to model in mathematical programming, from models without much complexity ...
Lee mas
Modern Anesthetics
Some important constraints of anesthesia must be taken into consideration when the pharmacological properties of modern anesthetics ...
Lee mas
Multirate Statistical Signal Processing
This book introduces a statistical theory for extracting information from signals that have di?erent sampling rates. This ...
Lee mas
National Tax Policy in Europe
The book is dedicated to the question of how much room for national tax policy Member States of the European Union will find ...
Lee mas
Networked Sensing Information and Control
In recent years, there has been significant interest and advances in developing systematic techniques to synthesize interactive ...
Lee mas
Nonlinear Analyses and Algorithms for Speech Processing
We present in this volume the collection of ?nally accepted papers of NOLISP 2005 conference. It has been the third event ...
Lee mas
Numerical solution of Variational Inequalities by Adaptive Finite Elements
Franz-Theo Suttmeier describes a general approach to a posteriori error estimation and adaptive mesh design for finite element ...
Lee mas
On the Move to Meaningful Internet Systems: OTM 2008 Workshops : OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008. Proceedings
This volume constitutes the refereed proceedings of 13 international workshops held as part of OTM 2008 in Monterrey, Mexico, ...
Lee mas
