Electronic Books

Total Books: 901 - 920 /946

Thermal Transport for Applications in Micro/Nanomachining

The focus of this monograph is on thermal transport modeling at time and length scales ranging from micro- to nanoscale levels. It ...

Thin Films of Soft Matter

A detailed overview and comprehensive analysis of the main theoretical and experimental advances on free surface thin film ...

Tools and Algorithms for the Construction and Analysis of Systems

This is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440)

This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, ...

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

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

Total Books: 901 - 920 /946