Electronic Books

Total Books: 861 - 880 /2078

As a creative professional or interactive developer, you’ll be amazed at the exciting possibilities presented to you by ...

In this book, you’ll find a number of concrete Flash usability solutions that use elements such as navigation menus, data ...

Flex Solutions: Essential Techniques for Flex 2 and Flex 3 Developers faces problems and provides solutions that can be applied ...

This volume collects selected contributions on the application of heterogeneous methods for managing uncertainty and imprecision ...

Forecasting Oracle Performance is the first book to focus squarely on the problem of forecasting the future performance of ...

In the second edition of this very successful book, Tony Sammes and Brian Jenkinson show how information held in computer ...

In the second edition of this very successful book, Tony Sammes and Brian Jenkinson show how information held in computer ...

In the second edition of this very successful book, Tony Sammes and Brian Jenkinson show how information held in computer ...

The 2005 BISC International Special Event-BISCSE’05 " FORGING THE FRONTIERS" was held in the University of California, ...

The chapters of the book are evolved from presentations made by selected participants at the meeting and organized in two ...

The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA ...

Thepresentvolumecontainsthepost-proceedingsofthe4thInternationalWo- shop on Formal Aspects in Security and Trust (FAST2006). ...

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Aspects in Security ...

This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...

This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods ...

This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...

This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open ...

This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems ...

Total Books: 861 - 880 /2078