Equips students with the tools they will need to tackle the challenges of sustainable building design and engineering. The ...
اقرأ المزيدEquips students with the tools they will need to tackle the challenges of sustainable building design and engineering. The ...
اقرأ المزيد
                This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
اقرأ المزيد
                This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
اقرأ المزيد
                The first part of this book gives a detailed, self-contained and mathematically rigorous exposition of classical conformal ...
اقرأ المزيد
                Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
اقرأ المزيد
                Factorial design plays a fundamental role in efficient and economic experimentation with multiple input variables and is ...
اقرأ المزيد
                Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...
اقرأ المزيد
                This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...
اقرأ المزيد
                This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
اقرأ المزيد
                This short and concise primer takes the vantage point of theoretical physics and the unity of physics. It sets out to strip ...
اقرأ المزيد
                The history of lunatic asylums – what do we really know about them? Films and television programs have portrayed them as ...
اقرأ المزيد
                The book has three major themes: glimpses into the kind of interesting character he was, key excerpts from his writings, ...
اقرأ المزيدBeing one of the leading causes of death; drowning has become a severe problem in the past few years. Our goal from this ...
اقرأ المزيد
                This book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, ...
اقرأ المزيدPresents the development of “DesignMate”, an innovative AI home decorator application designed to revolutionize interior ...
اقرأ المزيد
                ARIS is ranked as the leading Business Process Modelling tool in the Gartner Quadrant for Business Process Analysis and Optimization. ...
اقرأ المزيد
                Containing tips, techniques and short cuts gained from practical experience, this book show how to use ARIS in an easy way, ...
اقرأ المزيد
                This book focuses on the radiographic changes of malformation syndromes and skeletal dysplasias. It is structured such that ...
اقرأ المزيد
                This volume contains a systematic discussion of wavelet-type inversion formulae based on group representations, and their ...
اقرأ المزيد