Computer Science

This book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021.The 37 full papers presented in this volume were carefully...

This authoritative text/reference presents a review of the history, current status, and potential future directions of computational biology in molecular evolution. Gathering together the unique insights of an international selection of prestigious...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783639016024Author Chih-Huan WuFormat PaperbackImprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 113g

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

The following are thEURO:" proceedings of the Second International Workshop on Human and Machine Perception held in Trabia, Italy, on July 21~25, 1996, under the auspices of two Institutions: the Cybernetic and Biophysics Group (GNCB) of the Italian...

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

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

The study of what can be computed by a team of autonomous mobile robots, originally started in robotics and AI, has become increasingly popular in theoretical computer science (especially in distributed computing), where it is now an integral part of the...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781848900592Author Christian RinderknechtFormat PaperbackPage Count 530Imprint College PublicationsPublisher College PublicationsWeight(grams) 735g

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Systems, DSVIS 2006, held in Dublin, Ireland in July 2006. The 19 revised full papers presented...

Thisvolumeconstitutestheproceedingsofthe2005 Advanced Research Working C- ference on Correct Hardware-like Design and Veri?cation Methods. CHARME 2005 washeldattheVictor'sResidenz-Hotel,Saarbruck .. en,Germany,3-6October2005...

Organizational Semiotics occupies an important niche in the research community of human communication and information systems. It opens up new ways of understanding the functioning of information and information resources in organised behaviour. In...

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

This book constitutes the refereed proceedings of the 13th International Workshop on Groupware, CRIWG 2007, held in Bariloche, Argentina. The 17 revised full papers and 10 revised work-in-progress papers are organized in topical sections on group...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450326834Author Webmedia Conference CommitteeFormat PaperbackPage Count 362Imprint ACMPublisher ACMWeight(grams) 839g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450326094Author Sigdoc 13 Conference CommitteeFormat PaperbackPage Count 212Imprint ACMPublisher ACMWeight(grams) 503g

This book delivers theoretical and practical knowledge for developing algorithms that infer linear and non-linear multivariate models, providing a methodology for inductive learning of polynomial neural network models (PNN) from data. The text emphasizes...

TheEleventh LMS-EPSRCComputational MathematicsandScienti?cC- puting Summer School was held at the University of Durham, UK, from the 4th of July to the 9th of July 2004. This was the third of these schools to be held in Durham, having previously been...

The International Conference on Computational Science (ICCS 2004) held in Krak ow, Poland, June 6-9, 2004, was a follow-up to the highly successful ICCS 2003 held at two locations, in Melbourne, Australia and St. Petersburg, Russia; ICCS 2002 in...

This volume contains the 14 contributed papers and the contribution of the distinguished invited speaker B ela Bollob as presented at the 3rd Workshop on Algorithms and Models for the Web-Graph (WAW 2004), held in Rome, Italy, October 16, 2004, in...

The Asian Computing Science Conference (ASIAN) series was initiated in 1995 to provide a forum for researchers in computer science from the Asian region to meet and to promote interaction with researchers from other regions. The previous four conferences...

This book constitutes the refereed proceedings of the International Symposium on High Performance Computing, ISHPC '97, held in Fukuoka, Japan in November 1997. The volume presents four distinguished papers and 16 revised regular papers selected from...

This book constitutes the refereed proceedings of the Third Italian Conference on Algorithms and Complexity, CIAC'97, held in Rome, Italy in March 1997. The 25 revised full papers included in the volume were carefully selected from a total of 74...

This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, UK in August 1994. The 19 papers included give...

For more than a decade, Foundations of Software Technology and Theoretical Computer Science Conferences have been providing an annual academic computerscience forum for the presentation of new results in the topics of current research in India and abroad...

This volume contains the proceedings of the third International Workshop on Computer Aided Verification, CAV '91, held in Aalborg, Denmark, July 1-4, 1991. The objective of this series of workshops is to bring together researchers and practitioners...

This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical...

This volume contains the presentations of the Sixth Symposium on Theoretical Aspects of Computer Science (STACS 89) held at the University of Paderborn, February 16-18, 1989. In addition to papers presented in the regular program the volume contains...

Welcome to GRID 2000, the first annual IEEE/ACM international workshop on grid computing sponsored by the IEEE Computer Society's Task Force on Cluster Computing (TFCC) and the Association for Computing Machinery (ACM). The workshop has received generous...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789386176240Author P BalamuruganFormat PaperbackPage Count 342Imprint Bonfring Technology SolutionsPublisher Bonfring Technology SolutionsWeight(grams) 395g

This book constitutes the refereed proceedings of the 5th International Conference on Machines, Computations, and Universality, MCU 2007, held in Orleans, France, September 2007. The 18 revised full papers presented together with nine invited papers...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783725809776Author Andrzej LukaszewiczFormat HardbackPage Count 522Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 1315g

This text presents a comprehensive introduction to an extended Entity-Relationship model both on a conceptual and on a formal, mathematicallevel. In addition to the primitives given by the data model the text introduces a language for the formulation of...

The Adaptive Computing in Design and Manufacture Conference series is now in its tenth year and has become a well-established, application-oriented meeting recognised by several UK Engineering Institutions and the International Society of Genetic and...

This book constitutes the proceedings of the 23rd Annual Conference on Research in Computational Molecular Biology, RECOMB 2019, held in Washington, DC, USA, in April 2019. The 17 extended and 20 short abstracts presented were carefully reviewed and...

This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast...

This book constitutes the proceedings of the 18th International Conference on Research Challenges in Information Sciences, RCIS 2024, which took place in Guimarães, Portugal, during May 2024. The scope of RCIS is summarized by the thematic areas of...

This book constitutes revised selected papers from the 16th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2019, which was held in Bergamo, Italy, during September 4-6, 2019. The 28 full papers...

This book introduces readers to one of the first methods developed for the numerical treatment of boundary value problems on polygonal and polyhedral meshes, which it subsequently analyzes and applies in various scenarios. The BEM-based finite element...

This book constitutes the refereed proceedings of the 17th IFIP/IEEE International Workshop on Distributed Systems, Operations and Management, DSOM 2006, held in Dublin, Ireland in October 2006 in the course of the 2nd International Week on Management of...