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