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 ...
Lee mas
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; ...
Lee mas
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
Lee mas
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 ...
Lee masTowards 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 ...
Lee masTowards 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 ...
Lee mas
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 ...
Lee mas
Transactions on Computational Systems Biology VI
This issue of Transactions on Computational Systems Biology contains a fully-refereed selection of papers from the Fourth ...
Lee mas
Transactions on Computational Systems Biology VII
This volume, the 7th in the Transactions on Computational Systems Biology series, contains a fully refereed and carefully ...
Lee mas
Transactions on Computational Systems Biology VIII
The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Treating Trichotillomania
Trichotillomania has been described in the literature for at least a hundred years, but has only in the past decade received ...
Lee mas
Trends in Enterprise Application Architecture
Topics of interest include model driven architecture, enterprise development environments, service oriented architecture, ...
Lee mas
Trust Management (vol. # 3986)
This book constitutes the refereed proceedings of the 4th International Conference on Trust Management, iTrust 2006. 30 revised ...
Lee mas
Trustworthy Global Computing
Constitutes the post-proceedings of the International Symposium on Trustworthy Global Computing. This book covers issues, ...
Lee mas
UbiComp 2005: Ubiquitous Computing
Constitutes the refereed proceedings of the 7th International Conference on Ubiquitous Computing, UbiComp 2005, held in Japan ...
Lee mas
UbiComp 2006: Ubiquitous Computing
This book constitutes the refereed proceedings of the 8th International Conference on Ubiquitous Computing, UbiComp 2006. ...
Lee mas
