Electronic Books

Total Books: 10121 - 10140 /10745

Toll-like Receptors in Inflammation

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

Tomato yellow leaf curl virus disease

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

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

Toolbox Digital Business : Leadership, Business Models, Technologis and Change / Ralf T. Kreutzer

Provides important guidelines for the digital transformation process and shows how established companies in particular can ...

Tooling

The latest instalment in the renowned Pamphlet Architecture series features the technologically progressive young firm Aranda/Lasch, ...

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 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 (vol. # 3920)

This book constitutes the refereed proceedings of the 12th 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 and Criteria for Sustainable Coastal Ecosystem Management : Examples from the Baltic Sea and Other Aquatic Systems

The aim of this book is to discuss practically useful (operational) bioindicators for sustainable coastal management, criteria ...

Tools for Computational Finance

Only in recent years quantitative analysts have asked for the numerical solution of a free-boundary partial di?erential equation. ...

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

Top 10 Challenges of Big Data Analytics / Maria José Sousa

The application of big data analytics in all fields of research is a critical driver for the competitiveness of all countries ...

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 and Methods in Condensed Matter Theory

In this book a variety of many-body phenomena in condensed matter are discussed, with special attention paid to the understanding ...

Topics in Acoustic Echo and Noise Control

In this book, an international team of highly qualified experts treats important topics in acoustic echo and noise control ...

Topics in Almost Automorphy

The range of applications include at present linear and nonlinear evolution equations, integro-differential and functional-differential ...

Topics in Applied Macrodynamic Theory

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

Total Books: 10121 - 10140 /10745