Computer Science

This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liege, Belgium in July 1995. The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well...

As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at...

The area of graph grammars is theoretically attractive and well motivated byvarious applications. More than 20 years ago, the concept of graph grammars was introduced by A. Rosenfeld as a formulation of some problems in pattern recognition and image...

This book constitutes the refereed post proceedings of the 5th China Conference on Spatial Data and Intelligence, SpatialDI 2024, held in Nanjing, China, during April 25-27, 2024. The 25 full papers included in this book were carefully reviewed and...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783725806188Author Savin TreantaFormat HardbackPage Count 168Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 567g

This book constitutes the Third International Challenge on Kidney and Kidney Tumor Segmentation, KiTS 2023, which was held in conjunction with the 26th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2023...

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers...

This book constitutes the refereed proceedings of the Third International KR4HC 2011 workshop held in conjunction with the 13th Conference on Artificial Intelligence in medicine, AIME 2011, in Bled, Slovenia, in July 2011. The 11 extended papers...

This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2021, held in Liverpool, UK in October 2021. The 6 full papers presented were carefully reviewed and selected from 27 submissions. In...

This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the Forschungszentrum Informatik (University of Karlsruhe) and IFIP Working Group 10.2 in Bad Herrenalb,...

This book is an introduction to relevant aspects of the foraging literature for algorithmic design, and an overview of key families of optimization algorithms that stem from a foraging metaphor. The authors first offer perspectives on foraging and...

This book presents a set theoretical development for the foundations of the theory of atomic and finitely supported structures. It analyzes whether a classical result can be adequately reformulated by replacing a 'non-atomic structure' with an 'atomic,...

The general theme of the Intelligent Data Analysis (IDA) Symposia is the - telligent use of computers in complex data analysis problems. The ?eld has matured su?ciently that some re-considerationof our objectives was required in order to retain the...

Why a book on fault-tolerant search algorithms? Searching is one of the fundamental problems in computer science. Time and again algorithmic and combinatorial issues originally studied in the context of search find application in the most diverse areas...

DISC, the International Symposium on Distributed Computing, is an annual forum for presentationof researchon all facets of distributed computing, incl- ing the theory, design, analysis, implementation, and application of distributed systems and networks...

This work covers sequence-based protein homology detection, a fundamental and challenging bioinformatics problem with a variety of real-world applications. The text first surveys a few popular homology detection methods, such as Position-Specific Scoring...

This book is the first of its kind to explain the fundamentals of evolutionary genomics. The comprehensive coverage includes concise descriptions of a variety of genome organizations, a thorough discussion of the methods used, and a detailed review of...

This book constitutes the proceedings of the 14th International Conference on Business Process Management, BPM 2016, held in Rio de Janeiro, Brazil, in September 2016.The focus of the conference covers a range of papers focusing on automated discovery,...

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

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836437325Author Marco De LucaFormat PaperbackPage Count 112Imprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 191g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836456777Author Gerald R DejeanFormat PaperbackPage Count 236Imprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 381g

This volume contains the proceedings of the 8th Workshop on Hybrid S- tems: Computation and Control(HSCC2005)heldinZurich,Switzerlandduring March 9-11, 2005. The annual workshop on hybrid systems attracts researchers from academia and industry interested...

Computer Games I is the first volume in a two part compendium of papers covering the most important material available on the development of computer strategy games. These selections range from discussions of mathematical analyses of games, to more...

This book is an outgrowth of formal graduate courses in multiple-criteria decision making (MCDM) that the author has taught at the University of Rochester, University of Texas at Austin, and University of Kansas since 1972. The purpose is, on one hand,...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789389533750Author Dr J A BangaliFormat PaperbackPage Count 90Imprint Nirali Prakashan, Educational PublishersPublisher Nirali Prakashan, Educational...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789537619947Author Pasi VirtanenFormat HardbackPage Count 282Imprint In TechPublisher In TechWeight(grams) 649g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9788793102972Author Dina SimunicFormat PaperbackImprint River PublishersPublisher River PublishersWeight(grams) 127g

Predicting the future for financial gain is a difficult, sometimes profitable activity. The focus of this book is the application of biologically inspired algorithms (BIAs) to financial modelling. In a detailed introduction, the authors explain computer...

This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification. Thirty-three state-of-the-technology papers are presented, together with fourteen tool papers, three invited papers, and four invited...

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

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new...

The aim of the book is to present for non-specialist researchers as well as for experts a comprehensive overview of the background, key ideas, basic methods, implementation details and a selection of solutions offered by a novel technology for the...

Swarm Intelligence is an innovative distributed intelligent paradigm for solving optimization problems that originally took its inspiration from the biological examples by swarming, flocking and herding phenomena in vertebrates. Data Mining is an...

This book constitutes the refereed proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018, held in Oxford, UK, in July 2018.The 20 revised full papers, 4 short papers, and 2 tool papers were...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450304924Author Mobicom Conference CommitteeFormat PaperbackPage Count 360Imprint ACMPublisher ACMWeight(grams) 835g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450304856Author Pepm 11 Conference CommitteeFormat PaperbackPage Count 170Imprint ACMPublisher ACMWeight(grams) 408g

This volume presents a compelling collection of state-of-the-art work in algorithmic computational biology, honoring the legacy of Professor Bernard M.E. Moret in this field. Reflecting the wide-ranging influences of Prof. Moret's research, the coverage...

The idea of this book originated in the works presented at the First Latinamerican Conference on Mathematics in Industry and Medicine, held in Buenos Aires, Argentina, from November 27 to December 1, 1995. A variety of topics were discussed at this...

All over the world sport plays a prominent role in society: as a leisure activity for many, as an ingredient of culture, as a business and as a matter of national prestige in such major events as the World Cup in soccer or the Olympic Games. Hence, it is...

The genesis of this volume was the participation of the editors in an ACMlSIGIR (Association for Computing Machinery/Special Interest Group on Information Retrieval) workshop entitled "Beyond Word Relations" (Hetzler, 1997). This workshop...