Electronic Books

Total Books: 2561 - 2580 /2760

Tissue Engineering

This special issue of Advances in Experimental Medicine and Biology includes much of the research presented at the recent ...

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

Tomato yellow leaf curl virus disease

This book will awaken the interest of breeders, phytopathologists, environmentalists, extension services, plant virologists, ...

Tongue Lesions : Diagnostic Challenges and Therapeutic Strategies / Mahmoud F. Sakr

Offers in a single resource the whole coverage of different diseases and lesions, congenital or acquired, of the tongue, ...

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

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

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 and Algorithms for the Construction and Analysis of Systems

This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...

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

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

Tooth Whitening Techniques / Linda Greenwall

The field of tooth whitening has continued to develop as more and more dental practitioners have turned to cosmetic dentistry ...

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

Topics in Gravitational Dynamics

This set of lectures collects surveys of open problems in celestial dynamics and dynamical astronomy applied to solar, extra-solar ...

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 Ankle Arthroplasty

Increasing success of arthroplasty of joints like the hip and knee along with concerns about the long-term outcomes of ankle ...

Total Books: 2561 - 2580 /2760