Electronic Books

Total Books: 2241 - 2260 /2341

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 ...

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

Only in recent years quantitative analysts have asked for the numerical solution of a free-boundary partial di?erential equation. ...

In this book, an international team of highly qualified experts treats important topics in acoustic echo and noise control ...

This book includes : hash function cryptanalysis, cryptographic building blocks, fairness in secure computation, message ...

Leading experts have contributed survey and research papers in the areas of Algebraic Combinatorics, Combinatorial Number ...

Provides a self-contained presentation of the foundations of finite fields, including a detailed treatment of their algebraic ...

This is a nicely edited volume on Estimation of Distribution Algorithms (EDAs) by leading researchers on this important topic.

This research monograph proposes a unified, cross-fertilizing approach for knowledge-representation and modeling based on ...

This book begins by providing appropriate background information and then follows with an in-depth study of a few key issues ...

The SystemC consortium has published the official TLM development kit in May 2005 to standardize this modeling technique. ...

(Publisher-supplied data) The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary ...

This book contains four highly detailed papers. The first paper focuses on quantitative aspects of the bgl operon for E.coli. ...

This issue of Transactions on Computational Systems Biologycontains a selec-tion of papers presented initially at the 2005 ...

This issue of Transactions on Computational Systems Biology contains a fully-refereed selection of papers from the Fourth ...

This volume, the 7th in the Transactions on Computational Systems Biology series, contains a fully refereed and carefully ...

The first three papers describe the applicability of bio-inspired techniques in the technical domain of computing and communication. ...

Total Books: 2241 - 2260 /2341