Formal Methods for Software Engineering: Languages, Methods, Application Domains

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as…

Agromining: Farming for Metals

This second and expanded edition of the first book on agromining (phytomining) presents a comprehensive overview of the metal farming & recovery of the agromining production chain. Agromining is an emerging technology that aims to transform the extraction of sources of target elements not accessible by traditional mining and processing techniques. Agromining, which is based on sustainable devel…

Cities' Identity Through Architecture and Arts

This book covers a broad range of topics relating to architecture and urban design, such as the conservation of cities’ culture and identity through design and planning processes, various ideologies and approaches to achieving more sustainable cities while retaining their identities, and strategies to help cities advertise themselves on the global market. Every city has its own unique id…

Psychology, Learning, Technology: First International Conference, PLT 2022, F…

This open access book constitutes the refereed proceedings of 1st International Workshop on Psychology, Learning, Technology, PLT 2022, Foggia, Italy, during January 2022. The 8 full papers presented here were carefully reviewed and selected from 23 submissions. In addition, one invited paper is also included. Psychology, Learning, ad Technology Conference (PLT2022) aims to explore learning…

Kardiologi dan Kelainan Vaskular

Edition

-

ISBN/ISSN

978-981-4570-84-8

Collation

xvi, 463hlm.; ilus.; 21cm

Series Title

Crash Course

Call Number

616.12 Chu k

