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.
Testing Software and Systems
This book constitutes the refereed proceedings of the 35th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, held in Bergamo, Italy, during September 18-20, 2023. The 13 full papers presented together with 6 short papers and one journal paper were carefully reviewed and selected from 56 submissions. The conference focuses on Test Case Generation; Test Automation and Design; Model Based Testing; and AI and Smart Contracts Testing.
Formal Methods
None
Rigorous State-Based Methods
This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.
Comparative Labor Law
Economic pressure, as well as transnational and domestic corporate policies, has placed labor law under severe stress. National responses are so deeply embedded in institutions reflecting local traditions that meaningful comparison is daunting. This bo
Modern Problems of Molecular Physics
This book presents a collection of selected lectures discussing current problems in molecular physics and reviews the main cutting-edge advances in condensed and soft matter physics. It offers deep insights and a powerful basis for scientists and engineers to study complicated problems in physics, chemistry, biology, and medicine. The unification of experimental, theoretical, and computational methods allows milestone results to be achieved in areas such as ionic and ionic-electronic liquids, magnetic liquid systems, liquid systems with nanoparticles, structural phase transitions and critical phenomena, and small-angle neutron and X-ray scattering in liquids and liquid systems. The lectures selected for this book were held at the 7th International Conference “Physics of Liquid Matter: Modern Problems” (PLMMP-2016), 27–31 May in Kiev, Ukraine.
Software Architecture. ECSA 2022 Tracks and Workshops
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 16th European Conference on Software Architecture, ECSA 2022, held in Prague, Czech Republic, in September 2022. The 26 full papers presented together with 4 short papers and 2 tutorial papers in this volume were carefully reviewed and selected from 61 submissions. Papers presented were accepted into the following tracks and workshops: Industry track; Tools and Demonstrations Track; Doctoral Symposium; Tutorials; 8th International Workshop on Automotive System/Software Architectures (WASA); 5th Context-Aware, Autonomous and Smart Architectures International Workshop (CASA); 6th International Wor...
Biomedical Engineering Systems and Technologies
This book constitutes the refereed proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2021, held virtually due to the COVID-19 crisis, in February 2021. The conference was held virtually due to the COVID-19 crisis. The 13 full papers included in this book were carefully reviewed and selected from 265 submissions. The papers selected to be included in this book contribute to the understanding of relevant trends of current research on Biomedical Engineering Systems and Technologies, including: Pattern Recognition and Machine Learning, Application of Health Informatics in Clinical Cases, Evaluation and Use of Healthcare IT, Medical Signal Acquisition, Analysis and Processing, Data Mining and Data Analysis, Decision Support Systems, e-Health, e-Health Applications, Mobile Technologies for Healthcare Applications and Medical Devices design.
Abstract State Machines, Alloy, B, TLA, VDM, and Z
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.
Rigorous State-Based Methods
This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic. The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress).
