Electronic Books

Total Books: 2701 - 2720 /4490

This book explores the impact that professional volunteers have on the low resource countries they choose to spend time in. ...

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Mobile Information ...

This book constitutes the refereed conference proceedings of the 9th International Conference on Mobile Wireless Middleware, ...

International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and ...

Mobile and Wireless Network Security and Privacy analyzes important security and privacy problems in the realms of wireless ...

The abstract concept of "information" can be quantified and this has led to many important advances in the analysis of ...

This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...

Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...

he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...

This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...

Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS ...

This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages ...

The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...

The volume is based on the papers that were presented at the international conference Model-Based Reasoning in Science and ...

The First International Workshop on Model-Based Software and Data Integ- tion (MBSDI 2008), was ourfrst event of this kind ...

Covers important topics and approaches related to the modeling and simulation of complex communication networks from a complex ...

This extensively revised second edition of Modeling Biological Systems: Principles and Applications describes the essentials ...

The 17 articles in this state-of-the-art survey address artificial intelligence research on communicative agents and also ...

Decision modeling is a key area in the developing field of AI, and this timely work connects researchers and professionals ...

Total Books: 2701 - 2720 /4490