Electronic Books

Total Books: 4081 - 4100 /4431

Théories spectrales : Chapitres 1 et 2 = Spectral theories: Chapters 1 and 2

Nicolas BOURBAKI's Elements of Mathematics aim to provide a rigorous, systematic presentation without prerequisites of mathematics ...

Tibetan houses vernacular architecture of the Himalayas and environs / Anna Woźniak; Peter Herrle

Analyses 21 traditional houses in the region that respond in diverse ways to the specifics of their location and local climate. ...

Time Predictions

Predicting the time needed to complete a project, task or daily activity can be difficult and people frequently underestimate ...

Time in Quantum Mechanics

The treatment of time in quantum mechanics is still an important and challenging open question in the foundation of the quantum ...

Time--Frequency and Time--Scale Methods

Developed in this book are several deep connections between time--frequency (Fourier/Gabor) analysis and time--scale (wavelet) ...

Timing and Temporality in Islamic Philosophy and Phenomenology of Life

From time immemorial, concern with timing of life has been crucial for the regulation of human praxis as well as for the ...

Tissue Barriers in Disease, Injury and Regeneration

Focuses on the molecular and cellular fundamentals of homeostatic and defense responses of tissue barriers, covering the ...

Tobacco Control Policy in the Netherlands

Governments have known since the 1960s that smoking results in irreversible health damage. This open access book examines ...

Toll and Toll-Like Receptors:

Toll-Like Receptor (TLR) biology would prove to be one of these secrets. Analyses of the evolution of these receptors (Tolls ...

Toll-Like Receptors (TLRs) and Innate Immunity

Overall recent research on TLRs has led to tremendous increase in our understanding of early steps in pathogen recognition ...

Toll-like Receptors in Inflammation

Toll-like receptors (TLRs) are critical mediators of the innate immune response in mammals. This family of receptors recognizes ...

Tool and Object : A History and Philosophy of Category Theory

The book is first of all a history of category theory from the beginnings to A. Grothendieck and F.W. Lawvere. Category theory ...

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

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 : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...

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

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

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 Wear Interceptive treatment approach with minimally invasive protocols / Didier Dietschi, Carlo Massimo Saratti, Serge Erpen

A comprehensive review of clinical procedures that can help the practitioner select a proper protocol and suitable materials ...

Topic and Focus : Cross-Linguistic Perspectives on Meaning and Intonation

This book contains a collection of papers exploring the cross-linguistic expression of topic and focus. A diverse set of ...

Total Books: 4081 - 4100 /4431