Computer Science

Highperformancecomputinghaschangedthewayinwhichscienceprogresses. During the last 20 years the increase in computing power, the development of e?ective algorithms, and the application of these tools in the area of physics and engineering has been...

This is the first book on DNA computing, a molecular approach that may revolutionize computing-replacing silicon with carbon and microchips with DNA molecules. The book starts with an introduction to DNA computing, exploring the power of complementarity,...

The final installment in this three-volume set is based on this maxim: "Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly the domain of the application must be well...

The focus of the Asian Applied Computing Conference (AACC) is primarily to bring the research in computer science closer to practical applications. The conference is aimed primarily at topics that have immediate practical bene?ts. By hosting the conf-...

Vague concepts are intrinsic to human communication. Somehow it would seems that vagueness is central to the flexibility and robustness of natural l- guage descriptions. If we were to insist on precise concept definitions then we would be able to assert...

First established in August 1988, the Transaction Processing Performance Council (TPC) has shaped the landscape of modern transaction processing and database benchmarks over two decades. Now, the world is in the midst of an extraordinary information...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783725801251Author Cheng-Shian LinFormat HardbackPage Count 198Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 630g

This book constitutes the refereed proceedings of the 17th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'97. The 18 revised full papers presented were selected from a total of 68 submissions. Also...

This book constitutes the refereed proceedings of the International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM'97, held as a satelite meeting of ICALP'97, in Bologna, Italy, in July 1997.The volume presents 14...

This book constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97, held in Yaroslavl, Russia, in July 1997. The volume presents 42 revised refereed papers carefully selected by the...

This book constitutes the refereed proceedings of the Third International Workshop on Parallel Algorithms for Irregularly Structured Problems, IRREGULAR '96, held in Santa Barbara, California, in August 1996. The volume presents 28 revised full papers...

This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '96, held in Passau, Germany in March 1996. The book presents 19 revised full papers selected...

This book constitutes the refereed proceedings of the 13th Symposium on Theoretical Aspects of Computer Science, STACS 96, held in Grenoble, France in February 1996. The 52 revised papers presented were selected from a total of 185 submissions; also...

This book presents the proceedings of the Second International Workshop on Parallel Algorithms for Irregularly Structured Problems, IRREGULAR '95, held in Lyon, France in September 1995. This workshop series addresses issues related to deriving efficient...

This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May...

For more than a decade, Foundations of Software Technology and Theoretical Computer Science Conferences have been providing an annual forum for the presentation of new research results in India and abroad. This year, 119 papers from 20 countries were...

This volume presents the proceedings of the Seventh International Workshop on Distributed Algorithms (WDAG 93), held in Lausanne, Switzerland, September 1993. It contains 22 papers selected from 72 submissions. The selection was based on originality,...

This volume contains the proceedings of ICALP 90, the International Colloquium on Automata, Languages and Programming sponsored by the European Association for Theoretical Computer Science (EATCS). This annual conference series covers all important areas...

The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematician whose name is associated with set theory. Many computing...

The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundations of computer science organized by the Program Systems Institute of the USSR Academy of Sciences and held at Pereslavl-Zalessky, USSR, July 3-8, 1989...

This volume contains the 13 best of the 18 papers presented at the first MFDBS conference held in Dresden, GDR, January 19-23, 1987. A short summary of the two panel discussions is also included. The volume is intended to be a reflection of the current...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450319256Author Siguccs 12 Conference CommitteeFormat PaperbackPage Count 264Imprint ACMPublisher ACMWeight(grams) 617g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450314978Author Sigdoc 12 Conference CommitteeFormat PaperbackPage Count 388Imprint ACMPublisher ACMWeight(grams) 898g

Workflow management systems (WFMS) are enjoying increasing popular ity due to their ability to coordinate and streamline complex organizational processes within organizations of all sizes. Organizational processes are de scriptions of an organization's...

The Second International Conference on High-Performance Computing and Appli- tions (HPCA 2009) was a follow-up event of the successful HPCA 2004. It was held in Shanghai, a beautiful, active, and modern city in China, August 10-12, 2009. It served as a...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036573748Author Michael VoskoglouFormat HardbackPage Count 282Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 807g

In this book the author presents some techniques for exploring trees and graphs. He illustrates the linear search technique and the backtracking technique, and as instances of tree exploration methods he presents various algorithms for parsing subclasses...

This book explores provenance, the study and documentation of how things come to be. Traditionally defined as the origins, source, or ownership of an artifact, provenance today is not limited to historical domains. It can be used to describe what did...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036590011Author Wei-Shih DuFormat HardbackPage Count 182Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 594g

This book constitutes the refereed proceedings of the 14th International Workshop on Algorithms in Bioinformatics, WABI 2014, held in Wroclaw, Poland, in September 2014. WABI 2014 was one of seven conferences that were organized as part of ALGO 2014...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036546933Author Adam AdamkowskiFormat HardbackPage Count 144Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 170g

This book constitutes the refereed proceedings of the 34th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2008, held in Slovakia, in 2008. The 57 revised full papers, presented together with 10 invited contributions, were...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450331173Author Qosa14 & Wcop 14 Conference CommitteeFormat PaperbackPage Count 158Imprint ACMPublisher ACMWeight(grams) 381g

This book provides an expansive guide for designing and conducting robust qualitative research across a diverse range of purposes concerned with understanding new literacies in theory and in practice. It is based on the idea that one of the best ways of...

This book presents the foundations of key problems in computational molecular biology and bioinformatics. It focuses on computational and statistical principles applied to genomes, and introduces the mathematics and statistics that are crucial for...

This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on...

The two-volume set LNCS 12013 and 12014 constitutes the thoroughly refereed proceedings of the 17th International Conference on Computer Aided Systems Theory, EUROCAST 2019, held in Las Palmas de Gran Canaria, Spain, in February 2019. The 123 full papers...

The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540121060Author J. H ChowFormat PaperbackPage Count 221Imprint 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 9781450324403Author Plas 13 Conference CommitteeFormat PaperbackPage Count 96Imprint ACMPublisher ACMWeight(grams) 245g