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