Computer Science

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

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

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

There have been substantial developments in meshfree methods, particle methods, and generalized finite element methods since the mid 1990s. The growing interest in these methods is in part due to the fact that they offer extremely flexible numerical...

Models have become essential for dealing with the numerous aspects involved in developing and maintaining complex IT systems. Models allow capturing of the relevant aspects of a system from a given perspective, and at a precise level of abstraction. In...

This book constitutes the proceedings of the 26th International Conference on Computing and Combinatorics, COCOON 2020, held in Atlanta, GA, USA, in August 2020. Due to the COVID-19 pandemic COCOON 2020 was organized as a fully online conference. The 54...

Approaches in Integrative Bioinformatics provides a basic introduction to biological information systems, as well as guidance for the computational analysis of systems biology. This book also covers a range of issues and methods that reveal the multitude...

This book constitutes the thoroughly refereed post-conference proceedings of the International Conference for Smart Health, ICSH 2015, held in Phoenix, AZ, USA, in November 2015. The 33 papers presented together were carefully reviewed and selected from...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783036577999Author Rodica LucaFormat HardbackPage Count 286Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 816gDimensions(mm) 244mm * 170mm * 24mm

This volume contains all papers presented at the workshop "Sequences '91: Methods in Communication, Security and Computer Science," which was held Monday, June 17, through Friday, June 21, 1991, at the Hotel Covo dei Saraceni, Positano,ltaly...

The three-volume set LNCS 10860, 10861 + 10862 constitutes the proceedings of the 18th International Conference on Computational Science, ICCS 2018, held in Wuxi, China, in June 2018. The total of 155 full and 66 short papers presented in this book set...

This book is the proceedings of the Workshop on the Performance Engineering of Computer and Telecommunications Systems. The workshop Was held at Liverpool John Moores University, England on the 5th and 6th September 1995. The workshop follows a series...

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

th This volume contains the papers presented at the 8 International Conference on - vanced Parallel Processing Technologies, APPT 2009. This series of conferences originated from collaborations between researchers from China and Germany and has evolved...

Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is of paramount importance that systems controled by a...