Theoretical and Numerical Unsaturated Soil Mechanics
These proceedings are a continuation of the series of International Conferences in Germany entitled "Mechanics of Unsaturated ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Theory of Defects in Semiconductors
Semiconductor science and technology is the art of defect engineering. The theoretical modeling of defects has improved dramatically ...
اقرأ المزيد
Theory of Thermomechanical Processes in Welding
This book presents a modern viewpoint of welding thermomechanics and provides a unified and systematic continuum approach ...
اقرأ المزيد
Thermal Decomposition of Solids and Melts
Thermal Decomposition of Solids and Melts describes the results of investigations into the mechanisms and kinetics involved ...
اقرأ المزيد
Thermal and Power Management of Integrated Circuits
In Thermal and Power Management of Integrated Circuits, power and thermal management issues in integrated circuits during ...
اقرأ المزيد
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 ...
اقرأ المزيد
Thinking in Complexity
The theory of nonlinear, complex systems has become by now a proven problem-solving approach in the natural sciences. In ...
اقرأ المزيد
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 ...
اقرأ المزيد
Time Continuity in Discrete Time Models
Production planning problems containing special characteristics from process industries are addressed in this book. The main ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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
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 (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 : 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 ...
اقرأ المزيد
