Télécharger le livre :  Dynamic Mechanical Behaviors and Constitutive Model of Roller Compacted Concrete
Ajouter à ma liste d'envies
This book systematically illustrates the dynamic mechanical behaviors and discusses the fundamentals of the constitutive modeling of roller-compacted concrete (RCC), influenced by the construction technique and mix design. Four typical problems are analyzed using...

Editeur : Springer
Parution : 2023-03-01
Collection : Hydroscience and Engineering
PDF, ePub

179,34
Télécharger le livre :  Combined Measure and Shift Invariance Theory of Time Scales and Applications
Ajouter à ma liste d'envies
This monograph is devoted to developing a theory of combined measure and shift invariance of time scales with the related applications to shift functions and dynamic equations. The study of shift closeness of time scales is significant to investigate the shift functions...

Editeur : Springer
Parution : 2022-09-22
Collection : Developments in Mathematics
PDF, ePub

105,49
Télécharger le livre :  Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales
Ajouter à ma liste d'envies
This book systematically establishes the almost periodic theory of dynamic equations and presents applications on time scales in fuzzy mathematics and uncertainty theory. The authors introduce a new division of fuzzy vectors depending on a determinant algorithm and...

Editeur : Springer
Parution : 2022-09-20
Collection : Synthesis Lectures on Mathematics & Statistics
PDF, ePub

58,01
Télécharger le livre :  Theory of Translation Closedness for Time Scales
Ajouter à ma liste d'envies
This monograph establishes a theory of classification and translation closedness of time scales, a topic that was first studied by S. Hilger in 1988 to unify continuous and discrete analysis. The authors develop a theory of translation function on time scales that...

Editeur : Springer
Parution : 2020-05-05
Collection : Developments in Mathematics
PDF, ePub

126,59
Télécharger le livre :  Abstraction Refinement for Large Scale Model Checking
Ajouter à ma liste d'envies
Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verification algorithms,...

Editeur : Springer
Parution : 2006-09-15

PDF

94,94