Electronic Books

Total Books: 1001 - 1020 /1049

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

Topology-based in Methods in Visualization

Topology-based methods are built on the idea of abstracting characteristic structures such as the topological skeleton from ...

Traffic and Granular Flow 03

These proceedings are the fifth in the series Traffic and Granular Flow, and we hope they will be as useful a reference as ...

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

Transactions on Edutainment I

This book subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, ...

Transactions on Petri Nets and Other Models of Concurrency I

It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...

Transistor Level Modeling for Analog

The editors and authors present a wealth of knowledge regarding the most relevant aspects in the field of MOS transistor ...

Transport Phenomena in Micro Process Engineering

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

Transport at the Air Sea Interface

This monograph contains selected, peer-reviewed post-conference contributions of the International Workshop on Transport ...

Trapped Charged Particles and Fundamental Interactions

The development of ion traps has spurred significant experimental activities able to link measurable quantities to the most ...

Trees at their Upper Limit : Treelife Limitation at the Alpine Timberline

Trees at their Upper Limit presents a complete modern synthesis of current knowledge on the ecophysiology of tree growth ...

Tribology of Diamond-like Carbon Films : Fundamentals and Applications

Tribology of Diamond-like Carbon Films discusses the most important structural, chemical, mechanical and tribological characteristics ...

Trustworthy Global Computing ; Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC ...

Tsunamis

A timely review of state-of-the-art tsunami research, covering case studies and recent developments from various approaches. ...

Turbulence in Fluids : Fourth Revised and Enlarged Edition

This is the 4th edition of a book originally published by Kluwer Academic Publishers. It is an exhaustive monograph on turbulence ...

Turbulent Particle-Laden Gas Flows

Results are given of experimental and theoretical studies of "gas-solid particles" turbulent two-phase flows. Special emphasis ...

Twin-Control : A Digital Twin Approach to Improve Machine Tools Lifecycle

This book summarizes the results of the European research project “Twin-model based virtual manufacturing for machine tool-process ...

UML for SOC Design

The last several years have seen significant progress on two related frontsin hardware and software design for electronic ...

Uncertainty Assessment of Large Finite Element Systems

The treatment of uncertainties in the analysis of engineering structures remains one of the premium challenges in structural ...

Total Books: 1001 - 1020 /1049