ANALISIS KEBUTUHAN AIR IRIGASI (STUDI KASUS PADA DAERAH IRIGASI SUNGAI AIR KE…

Irrigation water rcquircments as a whole necds to bc known because it is one important step that is rcquircd in the planning and management of irrigation systems. Accordingly, the purpose of this study is to analyze the needs of irrigation water in order to get the predietion value of the irrigation water requirement of maximum and minimum in the area of study in this area is Air Keban River Ir…

APLIKASI SIMPAN PINJAM PADA KOPERASI SWAKARTA.

In carrying out its savings and loan business activities, the Swakarta Cooperative still keeps records of savings and loans manually in a notebook. These records will only be transferred to an excel file when making financial reports. Recording done in this way is prone to damage or loss of records previously made. The limitations of the problems discussed in this study include savings, loans, …

Civil and Environmental Engineering for the Sustainable Development Goals

This open access volume collects emerging issues in Environmental and Civil Engineering, originating from outstanding doctoral dissertations discussed at Politecnico di Milano in 2021. The advanced innovative insights provided are presented with reference to the relevant sustainable development goals (SDGs), hoping that scientists, technicians and decision makers will find them as a valid suppo…

Complex Cases of Personality Disorders

This book proposes an integrated model of treatment for Personality Disorders (PDs) that goes beyond outdated categorical diagnoses, aiming to treat the general factors underlying the pathology of personality. The authors emphasize the development of metacognitive functions and the integration of procedures and techniques of different psychotherapies. The book addresses the treatment of comple…

ANALISIS KEBISINGAN DAN GETARAN MESIN PERAJANG PAKAN TERNAK

This research aims to determine the level of noise and vibration in animal feed chopper machines. The research was conducted from May 2023 to June 2023 at the Green House of the Department of Agricultural Technology, Faculty of Agriculture, Sriwijaya University, Indralaya, South Sumatra. The research method used a descriptive method with data presentation in graph, contour, and table. This rese…

Publik Relations Writing: Teknik Produksi Media Publik relations dan Publisit…

Edition

1

ISBN/ISSN

978-602-9413-08-3

Collation

xvii, 294 hlm.: ilus.; 23 cm.

Series Title

-

Call Number

659.2 Kri p

Knowledge Society and Education in the Asia-Pacific

This book explores recent trends in the knowledge-based society and education field in Asia-Pacific and discusses future challenges in the region. It presents studies on the development of scientific thought in the field on the knowledge-based society in the Pacific Circle. This book explores the theoretical framework of the knowledge-based society framed by the borders imposed by the Pacific O…

Aplikasi Bakteriofag dalam Kultur Jaringan Tanaman

Edition

-

ISBN/ISSN

978-623-467-702-7

Collation

xi, 69 hlm.; ilus.; 23 cm.

Series Title

-

Call Number

630.2 Ram a

EVALUASI KESESUAIAN LAHAN UNTUK TANAMAN LEGUME COVER CROP DI IUP BANKO BARAT …

Reclamation activities can be carried out by covering the surface of the post-coal mining land. One of them is planting LCC plants which function to reduce the impact power of rainwater and reduce the discharge of water on the soil surface, this planting also has a positive impact on the post-coal mining land ecosystem. In its activities, PT Bukit Asam Tbk uses two types of LCC plants namely Ce…

PEMBERDAYAAN KELOMPOK TANI DALAM MENINGKATKAN PRODUKTIVITAS DAN PENDAPATAN PE…

Farmer group empowerment is a series of activities carried out to improve farmers' knowledge and skills through training and counseling in order to realize independent and competitive farmers. The phenomenon found in the field is the lack of knowledge and skills of farmers and the helplessness of farmer groups in Suspension Bridge Village which has an impact on crop yields, production and incom…

FENOMENA TREND THRIFTING SEBAGAI GAYA HIDUP DIKALANGAN MAHASISWA FISIP UNIVER…

The significant volume and value of Thrifting clothing imports in Indonesia indicate a strong preference for Thrifting among the public, including students at FISIP Sriwijaya University. As an alternative to conventional clothing consumption, this research aims to explore the motives and meanings behind the Thrifting trend as a lifestyle among students at FISIP Sriwijaya University, Indralaya C…

Parasitic Antenna Arrays for Wireless MIMO Systems

This book unites two different technologies: parasitic antenna arrays driven via analogue circuits that control the electromagnetic waves generated by the antenna array; and MIMO technology for multi-antenna arrays, typically driven by digital techniques in the baseband domain. The combination of these two technologies has revealed a novel functionality that breaks through the conventional MIMO…

Subsonic Combustion Ramjet Design

Edition

-

ISBN/ISSN

978-3-030-66881-5

Collation

x, 115p.:Ill

Series Title

SpringerBriefs in Applied Sciences and Technology

Call Number

629.134 353 5 Ing s

Monitoring Multimode Continuous Processes

Edition

-

ISBN/ISSN

978-3-030-54738-7

Collation

xx, 153p.:Ill

Series Title

Studies in Systems, Decision and Control

Call Number

620.004 4 Qun m

Theory of Elasticity and Plasticity

This book serves as a core text for university curricula in solid body mechanics and, at the same time, examines the main achievements of state of the art research in the mechanics of elastic and non-elastic materials. This latter goal of the book is achieved through rich bibliographic references, many from the authors’ own work. authors. Distinct from similar texts, there are no claims in th…

Mathematical Modelling and Numerical Analysis of Size-Dependent Structural Me…

This book is devoted to researchers and teachers, as well as graduate students, undergraduates and bachelors in engineering mechanics, nano-mechanics, nanomaterials, nanostructures and applied mathematics. It presents a collection of the latest developments in the field of nonlinear (chaotic) dynamics of mass distributed-parameter nanomechanical structures, providing a rigorous and comprehensiv…

Future Interior Concepts

Edition

-

ISBN/ISSN

978-3-030-51044-2

Collation

vii, 100p.:Ill

Series Title

SpringerBriefs in Applied Sciences and Technology

Call Number

629.231 Fut

Potential of Water Injection for Gasoline Engines by Means of a 3D-CFD Virtua…

Edition

-

ISBN/ISSN

978-3-658-32755-2

Collation

xli, 170p.:Ill

Series Title

Wissenschaftliche Reihe Fahrzeugtechnik Universität Stuttgart

Call Number

629.250 3 Vac p

Model Fire in a Two-Storey Timber Building

This book addresses the performance of a multi-storey timber building subjected to a model fire that represents a real, potentially devastating internal fire. Readers will learn about factors concerning fire hazards in buildings; the mechanisms of how fires start and spread; and the degrading impact of fire on wood and wood-based materials, especially their mechanical properties. The book also …

Networks in the Global World V

This proceedings book presents state-of-the-art developments in theory, methodology, and applications of network analysis across sociology, computational science, education research, literature studies, political science, international relations, social media research, and urban studies. The papers comprising this collection were presented at the Fifth ‘Networks in the Global World’ confere…

Identity and Teacher Professional Development

This book addressed teachers’ necessity to be able to respond to the new needs and demands caused by an ever-evolving educational system, as recognized in the national and international policy and research literature. The book proposes an analysis of the features that shape the journey of the teacher profession and professionalism, a journey which needs to be collaborative, agentive and dialo…

Advances in Evolutionary and Deterministic Methods for Design, Optimization a…

This book presents improved and extended versions of selected papers from EUROGEN 2019, a conference with interest on developing or applying evolutionary and deterministic methods in optimization of design and emphasizing on industrial and societal applications.

Forecasting Catastrophic Events in Technology, Nature and Medicine

This book presents a methodology for forecasting events and phenomena occurring in technology and natural environments. The methodology is based on forecasting the individual state of the control object, which is carried out based on the analysis of the trend behavior of the controlled parameter (symptom of the disease). The methodology helps determining the time of the onset of a destructive e…

Advances in Human Aspects of Transportation

This book discusses the latest advances in the research and development, design, operation, and analysis of transportation systems, including road, rail, aviation, aerospace and maritime as well as their supporting systems and infrastructure. Focusing specifically on the contributions made by human factors and ergonomics, it analyses a wealth of topics, methods and technologies associated to ac…

Numerical Analysis of Dams

This book gathers contributions from the 15th ICOLD Benchmark Workshop on Numerical Analysis of Dams. The workshop provided an opportunity for engineers, researchers and operators to present and exchange their experiences and the latest advances in numerical modelling in the context of the design, performance and monitoring of dams. Covering various aspects of computer analysis tools and safety…