Computer Science

This unique textbook/reference presents unified coverage of bioinformatics topics relating to both biological sequences and biological networks, providing an in-depth analysis of cutting-edge distributed algorithms, as well as of relevant sequential...

Mobile agent computing is being used in fields as diverse as artificial intelligence, computational economics and robotics. Agents' ability to adapt dynamically and execute asynchronously and autonomously brings potential advantages in terms of...

This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996. The 17 revised...

These proceedings contain the papers presented at the Advanced Research Working Conference on Correct Hardware Design Methodologies, held in Arles, France, in May 1993, and organized by the ESPRIT Working Group 6018 CHARME-2and the Universit de Provence,...

This textbook is intended to give an introduction to and an overview of sta- of-the-art techniques in the design of complex embedded systems. The book title is SAMOS for two major reasons. First, it tries to focus on the actual distinct, yet important...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540133506Author John FitchFormat PaperbackPage Count 397Imprint 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 9781450318860Author Esem 12 Conference CommitteeFormat PaperbackPage Count 344Imprint ACMPublisher ACMWeight(grams) 798g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450317450Author Hpdc 12 Proceedings CommitteeFormat PaperbackPage Count 308Imprint ACMPublisher ACMWeight(grams) 717g

Palmprint Authentication is the first book to provide a comprehensive introduction to palmprint technologies. It reveals automatic biometric techniques for personal identification using palmprint, from the approach based on offline palmprint images, to...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783725810987Author Gheorghe OrosFormat HardbackPage Count 238Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 712g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781543781540Author Ryan HamFormat PaperbackPage Count 194Imprint Partridge Publishing SingaporePublisher Partridge Publishing SingaporeWeight(grams) 290g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036594361Author Alexandru AgapieFormat HardbackPage Count 298Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 839g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036589824Author Álvaro FigueiraFormat HardbackPage Count 258Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 757g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783838654713Author Karin PargfriederFormat PaperbackPage Count 168Imprint Diplom.dePublisher Diplom.deWeight(grams) 227g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783838644837Author Michael FischerFormat PaperbackPage Count 116Imprint Diplom.dePublisher Diplom.deWeight(grams) 159g

This is one of the only books to provide a complete and coherent review of the theory of genetic programming (GP). In doing so, it provides a coherent consolidation of recent work on the theoretical foundations of GP. A concise introduction to GP and...

This book constitutes the thoroughly refereed conference proceedings of the 10th International Conference on Computational Methods in Systems Biology, CMSB 2012, held in London, UK, during October 3-5, 2012. The 17 revised full papers and 8 flash posters...

Algorithmic probability and friends: Proceedings of the Ray Solomonoff 85th memorial conference is a collection of original work and surveys. The Solomonoff 85th memorial conference was held at Monash University's Clayton campus in Melbourne, Australia...

This book presents a range of current research topics in biological network modeling, as well as its application in studies on human hosts, pathogens, and diseases. Systems biology is a rapidly expanding field that involves the study of biological...

In recent years, IT application scenarios have evolved in very innovative ways. Highly distributed networks have now become a common platform for large-scale distributed programming, high bandwidth communications are inexpensive and widespread, and most...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540127598Author D.C. SahaFormat PaperbackPage Count 163Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. KPublisher Springer-Verlag Berlin and...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450333993Author Ispd 15 Conference CommitteeFormat PaperbackPage Count 206Imprint ACMPublisher ACMWeight(grams) 490g

Declarative languages have long promised the ability to rapidly create easily maintainable software for complex applications. The International Symposium of Practical Aspects of Declarative Languages (PADL) provides a yearly - rum for presenting results...

This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited...

This book constitutes the proceedings of the 20th Annual Conference on Research in Computational Molecular Biology, RECOMB 2016, held in Santa Monica, CA, USA, in April 2016. The 15 regular papers presented in this volume were carefully reviewed and...

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2020, held in Oslo, Norway, during June-July 2020*. This is the 4th conference of a new series, joining the efforts of two existing conference...

This book constitutes the refereed proceedings of the 11th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2021 held in Shenzhen, China, in March 2021.The 47 full papers and 14 short papers were carefully reviewed and selected...

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were...

This volume contains the papers selected for presentation at the Third Inter- tional Conference on Rough Sets and Current Trends in Computing (RSCTC 2002) held at Penn State Great Valley, Malvern, Pennsylvania, U.S.A., 14-16 October 2002. Rough set...

This volume contains 3 invited papers, 15 regular papers, and 22 poster papers that were selected for presentation at the Third International Conference on Discovery Science (DS 2000), which was held 4-6 December 2000 in Kyoto. The Program Committee...

This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related Methods, TABLEAUX '96, held in Terrasini near Palermo, Italy, in May 1996. The 18 full revised papers included together with two invited...

This book constitutes the proceedings of the 4th InternationalConference on Algorithms for Computational Biology, AlCoB 2017, held in Aveiro, Portugal, in June 2017. The 10 full papers presented together with 2 invited papers were carefully reviewed and...

Metaheuristics, and evolutionary algorithms in particular, are known to provide efficient, adaptable solutions for many real-world problems, but the often informal way in which they are defined and applied has led to misconceptions, and even successful...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783639068900Author Maria CalleFormat 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 9783639046946Author Stefan G WeberFormat PaperbackImprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 159g

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

Computer systems can only deliver benefits if functionality, users and usability are central to their design and deployment. This book encapsulates work done in the DIRC project (Interdisciplinary Research Collaboration in Dependability), bringing...

Typing plays an important role in software development. Types can be consid ered as weak specifications of programs and checking that a program is of a certain type provides a verification that a program satisfies such a weak speci fication. By...

Information Hiding: Steganography and Watermarking - Attacks and Countermeasures deals with information hiding. With the proliferation of multimedia on the Internet, information hiding addresses two areas of concern: privacy of information from...

This book constitutes the refereed proceedings of the National Annual Conference on High Performance Computing, HPC 2012, held in Zhangjiajie, China, in October 2012. The 14 revised full papers presented were carefully reviewed and selected from 260...