Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
A Comprehensive Framework for Evaluating Sustainable Green Building Indicators under an Uncertain Environment
The paper focuses on the dimensions and indicators of sustainable design for GBs in developing countries to achieve the positive dimensions of building sustainability, such as preserving energy and natural resources, water management, adaptation to the surrounding environment, and respecting the needs of its users.
Neutrosophic Systems with Applications (NSWA), Vol. 9, 2023
Papers on neutrosophic and plithogenic sets, logics, probabilities and statistics, on NeutroAlgebra and AntiAlgebra, NeutroGeometry and AntiGeometry, SuperHyperAlgebra and Neutrosophic SuperHyperAlgebra, etc…
Neutrosophic Sets and Systems, vol. 49/2022
“Neutrosophic Sets and Systems” has been created for publications on advanced studies in neutrosophy, neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics that started in 1995 and their applications in any field, such as the neutrosophic structures developed in algebra, geometry, topology, etc. Neutrosophy is a new branch of philosophy that studies the origin, nature, and scope of neutralities, as well as their interactions with different ideational spectra. This theory considers every notion or idea together with its opposite or negation
New Trends in Intelligent Software Methodologies, Tools and Techniques
The integration of AI with software is an essential enabler for science and the new economy, creating new markets and opportunities for a more reliable, flexible and robust society. Current software methodologies, tools and techniques often fall short of expectations, however, and much software remains insufficiently robust and reliable for a constantly changing and evolving market. This book presents 54 papers delivered at the 20th edition of the International Conference on New Trends in Intelligent Software Methodology Tools, and Techniques (SoMeT_21), held in Cancun, Mexico, from 21–23 September 2021. The aim of the conference was to capture the essence of a new state-of-the-art in soft...
Logic, Rewriting, and Concurrency
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday. These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25, 2015. The symposium also featured invited talks by Claude and Hélène Kirchner and by Patrick Lincoln. The foreword of this volume adds a brief overview of some of José's many scientific achievements followed by a bibliography of papers written by José.
Understanding Petri Nets
With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a modeling technique in areas such as software design and control engineering. The core theoretical principles have been studied for many decades and there is now a comprehensive research literature that complements the extensive implementation experience. In this book the author presents a clear, thorough introduction to the essentials of Petri nets. He explains the core modeling techniques and analysis methods and he illustrates their usefulness with examples and case studies. Part I describes ho...
Evaluating Software Architectures
This Book Describes Systematic Methods For Evaluating Software Architectures And Applies Them To Real-Life Cases. Evaluating Software Architectures Introduces The Conceptual Background For Architecture Evaluation And Provides A Step-By-Step Guide To The Process Based On Numerous Evaluations Performed In Government And Industry.
Authority, Continuity and Change in Islamic Law
Wael B. Hallaq is regarded as one of the leading scholars in the field of Islamic law. In a path-breaking new book, the author shows how authority guaranteed both continuity and change in Islamic law. While the role of the law schools in augmenting these processes was of the essence, the author demonstrates that it was the construction of the absolutist authority of the school founder, an image which he suggests was actually developed later in history, that maintained the foundations of school methodology and hermeneutics. The defence of that methodology gave rise to an infinite variety of individual legal opinions, ultimately accommodating changes in the law. Thus the author concludes that the mechanisms of change were embedded in the very structure of Islamic law, despite its essentially conservative nature. This book will be welcomed by specialists and scholars in Islamic law for its rigour and innovation.
Decision Making in Manufacturing Environment Using Graph Theory and Fuzzy Multiple Attribute Decision Making Methods
Decision Making in Manufacturing Environment Using Graph Theory and Fuzzy Multiple Attribute Decision Making Methods presents the concepts and details of applications of MADM methods. A range of methods are covered including Analytic Hierarchy Process (AHP), Technique for Order Preference by Similarity to Ideal Solution (TOPSIS), VIšekriterijumsko KOmpromisno Rangiranje (VIKOR), Data Envelopment Analysis (DEA), Preference Ranking METHod for Enrichment Evaluations (PROMETHEE), ELimination Et Choix Traduisant la Realité (ELECTRE), COmplex PRoportional ASsessment (COPRAS), Grey Relational Analysis (GRA), UTility Additive (UTA), and Ordered Weighted Averaging (OWA). The existing MADM methods a...
