Computer Science

This book constitutes the proceedings of the 11th International Conference on Computational Logistics, ICCL 2020, held in Enschede, The Netherlands, in September 2020.The 49 papers included in this book were carefully reviewed and selected from 73...

This book constitutes the refereed proceedings of the Third International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2006, held in Mallorca, Spain in September 2006. The book presents 40 revised full papers, carefully reviewed...

This book constitutes the proceedings of the 6th International Workshop on Computational Topology in Image Context, CTIC 2016, held in Marseille, France, in June 2016. The 24 papers presented in this volume were carefully reviewed and selected from 35...

This volume is being published for two reasons. The first is to present a collection of previously published articles on the subject of programming methodology that have helped define the field and give it direction. It is hoped that the scientist in the...

This book presents selected papers from the 3rd International Workshop on Computational Engineering held in Stuttgart from October 6 to 10, 2014, bringing together innovative contributions from related fields with computer science and mathematics as an...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540091424Author Y. SawaragiFormat PaperbackPage Count 272Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. KPublisher Springer-Verlag Berlin...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450320313Author Socg 13 Conference CommitteeFormat PaperbackPage Count 472Imprint ACMPublisher ACMWeight(grams) 1084g

This book contains the final reports of the workshops held during the 22nd European Conference on Object-Oriented Programming, ECOOP 2008, in Paphos, Cyprus, in July 2008. The 11 collected reports from high-quality workshops - provided by the respective...

1 This volume contains the research papers and invited papers presented at the Third International Conference on Tests and Proofs (TAP 2009) held at ETH Zurich, Switzerland, during July 2-3, 2009. TheTAPconferenceisdevotedtotheconvergenceofproofsandtests...

This book covers the experimental and theoretical study of convection in non-isothermal ferro-nanofluids (FNFs). Since FNFs are not transparent and magnetic fields are very sensitive to the shape of the boundary between magnetic and nonmagnetic media,...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789491386053Author Michael a JacksonFormat PaperbackPage Count 104Imprint Lonely ScholarPublisher Lonely ScholarWeight(grams) 150g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036537894Author Pierre AlquierFormat HardbackPage Count 508Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 1288g

Researchers and professionals in the appropriate subject areas will find this book an essential update on where research has got to in what is, after all, a hugely important area. It constitutes the refereed proceedings of the 7th International Workshop...

This two-volume set LNCS 10305 and LNCS 10306 constitutes the refereed proceedings of the 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, held at Gran Canaria, Spain, in June 2019. The 150 revised full papers presented in...

his two-volume set LNCS 12689-12690 constitutes the refereed proceedings of the 12th International Conference on Advances in Swarm Intelligence, ICSI 2021, held in Qingdao, China, in July 2021. The 104 full papers presented in this volume were carefully...

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Meeting on Computational. Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2017, held in Cagliari, Italy, in September 2017. The 19 revised...

This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in Toulouse, France, in September 1996. The revised extended papers accepted for inclusion in the...

Building on the author's earlier Applied Simulation and Optimization, this book presents novel methods for solving problems in industry, based on hybrid simulation-optimization approaches that combine the advantages of both paradigms. The book serves as...

Theory and Applications of Models of Computation (TAMC) is an inter- tional conference series with an interdisciplinary character, bringing together researchers working in computer science, mathematics (especially logic), and the physicalsciences. This...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783639011494Author Cai-Nicolas ZieglerFormat PaperbackPage Count 160Imprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams)...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783639053302Author Daniel HeinFormat PaperbackPage Count 112Imprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 159g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783725812547Author Clemente CesaranoFormat HardbackPage Count 490Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 1252g

This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on...

Christofer F. Daiberl explores how to enhance the productivity of services delivered by a network of co-providers. Harnessing empirical insights and synthesizing contributions from service design, information systems, and engineering, the author develops...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450326919Author MMFormat PaperbackPage Count 524Imprint ACMPublisher ACMWeight(grams) 1202g

This book constitutes the joint refereed proceedings of six workshops, EvoWorkshops 2003, held together with EuroGP 2003 in Essex, UK in April 2003. The 63 revised full papers presented were carefully reviewed and selected from a total of 109...

This book constitutes the refereed proceedings of the 4th International Service Availability Symposium, ISAS 2007, held in Durham, NH, USA in May 2007. The 12 revised full papers presented are organized in topical sections on middleware, software...

This book is a collection of selected papers presented at the last Scientific Computing in Electrical Engineering (SCEE) Conference, held in Sinaia, Romania, in 2006. The series of SCEE conferences aims at addressing mathematical problems which have a...

This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Symposium on Quantum Interaction, QI 2011, held in Aberdeen, UK, in June 2011. The 26 revised full papers and 6 revised poster papers, presented together...

This book constitutes the proceedings of the 15th International Symposium on Bioinformatics Research and Applications, ISBRA 2019, held in Barcelona, Spain, in June 2019. The 22 full papers presented in this book were carefully reviewed and selected from...

Transactions on HiPEAC is a new journal which aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems. It publishes original research on systems targeted...

TheSDLandMSC(SAM)workshop,heldeverytwoyears,providesanopend- cussionarenaontopicsrelatedtothemodellingandanalysisofreactivesystems, distributed systems, and real-time systems (e.g., telecommunications, auto- tive, aerospace, and Web-based applications)...

This book constitutes the refereed proceedings of the 12th International Workshop on Algorithms in Bioinformatics, WABI 2012, held in Ljubljana, Slovenia, in September 2012. WABI 2012 is one of six workshops which, along with the European Symposium on...

This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450317221Author Mobiopp 12 Conference CommitteeFormat PaperbackPage Count 106Imprint ACMPublisher ACMWeight(grams) 263g

This book provides practical advice on how to develop an enterprise architecture practice. The authors developed different tools and models to support organizations in implementing and professionalizing an enterprise architecture function. Coverage...

This novel approach is presented for the first time in book form. The author demonstrates that fundamental concepts and methods from phenomenological particle physics can be derived rigorously from well-defined general assumptions in a mathematically...

The 25th International Workshop on Graph-Theoretic Concepts in Computer Science (WG'99) celebrated the anniversaryof the workshop series at the Centro Stefano Franscini on Monte Verit'a, Ascona, Switzerland, from June 17 to 19, 1999. It was organized...

This book constitutes the proceedings of the 11th International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-11, held in Paris, France in July 1995. The volume presents five invited papers and 32 full revised...

This volume contains the proceedings of the 1990 Spring School of Theoretical Computer Science, devoted to the semantics of concurrency. The papers are of two kinds: - surveys and tutorials introducing the subject to novices and students and giving...