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