Electronic Books

Total Books: 2041 - 2060 /5636

This book presents 19 revised invited keynote lectures and revised tutorial lectures given by top-researchers at the 4th ...

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This ...

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...

This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International ...

Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, ...

This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...

The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement ...

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

The main objective of this book is to develop a strategy and policy measures to enhance the formalization of the shadow economy ...

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

This collection of formulas has been written by applied scientists and industrial engineers for design professionals and ...

Provides the comprehensive knowledge and instruction necessary for researchers to design and create cosmetics products. The ...

A pharmaceutical scientist’s approach toward solubility enhancement of a poorly water-soluble molecule typically includes ...

In Fostering Innovation: How to Build an Amazing IT Team, accomplished technology strategist, executive, and leader Andrew ...

This book is a compilation of case studies that provide useful knowledge and lessons that derive from on-the-ground activities ...

This book is all you'll need to learn Flash CS3 from the ground up, or learn about all these new features, if you already ...

Flex is a very powerful and versatile technology for creating web application front-ends. But what every good web application ...

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

Various forms of decentralization are recently pursued in the world, including developing countries. However, there has not ...

What a wonderful occasion it is to be celebrating 65 years of Hugo Sonnenschein! Given his many contributions to economic ...

Total Books: 2041 - 2060 /5636