This book, "Integrated Chemical Microsensor Systems in CMOS Technology", provides a comprehensive treatment of the highly ...
Lee mas
Papers cover high level design, low power design techniques, low power analog circuits, statistical static timing analysis, ...
Lee mas
Welcome to the proceedings of PATMOS 2005, the 15th in a series of international workshops.PATMOS2005wasorganizedbyIMECwithtechnicalco-sponsorshipfrom ...
Lee mas
Welcome to the proceedings of PATMOS 2006, the 16th in a series of international workshops. PATMOS 2006 was organized by ...
Lee mas
One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal ...
Lee mas
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Lee mas
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
Lee mas
Full colour throughout, the book explores programming language developments from machine code to more natural language forms, ...
Lee masThe aim of this book is to document for the first time the dimensions and requirements of effective integrated groundwater ...
Lee mas
The book presents the latest developments in simulation of integrated processes as well as new methods of process synthesis ...
Lee mas
Integrated Research in Grid Computing presents a selection of the best papers presented at the CoreGRID Integration Workshop ...
Lee mas
Drawing upon a worldwide survey of river basin organizations and in-depth studies of eight river basins in a variety of locations ...
Lee mas
Growing populations and rising standards of living exert stress on water supply and the quality of drinking water. In wastewater ...
Lee mas
This book introduced a whole range of specific definitions, objectives and constraints regarding the various aspects of water ...
Lee mas
Integrated Water Resources Management and Security in the Middle East brings together diverse voices relating to the critical ...
Lee mas
This book is composed of six parts, each focusing on a specific theme: Human Resource Planning; Human Aspects in the Digital ...
Lee mas
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lee mas
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lee mas
This book constitutes the refereed proceedings of the 4th International Conference on Integration of AI and OR Techniques ...
Lee mas
The 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization ...
Lee mas