Covers everything from wave propagation to reflection and refraction, guided waves, and transmission lines, providing a comprehensive ...
Lire la suite
Mid-infrared Semiconductor Optoelectronics is an overview of the current status and technological development in this rapidly ...
Lire la suite
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 7th International Middleware Conference 2006, held ...
Lire la suite
The general tone of the book is not "from theory to practice," but "from current practice to better practice." The third ...
Lire la suite
provides an analysis of university missions over time and space. It starts out by presenting a governance framework focusing ...
Lire la suite
Mixed-Signal Layout Generation Concepts covers important physical-design issues that exist in contemporary analog and mixed-signal ...
Lire la suite
This book covers the various approaches to modelling and optimising the spray and mixture formation processes in modern internal ...
Lire la suite
This book provides a concise introduction to a critical development in memory studies. A global memory formation has emerged ...
Lire la suite
Historically, not enough was understood about how to deliver a high quality playing experience on handheld, small screen, ...
Lire la suite
This book constitutes the refereed proceedings of the Third International Conference on Mobile Ad-hoc and Sensor Networks, ...
Lire la suite
Constitutes the refereed proceedings of the First International Conference on Mobile Ad-hoc and Sensor Networks held in 2005. ...
Lire la suite
Modern economies depend on innovation in services for their future growth. Service innovation increasingly depends on information ...
Lire la suite
This book assesses this research frontier from a computer science perspective, investigating the various scientific and technological ...
Lire la suite
The abstract concept of "information" can be quantified and this has led to many important advances in the analysis of ...
Lire la suite
This book describes new, model based teaching methods for science instruction. It presents research that describes these ...
Lire la suite
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...
Lire la suite
Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...
Lire la suite
he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...
Lire la suite
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...
Lire la suite
This book constitutes the thoroughly refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence, ...
Lire la suite