This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully r...Lasīt vairāk
This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully r...Lasīt vairāk
This book presents select proceedings of the 8th International and 29th All India Manufacturing Technology, Design and Research Conference (AIMTDR 2021). It covers the recent developments in the areas of product design and development, computer-aided...Lasīt vairāk
This book presents select proceedings of the 8th International and 29th All India Manufacturing Technology, Design and Research Conference (AIMTDR 2021). It covers the recent developments in the areas of product design and development, computer-aided...Lasīt vairāk
This book constitutes the refereed proceedings of the 16th International Conference on Simulation of Adaptive Behavior, SAB 2022, held in Cergy-Pontoise, France, in September 2022.The 17 papers presented in this volume were carefully reviewed an...Lasīt vairāk
This book constitutes the refereed proceedings of the 16th International Conference on Simulation of Adaptive Behavior, SAB 2022, held in Cergy-Pontoise, France, in September 2022.The 17 papers presented in this volume were carefully reviewed an...Lasīt vairāk
This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety and Assessment, IMBSA 2022, held in Munich, Germany, in September 2022. The 15 revised full papers and 3 short papers presented were carefully reviewed and...Lasīt vairāk
This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety and Assessment, IMBSA 2022, held in Munich, Germany, in September 2022. The 15 revised full papers and 3 short papers presented were carefully reviewed and...Lasīt vairāk
This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022. The 12 full papers together with 2 short papers that were c...Lasīt vairāk
This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022. The 12 full papers together with 2 short papers that were c...Lasīt vairāk
This book gathers the latest advances, innovations, and applications in the field of computational engineering, as presented by leading international researchers and engineers at the 27th International Conference on Computational & Experimental Engin...Lasīt vairāk
This book gathers the latest advances, innovations, and applications in the field of computational engineering, as presented by leading international researchers and engineers at the 27th International Conference on Computational & Experimental Engin...Lasīt vairāk
This book includes selected peer-reviewed papers presented at the International Conference on Modeling, Simulation and Optimization (CoMSO 2021), organized by National Institute of Technology, Silchar, Assam, India, during December 16-18, 2021. The b...Lasīt vairāk
This book includes selected peer-reviewed papers presented at the International Conference on Modeling, Simulation and Optimization (CoMSO 2021), organized by National Institute of Technology, Silchar, Assam, India, during December 16-18, 2021. The b...Lasīt vairāk
This book constitutes the proceedings of the 26th Annual Conference on Research in Computational Molecular Biology, RECOMB 2022, held in San Diego, CA, USA in May 2022. The 17 regular and 23 short papers presented were carefully reviewed and selected...Lasīt vairāk
This book constitutes the proceedings of the 26th Annual Conference on Research in Computational Molecular Biology, RECOMB 2022, held in San Diego, CA, USA in May 2022. The 17 regular and 23 short papers presented were carefully reviewed and selected...Lasīt vairāk
This book collects selected contributions from the international conference "e;Optimization and Decision Science"e; (ODS2020), which was held online on November 19, 2020, and organized by AIRO, the Italian Operations Research Society. Th...Lasīt vairāk
This book collects selected contributions from the international conference "e;Optimization and Decision Science"e; (ODS2020), which was held online on November 19, 2020, and organized by AIRO, the Italian Operations Research Society. Th...Lasīt vairāk
This book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021, held in Paris, France, in August 2021.The 8 full papers that were carefully reviewed and selected from...Lasīt vairāk
This book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021, held in Paris, France, in August 2021.The 8 full papers that were carefully reviewed and selected from...Lasīt vairāk
