Electronic Books

Total Books: 1781 - 1800 /1902

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

Total Books: 1781 - 1800 /1902