Computer Science

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783725803521Author Rashid MehmoodFormat HardbackPage Count 296Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 835g

A large number of problems require the optimization of multiple criteria. These crite ria are often non-commensurate and sometimes conflicting in nature making the task of optimization more difficult. In such problems, the task of creating a combined...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450330817Author Asia Ccs 14 Conference CommitteeFormat PaperbackPage Count 558Imprint ACMPublisher ACMWeight(grams) 1275g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540089612Author R.F. CurtainFormat PaperbackPage Count 298Imprint 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 9789390820641Author G K Publications (P) LtdFormat PaperbackPage Count 492Imprint G. K. PublicationsPublisher G. K. Publications

This book constitutes the proceedings of the 25th International Conference on Passive and Active Measurement, PAM 2024, held as a virtual event from March 11-13, 2024.The 14 full papers and 13 short papers presented in this volume were carefully reviewed...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9798869119032Author Eric FrickFormat PaperbackPage Count 154Imprint Frick Industries LLCPublisher Frick Industries LLCWeight(grams) 213g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9798869038609Author Derek OttoFormat PaperbackPage Count 78Imprint SelfPublisher SelfWeight(grams) 118g

Formal specifications are an important tool for the construction, verification and analysis of systems, since without it is hardly possible to explain whether a system worked correctly or showed an expected behavior. This book proposes the use of...

This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007. Among the topics of this volume are formal semantics of...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783725805730Author Miro GovedaricaFormat HardbackPage Count 294Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 835g

This book constitutes the refereed proceedings of the 8th International Conference on Theory and Applications of Models of Computation, TAMC 2011, held in Tokyo, Japan, in May 2011. The 51 revised full papers presented together with the abstracts of 2...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789312145104Author ExpertsFormat PaperbackPage Count 339Imprint Arihant PublishersPublisher Arihant Publishers

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036591322Author Tao ZhouFormat HardbackPage Count 182Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 594g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783725801466Author Tianwei ZhangFormat HardbackPage Count 194Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 621gDimensions(mm) 244mm * 170mm * 18mm

Utility Drives Adoption: Understanding Internet Accessibility in Rural China addresses the deep digital divide in China by exploring the reasons behind the lagging adoption of the internet in rural communities. With a four-year study and in-depth...

This book offers an essential overview of computational conformal geometry applied to fundamental problems in specific engineering fields. It introduces readers to conformal geometry theory and discusses implementation issues from an engineering...

Analysis, assessment, and data management are core tools required for operation research analysts. The April 2011 conference held at the Helenic Military Academy addressed these issues with efforts to collect valuable recommendations for improving...

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 19...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9798223204930Author Patrick MukoshaFormat PaperbackPage Count 80Imprint Patrick MukoshaPublisher Patrick MukoshaWeight(grams) 113g

In March 2002, the Naval Research Laboratory brought together leading researchers and government sponsors for a three-day workshop in Washington, D.C. on Multi-Robot Systems. The workshop began with presentations by various government program managers...

The three-volume set LNCS 10860, 10861 and 10862 constitutes the proceedings of the 18th International Conference on Computational Science, ICCS 2018, held in Wuxi, China, in June 2018. The total of 155 full and 66 short papers presented in this book set...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036542355Author Artem ProninFormat HardbackPage Count 128Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 481gDimensions(mm) 244mm * 170mm * 13mm

The Semantic Web is a vision - the idea of having data on the Web defined and linked in such a way that it can be used by machines not just for display purposes but for automation, integration and reuse of data across various applications. However, there...

The complexity of modern embedded systems has increased rapidly in the recent past. Introducing models of computation into the design flow has significantly raised the abstraction in system level design of embedded systems. Establishing such high...

Juraj Hromkovic takes the reader on an elegant route through the theoretical fundamentals of computer science. The author shows that theoretical computer science is a fascinating discipline, full of spectacular contributions and miracles. The book also...

This textbook presents a thorough foundation to the theory of computation. Combining intuitive descriptions and illustrations with rigorous arguments and detailed proofs for key topics, the logically structured discussion guides the reader through the...

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,...

Jürgen Glag's book points out how to ensure professional and efficient database software development in DB2 mainframe and client/server environments. The asset of this book is that technical aspects (performance, tuning) and organizational measures...

This book presents the proceedings of the 10th International Parallel Tools Workshop, held October 4-5, 2016 in Stuttgart, Germany - a forum to discuss the latest advances in parallel tools.High-performance computing plays an increasingly important role...

This book presents a guide to building computational gene finders, and describes the state of the art in computational gene finding methods, with a focus on comparative approaches. Fully updated and expanded, this new edition examines next-generation...

This book constitutes the refereed proceedings of the 15th International Workshop on Algorithms in Bioinformatics, WABI 2015, held in Atlanta, GA, USA, in September 2015. The 23 full papers presented were carefully reviewed and selected from 56...

The present book is a Festschrift in honour of Mike Papazoglou. The 20 articles are written by reputed researchers who have collaborated with Mike Papazoglou in various moments of his scientific career. The contributions range over a wide areas related...

Andreas Konsgen describes two major areas of spectrum management: the coordination of neighbouring networks with overlapping ranges by controlling different transmission parameters and the channel allocation by the base station inside a radio cell using...

This book is a comprehensive, systematic survey of the synthesis problem, and of region theory which underlies its solution, covering the related theory, algorithms, and applications. The authors focus on safe Petri nets and place/transition nets...

This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60th birthday.It features 6 laudations, which are available in the front matter of the volume, and 25 papers by close collaborators and friends. The papers are...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836457675Author Mohamed Adel SerhaniFormat PaperbackPage Count 204Imprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams)...

These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the city of Guildford in the south-east ofEngland. Thisconferencebuiltonthesuccessofthepreviousthreeconferences in this series, ZB 2000,...

The concept of highly integrated and IT-supported information supply chains, sum- rized by the term Integrated Business Reporting, has increasingly moved into the fo- ground of research interest. Current discussions on the improvement of intra-enterprise...

Reflects recent developments in its emphasis on randomized and approximation algorithms and communication models All topics are considered from an algorithmic point of view stressing the implications for algorithm designBook InformationISBN...