Electronic Books

Total Books: 1641 - 1660 /4490

FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee ...

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for ...

This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for ...

These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) ...

Elaborate the formalization phase of banking supervision in eight developed countries—USA, Japan, Sweden, Germany, Switzerland, ...

Networks of firms have been in the focus of management research for several years. Recently, special attention has been paid ...

This book attempts to show that an examination of the list’s formal features has the potential to produce genuine insights ...

All Flex applications look the same—a blue-gray background and silver-skinned components—right? That doesn't have to ...

In this book, we look specifically at using Dreamweaver's built-in server behaviors to build dynamic web sites using PHP ...

Foundations of 3D Graphics Programming is an innovative shortcut to graphics theory and programming using JOGL, a new vehicle ...

This thoroughly updated and enhanced second edition of Foundations of 3D Graphics Programming is an innovative shortcut ...

The book is divided into three parts. The first part is concerned with hyperbolic geometry and discrete groups. The main ...

The book is divided into three parts. The first part is concerned with hyperbolic geometry and discrete groups. The main ...

This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...

This book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge ...

This volume contains the papers selected for presentation at the 13th International Symposium on Methodologies for Intelligent ...

This volume contains the papers selected for presentation at the 15th International S- posiumonMethodologiesforIntelligentSystems, ...

This book constitutes the refereed proceedings of the 16th International Symposium on Methodologies for Intelligent Systems, ...

This book constitutes the refereed proceedings of the 17th International Symposium on Methodologies for Intelligent Systems, ...

The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested ...

Total Books: 1641 - 1660 /4490