A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. ...
Lire la suite
In this volume, the authors take up the challenge of considering what a European ‘settlement’ might look like. In doing ...
Lire la suite
The authors of this book advise the economies of the European Union to become more entrepreneurial in promoting innovation ...
Lire la suite
What is the best way to achieve sustainable energy savings in buildings? This book describes the history, theory and facts ...
Lire la suite
This book of the AIDA Europe Research Series on Insurance Law and Regulation offers the first comprehensive legal and regulatory ...
Lire la suiteIt is now widely recognized that intangible capital has been a crucial element in the growth performance of these economies ...
Lire la suite
This volume contains the papers selected for presentation at IPCO 2002, the NinthInternationalConferenceonIntegerProgrammingandCombinatorial- ...
Lire la suite
Since its start in 1990, the IPCO conference series (held under the auspices of theMathematicalProgrammingSociety)hasbecomeanimportantforumforthe ...
Lire la suite
Constitutes the refereed proceedings of the 12th International Conference on Integer Programming and Combinatorial Optimization, ...
Lire la suite
The volume contains the papers selected for presentation at IPCO 2008, the 13th International Conference on Integer Programming ...
Lire la suite
This book presents a detailed derivation of the spectral properties of the Recursion Operators allowing one to derive all ...
Lire la suite
This work presents a unified treatment of three important integrable problems relevant to both Celestial and Quantum Mechanics. ...
Lire la suite
This book shows in three parts the technology, the fundamentals and the simulation models for the Integral Foam Molding ...
Lire la suite
The quantitative and qualitative study of the physical world makes use of many mathematical models governed by a great diversity ...
Lire la suite
The quantitative and qualitative study of the physical world makes use of many mathematical models governed by a great diversity ...
Lire la suite
This book first establishes a background about concrete structures and porosity linked with concrete hydration, then goes ...
Lire la suite
The objective of this book is to provide up-to-date coverage of some of the emerging developments in the field of integrated ...
Lire la suite
Due to tough competition and increased customer-orientation, companies must improve their management of revenue objectives. ...
Lire la suite
Papers cover high level design, low power design techniques, low power analog circuits, statistical static timing analysis, ...
Lire la suite
Welcome to the proceedings of PATMOS 2005, the 15th in a series of international workshops.PATMOS2005wasorganizedbyIMECwithtechnicalco-sponsorshipfrom ...
Lire la suite