In Finite Element Design of Concrete Structures: practical problems and their solutions the author addresses this 'blind ...
Lee mas
This guide to fixed appliance-based orthodontics is designed to serve as a comprehensive ‘how to’ manual. It will offer ...
Lee mas
The flat roof is extremely popular with architects. Its essential task is to shelter the space beneath it from the elements. ...
Lee mas
This book constitutes the refereed proceedings of the 23rd British National Conference on Databases, BNCOD 23, held in Belfast, ...
Lee mas
Few fields of medicine have witnessed such impressive progress as the diagnosis and treatment of liver tumors. Advances in ...
Lee mas
Every plan, pro-forma, design, building contract, and construction schedule is a proposal about future places. To help improve ...
Lee mas
Van Laar and Akça’s popular text book, Forest Mensuration, was first published in 1997. Like that first edition, this ...
Lee mas
The chapters of the book are evolved from presentations made by selected participants at the meeting and organized in two ...
Lee mas
This volume examines the basic ideas that underpin the design and remodelling of interior space, from the establishment of ...
Lee mas
Form-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt ...
Lee mas
The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA ...
Lee mas
This book constitutes the refereed proceedings of the 5th International Conference on Formal Concept Analysis, ICFCA 2007. ...
Lee mas
This book constitutes the refereed proceedings of the 4th International Conference on Formal Concept Analysis, held in February ...
Lee mas
The workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...
Lee mas
This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods ...
Lee mas
This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
Lee mas
This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Lee mas
This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...
Lee mas
Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, ...
Lee mas
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering ...
Lee mas