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