Computer Science

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

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540083603Author J. H. WilliamsFormat PaperbackPage Count 498Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. KPublisher Springer-Verlag...

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

The memoirs in this collection represent a cross-section of critical reflections by a queerly diverse set of individuals on their experiences inhabiting a variety of spaces within the field of education. In their stories, the authors share how they...

Structures of Computing explains the behavioral meaning of fundamental concepts of computing from a practical viewpoint and in generic terms, unrestricted by specific computing devices or programming languages. To compute is understood as processing...

This book constitutes the refereed proceedings of the 24th Workshop on Chinese Lexical Semantics, CLSW 2023, held in Singapore, during May 19–21, 2023. The 61 full papers and 15 short papers included in this book were carefully reviewed and selected from...

The two-volume set LNCS 14461 and LNCS 14462 constitutes the refereed proceedings of the 17th International Conference on Combinatorial Optimization and Applications, COCOA 2023, held in Hawaii, HI, USA, during December 15-17, 2023. The 73 full papers...

The 34th International Symposium on Mathematical Foundations of Computer Science, MFCS2009,washeld in Novy ' Smokovec,High Tatras(Slovakia)during August 24-28, 2009. This volume contains 7 invited and 56 contributed papers presented at the symposium. The...

This volume contains the proceedings of the 25th International Conference on Logic Programming (ICLP 2009). The conference took place in Pasadena, Ca- fornia during July 14-17, 2009. The ICLP series of conferences is aimed at p- viding a technical forum...

This volume contains a selection of papers presented at the 9th Workshop on Membrane Computing, WMC9, which took place in Edinburgh, UK, during July 28-31,2008. The ?rst three workshopson membrane computing were or- nized in Curtea de Arge s, Romania -...

This book constitutes the refereed proceedings of the 5th International Symposium on Mobile Internet Security, MobiSec 2021, held in Jeju Island, Republic of Korea, in October 2021. The 28 revised full papers presented were carefully reviewed and...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783731500889Author Andreas SonnenbichlerFormat PaperbackPage Count 236Imprint Karlsruher Institut Fur TechnologiePublisher Karlsruher Institut Fur...

Data mining is becoming a pervasive technology in activities as diverse as using historical data to predict the success of a marketing campaign, looking for patterns in financial transactions to discover illegal activities or analyzing genome sequences...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783639077865Author Daniel WagnerFormat PaperbackPage Count 92Imprint 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 9783836491013Author Shawn ArseneauFormat 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 9783836443418Author Dean BusheyFormat PaperbackPage Count 148Imprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 245g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450319324Author Its 12 Conference CommitteeFormat PaperbackPage Count 430Imprint ACMPublisher ACMWeight(grams) 989g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036542188Author J Carlos García-DíazFormat HardbackPage Count 128Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 481g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450337687Author Iui 15 Conference CommitteeFormat PaperbackPage Count 480Imprint ACMPublisher ACMWeight(grams) 1102g

This book constitutes the refereed proceedings of the 8th International Symposium on Algorithms and Computation, ISAAC'97, held in Singapore in December 1997. The 42 revised full papers presented were selected from a total of 98 submissions. The scope of...

This book constitutes the refereed proceedings of the 24th Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM'97, held in Milovy, Czech Republic, in November 1997. SOFSEM is special in being a mix of a winter school, an international...

This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Models of Computation, TAMC 2013, held in Hong Kong, China, in May 2013. The 31 revised full papers presented were carefully reviewed and...