This book describes in contributions by scientists and practitioners the development of scientific concepts, technologies, ...
WeiterlesenThis book for a researcher needs to perform microsimulation for population projections, building its own model with a common ...
WeiterlesenMicrostructured Polymer Optical Fibres describes the optical properties of microstructured fibres, how they are made and ...
WeiterlesenThis book constitutes the refereed proceedings of the ACM/IFIP/USENIX 7th International Middleware Conference 2006, held ...
WeiterlesenThe general tone of the book is not "from theory to practice," but "from current practice to better practice." The third ...
Weiterlesenprovides an analysis of university missions over time and space. It starts out by presenting a governance framework focusing ...
WeiterlesenMixed-Signal Layout Generation Concepts covers important physical-design issues that exist in contemporary analog and mixed-signal ...
WeiterlesenThis book covers the various approaches to modelling and optimising the spray and mixture formation processes in modern internal ...
WeiterlesenThis book provides a concise introduction to a critical development in memory studies. A global memory formation has emerged ...
WeiterlesenThis book constitutes the refereed proceedings of the Third International Conference on Mobile Ad-hoc and Sensor Networks, ...
WeiterlesenConstitutes the refereed proceedings of the First International Conference on Mobile Ad-hoc and Sensor Networks held in 2005. ...
WeiterlesenModern economies depend on innovation in services for their future growth. Service innovation increasingly depends on information ...
WeiterlesenThis book assesses this research frontier from a computer science perspective, investigating the various scientific and technological ...
WeiterlesenThe abstract concept of "information" can be quantified and this has led to many important advances in the analysis of ...
WeiterlesenThis book describes new, model based teaching methods for science instruction. It presents research that describes these ...
WeiterlesenThis book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...
WeiterlesenConstitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...
Weiterlesenhe name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...
WeiterlesenThis book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...
WeiterlesenThis book constitutes the thoroughly refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence, ...
Weiterlesen