You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
ETAPS2000 was the third instance of the EuropeanJoint Conferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ?ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
This book constitutes the refereed proceedings of the Brazilian Symposium on Bioinformatics, BSB 2005, held in Sao Leopoldo, Brazil in July 2005. The 15 revised full papers and 10 revised extended abstracts presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers address a broad range of current topics in computational biology and bioinformatics.
This book constitutes the refereed proceedings of the Second Brazilian Symposium on Bioinformatics, BSB 2007, held in Angra dos Reis, Brazil, in August 2007, co-located with IWGD 2007, the International Workshop on Genomic Databases. The papers address a broad range of current topics in computational biology and bioinformatics.
This book constitutes the proceedings of the 6th Brazilian Symposium on Bioinformatics, BSB 2011, held in Brasília, Brazil, in August 2011. The 8 full papers and 4 extended abstracts presented were carefully peer-reviewed and selected for inclusion in this book. The BSB topics of interest cover many areas of bioinformatics that range from theoretical aspects of problems in bioinformatics to applications in molecular biology, biochemistry, genetics, and associated subjects.
This book constitutes the refereed proceedings of the Third Brazilian Symposium on Bioinformatics, BSB 2008, held in Sao Paulo, Brazil, in August 2008 - co-located with IWGD 2008, the International Workshop on Genomic Databases. The 14 revised full papers and 5 extended abstracts were carefully reviewed and selected from 41 submissions. The papers address a broad range of current topics in computational biology and bioinformatics featuring original research in computer science, mathematics and statistics as well as in molecular biology, biochemistry, genetics, medicine, microbiology and other life sciences.
High Performance Computing Systems and Applications contains fully refereed papers from the 15th Annual Symposium on High Performance Computing. These papers cover both fundamental and applied topics in HPC: parallel algorithms, distributed systems and architectures, distributed memory and performance, high level applications, tools and solvers, numerical methods and simulation, advanced computing systems, and the emerging area of computational grids. High Performance Computing Systems and Applications is suitable as a secondary text for graduate level courses, and as a reference for researchers and practitioners in industry.
This book constitutes the refereed proceedings of the 8th Brazilian Symposium on Bioinformatics, BSB 2013, held in Recife, Brazil, in November 2013. The 18 regular papers presented were carefully reviewed and selected for inclusion in this book. The papers cover all aspects of bioinformatics and computational biology.