Electronic Books

Total Books: 4641 - 4660 /4928

This two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...

Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, ...

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...

This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...

This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...

This is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems

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

To support application developers in the various tasks involved in this process, several different tools need to be at his ...

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

The range of applications include at present linear and nonlinear evolution equations, integro-differential and functional-differential ...

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

Classical econometrics - which plunges its roots in economic theory with simultaneous equations models (SEM) as offshoots ...

This set of lectures collects surveys of open problems in celestial dynamics and dynamical astronomy applied to solar, extra-solar ...

This set of extensive lectures presents a balanced theoretical and experimental introduction to, and survey of, the field, ...

This volume includes lecture notes devoted to the asymptotic analysis of such problems when the multi-scale behaviour derives ...

Total Books: 4641 - 4660 /4928