Computer Science

Flow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where the gating mechanism is represented by a Markov model. The flow through a channel can be manipulated using various drugs, and the...

This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysis, SAS 2020, held in Chicago, IL, USA, in November 2020.The 14 regular papers presented in this book together with 2 invited talks and 1 extended...

The book presents the state of the art in high-performance computing and simulation on modern supercomputer architectures. It explores general trends in hardware and software development, and then focuses specifically on the future of high-performance...

In this book the authors present an alternative set theory dealing with a more relaxed notion of infiniteness, called finitely supported mathematics (FSM). It has strong connections to the Fraenkel-Mostowski (FM) permutative model of Zermelo-Fraenkel...

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

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

Organizational Semiotics: Evolving a Science of Information Systems covers such issues as: -Fundamental concepts such as 'information', 'data', 'message', 'communication', 'knowledge', 'organization', 'system' and so on; -Properties of signs vital to...

This book comprises the proceedings of the 4th International Conference on Computational Engineering (ICCE 2017), held in Darmstadt, Germany on September 28-29, 2017. The conference is intended to provide an interdisciplinary meeting place for...

A man may imagine he understands something, but still not understand anything in the way that he ought to. (Paul of Tarsus, 1 Corinthians 8:2) Calling this a 'practical theory' may require some explanation. Theory and practice are often thought of as two...

The 5th Transactions on Computational Systems Biology volume, edited by Gordon Plotkin, features carefully selected and enhanced contributions initially presented at the 2005 IEEE International Conference on Granular Computing. The 9 papers selected for...

This volume collects a subset of the high-quality papers that were accepted for presentationatthe20thInternationalSymposiumonComputerandInformation Sciences (ISCIS). ISCIS 2005 was organized by the Department of Computer Engineering of Bo? gazi, ci...

This book presents advances in high performance computing as well as advances accomplished using high performance computing. It contains a collection of papers presenting results achieved in the collaboration of scientists from computer science,...

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

This volume introduces a formal representation framework for modelling and reasoning, that allows us to quantify the uncertainty inherent in the use of vague descriptions to convey information between intelligent agents. This can then be applied across a...

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

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

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9798823353366Author Christian ServinFormat HardbackPage Count 188Imprint Cognella Academic PublishingPublisher Cognella Academic PublishingWeight(grams) 730g

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