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