Electronic Books

Total Books: 621 - 640 /653

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

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

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

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

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

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

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

Transactions on Computational Systems Biology II

(Publisher-supplied data) The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary ...

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

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

Trapped Charged Particles and Fundamental Interactions

The development of ion traps has spurred significant experimental activities able to link measurable quantities to the most ...

Trusted Computing Platforms

Trusted Computing Platforms:Design and Applications fills this gap. Starting with early prototypes and proposed applications, ...

Turning Hydropower Social : Where Global Sustainability ConventionsMatter

This book concerns footprints of the international environmental conventions in action. Hydropower projects have been selected ...

Typed Lambda Calculi and Applications

This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...

UbiComp 2007: Ubiquitous Computing

The Ubiquitous Computing conference series provides the premier forum in which to present original research results in all ...

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

Understanding Programming Languages

This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...

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

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

Using Algebraic Geometry

In recent years, the discovery of new algorithms for dealing with polynomial equations, coupled with their implementation ...

Total Books: 621 - 640 /653