Electronic Books

Total Books: 1081 - 1100 /1146
Theory of Cryptography (vol. # 3876)

This book constitutes the refereed proceedings of the PrefaceTCC 2006 was the third Theory of Cryptography Conference, which ...

Lee mas
Theory of Cryptography : Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008. Proceedings

The papers are organized in 16 sessions dealing with the paradigms, approaches and techniques used to conceptualize, define ...

Lee mas
Theory of Evolutionary Computation

Reports on recent developments in the theory of evolutionary computation, or more generally the domain of randomized search ...

Lee mas
Theory of Quantum Computation, Communication, and Cryptography : Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers

This book focus on theoretical aspects of quantum computation, quantum communication, and quantum cryptography, which are ...

Lee mas
Time Domain Methods in Electrodynamics

This book consists of contributions given in honor of Wolfgang J.R. Hoefer. The contributions represent the state of the ...

Lee mas
Time-Dependent Scheduling

Time-dependent scheduling involves problems in which the processing times of jobs depend on when those jobs are started. ...

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

Lee mas
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...

Lee mas
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II

This two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...

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
NoIMG
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I

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

Lee mas
NoIMG
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

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

Lee mas
Tools for Computational Finance

Only in recent years quantitative analysts have asked for the numerical solution of a free-boundary partial di?erential equation. ...

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

Lee mas
Topics in Cryptology – CT-RSA 2007

This book constitutes the refereed proceedings of the Cryptographers' Track at the RSA Conference 2007, CT-RSA 2007, held ...

Lee mas
Topics in Galois Fields

Provides a self-contained presentation of the foundations of finite fields, including a detailed treatment of their algebraic ...

Lee mas
Topological Data Analysis for Genomics and Evolution: Topology in Biology

Biology has entered the age of Big Data. A technical revolution has transformed the field, and extracting meaningful information ...

Lee mas
Toward Artificial Sapience : Principles and Methods for Wise Systems

This book presents computational paradigms describing lower- and higher-level cognitive functions, including mechanisms of ...

Lee mas
Toward Category-Level Object Recognition

This volume is a post-event proceedings volume and contains selected papers based on presentations given, and vivid discussions ...

Lee mas
Towards a New Evolutionary Computation

This is a nicely edited volume on Estimation of Distribution Algorithms (EDAs) by leading researchers on this important topic.

Lee mas
Total Books: 1081 - 1100 /1146