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 suiteThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Lire la suiteOnly in recent years quantitative analysts have asked for the numerical solution of a free-boundary partial di?erential equation. ...
Lire la suiteIn this book, an international team of highly qualified experts treats important topics in acoustic echo and noise control ...
Lire la suiteThis book includes : hash function cryptanalysis, cryptographic building blocks, fairness in secure computation, message ...
Lire la suiteLeading experts have contributed survey and research papers in the areas of Algebraic Combinatorics, Combinatorial Number ...
Lire la suiteProvides a self-contained presentation of the foundations of finite fields, including a detailed treatment of their algebraic ...
Lire la suiteThis is a nicely edited volume on Estimation of Distribution Algorithms (EDAs) by leading researchers on this important topic.
Lire la suiteThis research monograph proposes a unified, cross-fertilizing approach for knowledge-representation and modeling based on ...
Lire la suiteThis book begins by providing appropriate background information and then follows with an in-depth study of a few key issues ...
Lire la suiteThe SystemC consortium has published the official TLM development kit in May 2005 to standardize this modeling technique. ...
Lire la suite(Publisher-supplied data) The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary ...
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 suiteThis issue of Transactions on Computational Systems Biologycontains a selec-tion of papers presented initially at the 2005 ...
Lire la suiteThis issue of Transactions on Computational Systems Biology contains a fully-refereed selection of papers from the Fourth ...
Lire la suiteThis volume, the 7th in the Transactions on Computational Systems Biology series, contains a fully refereed and carefully ...
Lire la suiteThe first three papers describe the applicability of bio-inspired techniques in the technical domain of computing and communication. ...
Lire la suite