Electronic Books

Total Books: 1061 - 1080 /1121

The Variational Approach to Fracture

This approach views crack growth as the result of a competition between bulk and surface energy, treating crack evolution ...

Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...

Theoretical Aspects of Computing – ICTAC 2007

Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...

Theoretical and Numerical Unsaturated Soil Mechanics

These proceedings are a continuation of the series of International Conferences in Germany entitled "Mechanics of Unsaturated ...

Theory and Applications of Models of Computation : 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings

This book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...

Theory and Approach of Information Retrievals from Electromagnetic Scattering and Remote Sensing

This book presents some new progress on the theoretical and numerical approaches for information retrieval of the remote ...

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

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

Théorie élémentaire et pratique de la commande par les régimes glissants

This work proposes to apply the Sliding Regimes (RG) algorithms to industrial regulation and servo loops controlled to date ...

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 III

The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the ...

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

Total Books: 1061 - 1080 /1121