Computer Science

No detailed description available for "Software Testing for Conventional and Logic Programming".Book InformationISBN 9783110150711Author Oliver JackFormat HardbackPage Count 251Imprint De GruyterPublisher De GruyterWeight(grams) 474g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789360093686Author Yash PaulFormat HardbackPage Count 500Imprint How AcademicsPublisher How AcademicsWeight(grams) 871g

This book constitutes the refereed proceedings of the 14th International Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2025, held as part of EvoStar 2025, in Trieste, Itlay, during April 23–25, 2024. The 28 full papers...

The Applied Mathematics, Modelling, and Computational Science (AMMCS) conference aims to promote interdisciplinary research and collaboration. The contributions in this volume cover the latest research in mathematical and computational sciences,...

The aim of the book is to present for non-specialist researchers as well as for experts a comprehensive overview of the background, key ideas, basic methods, implementation details and a selection of solutions offered by a novel technology for the...

This volume is a result of two international workshops, namely the Second Annual Workshop on Inverse Problems and the Workshop on Large-Scale Modeling, held jointly in Sunne, Sweden from May 1-6 2012. The subject of the inverse problems workshop was to...

Flow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where the gating mechanism is represented by a Markov model. The flow through a channel can be manipulated using various drugs, and the...

This book provides a comprehensive introduction to advanced topics in the computational and algorithmic aspects of number theory, focusing on applications in cryptography. Readers will learn to develop fast algorithms, including quantum algorithms, to...

Presenting techniques, case-studies and methodologies that combine the use of simulation approaches with optimization techniques for facing problems in manufacturing, logistics, or aeronautical problems, this book provides solutions to common industrial...

This book constitutes the thoroughly refereed conference proceedings of the International Workshop on Face and Facial Expression Recognition from Real World Videos in conjunction with the 22nd International Conference on Pattern Recognition held in...

The Applied Mathematics, Modelling, and Computational Science (AMMCS) conference aims to promote interdisciplinary research and collaboration. The contributions in this volume cover the latest research in mathematical and computational sciences,...

This book constitutes the refereed proceedings of the 9th Brazilian Symposium on Bioinformatics, BSB 2014, held in Belo Horizonte, Brazil, in October 2014. The 18 revised full papers presented were carefully reviewed and selected from 32 submissions. The...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036558295Author Panayiotis StavrinosFormat HardbackPage Count 318Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 885g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036554518Author Ignacio RojasFormat HardbackPage Count 434Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 1129g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036549071Author Pushpa DissanayakeFormat HardbackPage Count 254Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 748g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036546254Author Arsen PalestiniFormat HardbackPage Count 150Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 170g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036543147Author Tomasz GarbowskiFormat HardbackPage Count 318Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 885g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036512600Author Angel a JuanFormat HardbackPage Count 270Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 780g

This book constitutes the refereed proceedings of the 11th Indian Conference on Logic and Its Applications, ICLA 2025, held in Kolkata, India, during February 3–5, 2025.  Four out the five invited talks are included in this book. Out of the...

This book constitutes the refereed proceedings of the 9th International Conference on Mathematics and Computation in Music, MCM 2024, held in Coimbra, Portugal, during June 18–21, 2024. The 30 full papers and 9 short papers included in this book were...

This book contains the refereed proceedings of two long-running events held along with the CAiSE conference relating to the areas of enterprise, business-process and information systems modeling: - the 25th International Conference on Business Process...

The three-volume set LNBIP 515, 516, 517 constitutes the refereed proceedings of the 23rd Wuhan International Conference, WHICEB 2024, which was held in Wuhan, China, in May 2024. The 109 full papers presented in these proceedings were carefully reviewed...

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. The 30 full...

This two-volume set LNCS 13968 and 13969 constitutes the proceedings of the 14th International Conference on Advances in Swarm Intelligence, ICSI 2023, which took place in Shenzhen, China, China, in July 2023. The theme of this year’s conference was...

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers presented...

This book constitutes revised selected papers from the refereed proceedings of the 7th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2022, which took place in Potsdam, Germany, on September 6, 2022.The 6 full papers...

This book constitutes the refereed proceedings of the 14th International Conference on Metaheuristics, MIC 2022, held in Syracuse, Italy, in July 2022.The 48 full papers together with 17 short papers presented were carefully reviewed and selected from 72...

The once esoteric idea of embedding scientific computing into a probabilistic framework, mostly along the lines of the Bayesian paradigm, has recently enjoyed wide popularity and found its way into numerous applications. This book provides an insider’s...

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2022, held in Berlin, Germany, during September 26–28, 2022. This is the 6th conference of a new series, joining the efforts of two existing...

This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume...

This book constitutes the refereed post-conference proceedings of the 6th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2021, held in Lisbon, Portugal, in September 2021. Due to the COVID-19 pandemic the conference was held...

This book gathers works based on both published and unpublished results detailing the successful application of processing and visualization tools for the subsurface. The book topic is Interactive Data Exploration for the Subsurface, where subsurface...

This book constitutes the proceedings of the 25th International Conference on Implementation and Application of Automata, CIAA 2021, held in July 2021. Due to Covid-19 pandemic the conference was held virtually. The 13 regular papers presented in this...

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this...

This book constitutes the proceedings of the 22nd International Conference on Descriptional Complexity of Format Systems, DCFS 2020, which was supposed to take place in Vienna, Austria, in August 2020, but the conference was canceled due to the COVID-19...

This book constitutes the refereed proceedings of the 14th International Conference on Reachability Problems, RP 2020, held in Paris, France in October 2020.The 8 full papers presented were carefully reviewed and selected from 25 submissions. In...

This two-volume set LNCS 12269 and LNCS 12270 constitutes the refereed proceedings of the 16th International Conference on Parallel Problem Solving from Nature, PPSN 2020, held in Leiden, The Netherlands, in September 2020. The 99 revised full papers...

This book constitutes the refereed proceedings of the Brazilian Symposium on Bioinformatics, BSB 2019, held in Fortaleza, Brazil in October 2019. The 9 revised full papers and 3 short papers were carefully reviewed and selected from 22 submissions. The...

This contributed volume highlights two areas of fundamental interest in high-performance computing: core algorithms for important kernels and computationally demanding applications. The first few chapters explore algorithms, numerical techniques, and...

This book constitutes the thoroughly refereed proceedings of the 6th International Workshop on Hybrid Systems Biology, HSB 2019, held in Prague, Czech Republic, in April 2019. The 8 full papers presented in this book together with 1 short paper and 3...