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