Electronic Books

Total Books: 741 - 760 /808

Tools and Algorithms for the Construction and Analysis of Systems

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

Tools and Algorithms for the Construction and Analysis of Systems

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

Tools and Algorithms for the Construction and Analysis of Systems

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

Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920)

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

Towards Resilient Organizations and Societies : A Cross-Sectoral and Multi-Disciplinary Perspective

This book brings together scholars in the fields of management, public policy, regional studies, and organization theory ...

Towards an Emissions Trading System in Mexico: Rationale, Design and Connections with the Global Climate Agenda : Outlook on the first ETS in Latin-America and Exploration of the Way Forward

This book provides detailed information about the incoming Mexican Emissions Trading System, including an analysis on why ...

Transactional to Transformational: How Banks Innovate / Christer Holloman

This book will equip you with ideas, tools and actionable hands-on advice. You will discover the untold stories about how ...

Transactions on Computational Systems Biology VI

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

Transactions on Computational Systems Biology VII

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

Transactions on Computational Systems Biology VIII

The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the ...

Transactions on Data Hiding and Multimedia Security I

This inaugural issue contains five papers dealing with a wide range of topics related to multimedia security. The first paper ...

Transactions on Data Hiding and Multimedia Security II

This second issue contains five papers dealing with a wide range of topics related to multimedia security. The first paper ...

Transactions on Data Hiding and Multimedia Security III

The first two papers deal with the security of steganographic systems; the third paper presents a novel image steganographic ...

Transgenerational Marketing : Evolution, Expansion, and Experience / Rajagopal

Examines the evolution of marketing scholarship over generations from Marketing 1.0 to 4.0. It argues that most firms look ...

Treating Trichotillomania

Trichotillomania has been described in the literature for at least a hundred years, but has only in the past decade received ...

Trends in Enterprise Application Architecture

Topics of interest include model driven architecture, enterprise development environments, service oriented architecture, ...

Trust Management (vol. # 3986)

This book constitutes the refereed proceedings of the 4th International Conference on Trust Management, iTrust 2006. 30 revised ...

Trustworthy Global Computing

Constitutes the post-proceedings of the International Symposium on Trustworthy Global Computing. This book covers issues, ...

UbiComp 2005: Ubiquitous Computing

Constitutes the refereed proceedings of the 7th International Conference on Ubiquitous Computing, UbiComp 2005, held in Japan ...

UbiComp 2006: Ubiquitous Computing

This book constitutes the refereed proceedings of the 8th International Conference on Ubiquitous Computing, UbiComp 2006. ...

Total Books: 741 - 760 /808