This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, ...
Continue readingThis book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction ...
Continue readingThe book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Continue readingThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Continue readingThe aim of this book is to discuss practically useful (operational) bioindicators for sustainable coastal management, criteria ...
Continue readingTo support application developers in the various tasks involved in this process, several different tools need to be at his ...
Continue readingMost topics dealt with here deal with complex analysis of both one and several complex variables. Several contributions come ...
Continue readingAssuming only a basic knowledge of functional analysis, the book gives the reader a self-contained overview of the ideas ...
Continue readingThis book includes : hash function cryptanalysis, cryptographic building blocks, fairness in secure computation, message ...
Continue readingThis book constitutes the refereed proceedings of the Cryptographers’ Track at the RSA Conference 2006,held in San Jose, ...
Continue readingThis book constitutes the refereed proceedings of the Cryptographers' Track at the RSA Conference 2007, CT-RSA 2007, held ...
Continue readingThis book presents the evolution of uniform approximations of continuous functions. Starting from the simple case of a real ...
Continue readingThis text adopts the latter perspective by applying an arithmetic-algebraic viewpoint to the study of function fields as ...
Continue readingBiology has entered the age of Big Data. A technical revolution has transformed the field, and extracting meaningful information ...
Continue readingEconomic integration in general and Eastern enlargement of the European Union in particular created a wider European single ...
Continue readingThis, the 37th issue of the Transactions on Computational Science, is devoted to the area of Computer Graphics. The 9 papers ...
Continue readingThe recent paradigmatic shift in biology towards a system view of biological phenomena requires a corresponding paradigmatic ...
Continue readingThe LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the ...
Continue readingThis book contains four highly detailed papers. The first paper focuses on quantitative aspects of the bgl operon for E.coli. ...
Continue readingThe first three papers describe the applicability of bio-inspired techniques in the technical domain of computing and communication. ...
Continue reading