Search Results - "structural material"
Suggested Topics within your search.
Suggested Topics within your search.
- Materials science 17
- Building materials 11
- History of engineering & technology 11
- Structural Materials 11
- Technology: general issues 11
- Mechanical engineering & materials 7
- Sustainability 7
- Materials 5
- Production engineering 5
- Aerospace & aviation technology 4
- Ceramics & glass technology 4
- Chemistry 4
- Metals 4
- Metals and Alloys 4
- Metals technology / metallurgy 4
- Testing of materials 4
- Building Construction and Design 3
- Buildings 3
- Design and construction 3
- Aerospace Technology and Astronautics 2
- Aerospace engineering 2
- Analysis 2
- Ancient history: to c 500 CE 2
- Archaeology 2
- Archaeology by period / region 2
- Arts 2
- Asian history 2
- Astronautics 2
- Building construction & materials 2
- Ceramic materials 2
-
41
-
42
Research Progress in High-Performance Magnesium Alloy and Its Applications
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
43
-
44
-
45
-
46
-
47
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2019Table of Contents: “…Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games -- Resource-Tracking Concurrent Games -- Change Actions: Models of Generalised Differentiation -- Coalgebra Learning via Duality -- Tight Worst-Case Bounds for Polynomial Loop Programs -- A Complete Normal-Form Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient May Use Limited Optimism to Minimize Regret -- Causality in Linear Logic: Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment) -- Rewriting Abstract Structures: Materialization Explained Categorically -- Two-Way Parikh Automata with a Visibly Pushdown Stack -- Kleene Algebra with Hypotheses -- Trees in Partial Higher Dimensional Automata -- The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains -- Continuous Reachability for Unordered Data Petri Nets is in PTime -- Optimal Satisfiability Checking for Arithmetic mu-Calculi -- Constructing Inductive-Inductive Types in Cubical Type Theory -- Causal Inference by String Diagram Surgery -- Higher-Order Distributions for Differential Linear Logic -- Languages Ordered by the Subword Order -- Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces -- A Sound and Complete Logic for Algebraic Effects -- Equational Axiomatization of Algebras with Structure -- Towards a Structural Proof Theory of Probabilistic μ-Calculi -- Partial and Conditional Expectations in Markov Decision Processes with Integer Weights -- Equational Theories and Monads from Polynomial Cayley Representations -- A Dialectica-Like Interpretation of a Linear MSO on Infinite Words -- Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time -- Justness: A Completeness Criterion for Capturing Liveness Properties -- Path category for Free - Open Morphisms from Coalgebras with Non-Deterministic Branching.…”
Link to Metadata
Electronic eBook -
48
-
49
-
50
Advanced Topics in Biomineralization
Published 2012DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
51
Entwicklung und Optimierung des Diffusionsschweißens von ODS Legierungen
Published 2014DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
52
Modeling of Helium Bubble Nucleation and Growth in Neutron Irradiated RAFM Steels
Published 2012DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
53
-
54
-
55
-
56
Advanced Nanoindentation in Materials
Published 2018DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
57
Ion Beam Techniques and Applications
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
58
Synthesis, Processing and Application of Micro and Nanostructured Materials
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
59
-
60