Electronic Books

Total Books: 901 - 920 /2309

In Finite Element Design of Concrete Structures: practical problems and their solutions the author addresses this 'blind ...

This guide to fixed appliance-based orthodontics is designed to serve as a comprehensive ‘how to’ manual. It will offer ...

The flat roof is extremely popular with architects. Its essential task is to shelter the space beneath it from the elements. ...

This book constitutes the refereed proceedings of the 23rd British National Conference on Databases, BNCOD 23, held in Belfast, ...

Few fields of medicine have witnessed such impressive progress as the diagnosis and treatment of liver tumors. Advances in ...

Every plan, pro-forma, design, building contract, and construction schedule is a proposal about future places. To help improve ...

Van Laar and Akça’s popular text book, Forest Mensuration, was first published in 1997. Like that first edition, this ...

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

This volume examines the basic ideas that underpin the design and remodelling of interior space, from the establishment of ...

Form-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt ...

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

This book constitutes the refereed proceedings of the 5th International Conference on Formal Concept Analysis, ICFCA 2007. ...

This book constitutes the refereed proceedings of the 4th International Conference on Formal Concept Analysis, held in February ...

The workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...

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

This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...

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

This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...

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

This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering ...

Total Books: 901 - 920 /2309