Electronic Books

Total Books: 1221 - 1240 /1302

Theory of Cryptography

TCC 2007, the Fourth Theory of Cryptography Conference, was held in Amsterdam, The Netherlands, from February 21 to 24, 2007, ...

Theory of Cryptography

This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...

Theory of Cryptography (vol. # 3876)

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

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

Theory of Evolutionary Computation

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

Theory of Periodic Conjugate Heat Transfer

A new calculation method is presented for heat transfer in coupled convective-conductive fluid-wall systems under periodical ...

Theory of the Muon Anomalous Magnetic Moment

The theory of the muon anomalous magnetic moment is at the cutting edge of current research in particle physics. It includes ...

Therapeutic Use of Medicinal Plants and Their Extracts ; Volume 1 : Pharmacognosy

This volume focuses on the importance of therapeutically active compounds of natural origin. Natural materials from plants, ...

Thermal Processes Using Attosecond Laser Pulses

This book contains a study of the thermal processes initiated by attosecond laser pulses. Considering the existence of the ...

Third-Party Liability of Classification Societies

Classification societies are charged with the technical supervision of maritime shipping to enhance the safety of life and ...

Tips and Techniques in Laparoscopic Surgery

This comprehensive manual demonstrates basic laparoscopic techniques step-wise, with emphasis on practical details and tips. ...

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

Tools and Algorithms for the Construction and Analysis of Systems

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...

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

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

Tooth Preparations : Science and Art / Clovis Pagani; Annelies Van Ende

Details the basic principles and sequencing of cavity preparation and outlines the different preparation designs indicated ...

Topics in Acoustic Echo and Noise Control

In this book, an international team of highly qualified experts treats important topics in acoustic echo and noise control ...

Topics in Atomic Physics

The study of atomic physics propelled us into the quantum age in the early twentieth century and carried us into the twenty-first ...

Topics in Strangeness Nuclear Physics

This set of extensive lectures presents a balanced theoretical and experimental introduction to, and survey of, the field, ...

Topics on Concentration Phenomena and Problems with Multiple Scales

This volume includes lecture notes devoted to the asymptotic analysis of such problems when the multi-scale behaviour derives ...

Total Books: 1221 - 1240 /1302