Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue reading
Tools for High Performance Computing : Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart
To support application developers in the various tasks involved in this process, several different tools need to be at his ...
Continue reading
Topics in Cryptology - CT-RSA 2008 : The Cryptographers’ Track at the RSA Conference 2008, San Francisco, CA, USA, April 8-11, 2008. Proceedings
This book includes : hash function cryptanalysis, cryptographic building blocks, fairness in secure computation, message ...
Continue reading
Topics in Cryptology -- CT-RSA 2005
This book constitutes the refereed proceedings of the Cryptographers Track at the RSA Conference 2005, CT-RSA 2005, held ...
Continue reading
Transactions on Aspect-Oriented Software Development I
This book, the first volume in the Transactions on Aspect-Oriented Software Development series, presents nine revised papers ...
Continue reading
Transactions on Aspect-Oriented Software Development II
This volume, the second in the Transactions on Aspect-Oriented Software Development series, presents 2 regular revised papers, ...
Continue reading
Transactions on Computational Systems Biology II
(Publisher-supplied data) The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary ...
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
Transforming Lives and Systems Cultural Competence and the Higher Education Interface
This book explores the transformative experiences of participants in the University of Sydney’s National Centre for Cultural ...
Continue reading
Trapped Charged Particles and Fundamental Interactions
The development of ion traps has spurred significant experimental activities able to link measurable quantities to the most ...
Continue reading
Trusted Computing Platforms
Trusted Computing Platforms:Design and Applications fills this gap. Starting with early prototypes and proposed applications, ...
Continue reading
Turning Hydropower Social : Where Global Sustainability ConventionsMatter
This book concerns footprints of the international environmental conventions in action. Hydropower projects have been selected ...
Continue reading
Typed Lambda Calculi and Applications
This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...
Continue reading
UbiComp 2007: Ubiquitous Computing
The Ubiquitous Computing conference series provides the premier forum in which to present original research results in all ...
Continue reading
Ultra Wideband - Circuits, Transceivers and Systems : Circuits, Transceivers and Systems
Ultra Wideband: Circuits, Transceivers and Systems offers a comprehensive overview of the state of the art of the physical ...
Continue reading
Understanding Programming Languages
This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
Continue reading
Understanding Risks and Uncertainties in Energy and Climate Policy
This book analyzes and seeks to consolidate the use of robust quantitative tools and qualitative methods for the design and ...
Continue reading
Uniform Output Regulation of Nonlinear Systems
This book is one of the first systematic studies on the nonlinear output regulation problem that embraces both the local ...
Continue reading
Using Algebraic Geometry
In recent years, the discovery of new algorithms for dealing with polynomial equations, coupled with their implementation ...
Continue reading
