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 ...
اقرأ المزيد