Electronic Books

Total Books: 901 - 920 /956

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 II

This book set constitutes the proceedings of the 26th 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 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 : 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 : An Evidence-Based Perspective / Jorge Perdigão (ed.)

Reviews the evidence relating to the mechanisms, clinical efficacy, safety/toxicity, and clinical application of tooth whitening ...

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

Topology in Condensed Matter

This book reports new results in condensed matter physics for which topological methods and ideas are important. It considers, ...

Towards Synthesis of Micro-

At the beginning of the 21st century, manufacturing industry is faced with new challenges stemming from globalization and ...

Traffic Grooming for Optical Networks : Foundations, Techniques, and Frontiers

This book begins by providing appropriate background information and then follows with an in-depth study of a few key issues ...

Transactions on Computational Systems Biology II

(Publisher-supplied data) The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary ...

Transactions on Computational Systems Biology IX

This book contains four highly detailed papers. The first paper focuses on quantitative aspects of the bgl operon for E.coli. ...

Transdermal Drug Delivery : Concepts and Application ; 1st Edition / Kevin Ita

Comprehensive background knowledge and documents the most recent advances made in the field of transdermal drug delivery. ...

Transendoscopic Ultrasound for Neurosurgery

Endoscopic neurosurgery has not yet reached the safety and applicability of microsurgery. Endo-neuro-sonography is a new ...

Transforming Health Care Through Information

Based on case studies, this book illustrates the complex challenges faced by healthcare administrators when implementing ...

Transgenic Microalgae as Green Cell Factories

In this book a group of outstanding researchers working on different areas of microalgae biotechnology offer a global vision ...

Transmission Electron Microscopy : Physics of Image Formation

Transmission Electron Microscopy: Physics of Image Formation presents the theory of image and contrast formation, and the ...

Transmission Electron Microscopy and Diffractometry of Materials

This book explains concepts of transmission electron microscopy (TEM) and x-ray diffractometry (XRD) that are important for ...

Transparent Conductive Zinc Oxide : Basics and Applications in Thin Film Solar Cells

Zinc oxide (ZnO) belongs to the class of transparent conducting oxides which can be used as transparent electrodes in electronic ...

Transport Phenomena in Micro Process Engineering

In this book, the fundamentals of chemical engineering are presented aiming to applications in micro system technology, microfluidics, ...

Total Books: 901 - 920 /956