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.
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.
Formal Methods
None
New Trends in Model and Data Engineering
This book constitutes the thoroughly refereed papers of the workshops held at the 8th International Conference on New Trends in Model and Data Engineering, MEDI 2018, in Marrakesh, Morocco, in October 2018. The 19 full and the one short workshop papers were carefully reviewed and selected from 50 submissions. The papers are organized according to the 4 workshops: International Workshop on Modeling, Verification and Testing of Dependable Critical Systems, DETECT 2018, Model and Data Engineering for Social Good Workshop, MEDI4SG 2018, Second International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems, IWCFS 2018, International Workshop on Formal Model for Mastering Multifaceted Systems, REMEDY 2018.
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...
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).
Logic, Computation and Rigorous Methods
This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday. It acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems. The 18 invited contributions in this volume are by leading researchers in the areas of software engineering, programming languages, business information systems, and computer science logic.
