Electronic Books

Total Books: 2001 - 2020 /2096

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

Topics in Applied Macrodynamic Theory

This book presents topics in applied dynamic macrotheory for closed and open economies. The authors give an advanced treatment ...

Topics in Hyposonic Flow Theory

Hyposonic fluid flows, characterized by a low Mach number, are mainly linked with geophysical and environmental fluid flows. ...

Trade, Integration and Economic Development

This volume is a collection of papers which were presented at the 7th conference meeting of the Arnoldshain Research Network ...

Traditional use of medicinal plants for the treatment of Diabetes mellitus / Mai ghazi ; Rafah Alkadi ; Mohammad Al-ismail

Diabetes mellitus (DM) is a chronic metabolic disorder characterized by persistent hyperglycemia. It may be due to impaired ...

Transactions on Computational Science XXXVII

This, the 37th issue of the Transactions on Computational Science, is devoted to the area of Computer Graphics. The 9 papers ...

Transactions on Rough Sets IV

Volume IV of the Transactions on Rough Sets (TRS) introduces a number of new advances in the theory and application of rough ...

Transactions on Rough Sets VI

this volume introduces a number of new advances in the foundations and applications of artificial intelligence, engineering, ...

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

Transdermal Drug Delivery System Patch of Testosterone / Kamar Sankari ; Yara AL sati ; Zainab AL Mohamad

Transdermal Drug Delivery System is a medicated way to administer the active ingredient by the skin; the adhesive patch is ...

Transforming Growth Factor-β in Cancer Therapy, Volume I : Basic and Clinical Biology

Transforming Growth Factor-ß in Cancer Therapy, Volumes 1 and 2, provide a compendium of findings about the role of transforming ...

Transforming Health Care Through Information

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

Transient Receptor Potential (TRP) Channels

The main goal of this volume is to provide up-to-date information on the molecular and functional properties and pharmacology ...

Transport Phenomena and Kinetic Theory

The study of kinetic equations related to gases, semiconductors, photons, traffic flow, and other systems has developed rapidly ...

Transporters and Drug-Metabolizing Enzymes in Drug Toxicity / Albert P. Li

Explore up-to-date coverage on the interaction between drug metabolism enzymes, transporters, and drug toxicity with this ...

Trattamento del distacco retinico primario

Questo compendio, ricco di informazioni, rappresenta per il moderno chirurgo vitreo-retinico una guida basilare. Esperti ...

Trease & Evans Pharmacognosy / Evans

Covers the study of those natural substances, principally plants, that find a use in medicine. Its popularity and longevity ...

Total Books: 2001 - 2020 /2096