Electronic Books

Total Books: 901 - 920 /947
978-3-540-78767-9
Theory and Simulation of Hard-Sphere Fluids and Related Systems

Hard spheres and related objects (hard disks and mixtures of hard systems) are paradigmatic systems: indeed, they have served ...

Continue reading
978-3-540-73607-3
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 ...

Continue reading
NoIMG
Thin Films of Soft Matter

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

Continue reading
978-3-030-17502-3
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

Continue reading
978-3-540-31980-1
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, ...

Continue reading
NoIMG
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 ...

Continue reading
NoIMG
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 ...

Continue reading
978-3-540-70823-0
Topology-based in Methods in Visualization

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

Continue reading
978-3-540-28091-0
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 ...

Continue reading
978-3-540-88765-2
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. ...

Continue reading
978-3-540-69744-2
Transactions on Edutainment I

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

Continue reading
978-3-540-89287-8
Transactions on Petri Nets and Other Models of Concurrency I

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

Continue reading
978-1-4020-4556-1
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 ...

Continue reading
978-3-540-74618-8
Transport Phenomena in Micro Process Engineering

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

Continue reading
978-3-540-36906-6
Transport at the Air Sea Interface

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

Continue reading
978-3-540-77817-2
Trapped Charged Particles and Fundamental Interactions

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

Continue reading
978-0-387-49891-1
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 ...

Continue reading
978-3-540-75336-0
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 ...

Continue reading
978-1-4020-3331-5
Tsunamis

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

Continue reading
978-1-4020-6435-7
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 ...

Continue reading
Total Books: 901 - 920 /947