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