Computer Science

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836483568Author Julian StottingerFormat PaperbackImprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 122g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836492416Author Kai EssigFormat PaperbackImprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 336g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836490016Author Herbert H TsangFormat PaperbackPage Count 160Imprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 222g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836481717Author Anna V ZhdanovaFormat PaperbackImprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 227g

The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in April 2004 in conjunction with the IEEE Computer Society. The first FAABS workshop was help in...

"Mitigating Paradox at the eSociety Tipping Point" In the first two decades of the past Century, having as driving factor the automobile and its mass production, the command economy has radically changed our lifestyles, enabling the creation of...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783725800711Author Jing ZhangFormat HardbackPage Count 174Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 576g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450317306Author Nossdav Proceedings CommitteeFormat PaperbackPage Count 116Imprint ACMPublisher ACMWeight(grams) 286g

What is this book good for? Imagine you are a computer scientist working in the bioinformatics area. P- bably you will be a member of a highly interdisciplinary team consisting of biologists, chemists, mathematicians, computer scientists ranging from p-...

Intheworldweliveinconcurrencyisthenorm.Forexample,thehumanbody isamassivelyconcurrentsystem,comprisingahugenumberofcells,allsim- taneously evolving and independently engaging in their individual biological processing...

The International Symposium on Smart Graphics 2004 was held on May 23-25, 2004 in Ban?, Canada. It was the ?fth event in a series which originally started in 2000 as a AAAI Spring Symposium. In response to the overwhelming success of the 2000 symposium,...

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

Solutions to most real-world optimization problems involve a trade-off between multiple conflicting and non-commensurate objectives. Some of the most challenging ones are area-delay trade-off in VLSI synthesis and design space exploration, time-space...

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 9781581123357Author Fabio CamposFormat PaperbackPage Count 124Imprint Dissertation.comPublisher Dissertation.comWeight(grams) 236g

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) 621g

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) 481g

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