Theoretical and Numerical Unsaturated Soil Mechanics
These proceedings are a continuation of the series of International Conferences in Germany entitled "Mechanics of Unsaturated ...
Continue reading
Theoretical and Practical Advances in Computer-based Educational Measurement
Presents a multitude of different, yet related, innovations in educational measurement and provides insight in their practical ...
Continue reading
Theory and Applications of Ordered Fuzzy Numbers
This open access book offers comprehensive coverage on Ordered Fuzzy Numbers, providing readers with both the basic information ...
Continue reading
Theory and Practice of Model Transformations : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings
This book includes different issues related with: process and engineering of model transformations; model transformations ...
Continue reading
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
Theory of Defects in Semiconductors
Semiconductor science and technology is the art of defect engineering. The theoretical modeling of defects has improved dramatically ...
Continue reading
Theory of Thermomechanical Processes in Welding
This book presents a modern viewpoint of welding thermomechanics and provides a unified and systematic continuum approach ...
Continue reading
Thermal Decomposition of Solids and Melts
Thermal Decomposition of Solids and Melts describes the results of investigations into the mechanisms and kinetics involved ...
Continue reading
Thermal and Power Management of Integrated Circuits
In Thermal and Power Management of Integrated Circuits, power and thermal management issues in integrated circuits during ...
Continue reading
Thermo-fluid Dynamics of Two-Phase Flow
Thermo-fluid dynamics of two-phase flow is an important subject for various scientific and engineering fields. It plays a ...
Continue reading
Thinking in Complexity
The theory of nonlinear, complex systems has become by now a proven problem-solving approach in the natural sciences. In ...
Continue reading
Three-Dimensional Television : Capture, Transmission, Display
3DTV require the integration of a diversity of key technologies from computing to graphics, imaging to display, and signal ...
Continue reading
Time Continuity in Discrete Time Models
Production planning problems containing special characteristics from process industries are addressed in this book. The main ...
Continue reading
Times of Convergence. Technologies Across Learning Contexts : Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 2008. Proceedings
The book covers the different fields of learning technologies: education, psychology, computer science. The book address ...
Continue reading
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 I
This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue reading
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 ...
Continue reading
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
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
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 ...
Continue readingTools 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
