الكتب الالكترونية

عدد الكتب: 1081 - 1100 /1146
978-3-540-32732-5
Theory of Cryptography (vol. # 3876)

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

اقرأ المزيد
978-3-540-78524-8
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 ...

اقرأ المزيد
978-3-030-29414-4
Theory of Evolutionary Computation

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

اقرأ المزيد
978-3-540-89304-2
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 ...

اقرأ المزيد
978-3-540-68768-9
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 ...

اقرأ المزيد
978-3-540-69446-5
Time-Dependent Scheduling

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

اقرأ المزيد
978-3-030-45190-5
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 ...

اقرأ المزيد
978-3-030-72016-2
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 ...

اقرأ المزيد
978-3-030-72013-1
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 ...

اقرأ المزيد
978-3-030-17502-3
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

اقرأ المزيد
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 ...

اقرأ المزيد
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 ...

اقرأ المزيد
978-3-540-27926-6
Tools for Computational Finance

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

اقرأ المزيد
978-3-540-68564-7
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 ...

اقرأ المزيد
978-3-540-69328-4
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 ...

اقرأ المزيد
978-3-030-60806-4
Topics in Galois Fields

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

اقرأ المزيد
9781107159549
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 ...

اقرأ المزيد
978-1-84628-999-6
Toward Artificial Sapience : Principles and Methods for Wise Systems

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

اقرأ المزيد
978-3-540-68795-5
Toward Category-Level Object Recognition

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

اقرأ المزيد
978-3-540-32494-2
Towards a New Evolutionary Computation

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

اقرأ المزيد
عدد الكتب: 1081 - 1100 /1146