Search Results - "engineering structure"
Suggested Topics within your search.
Suggested Topics within your search.
- Technology: general issues 8
- History of engineering & technology 7
- Building construction & materials 6
- Civil Engineering 4
- Civil engineering 4
- Civil engineering, surveying & building 4
- Mobile phone technology 4
- Materials science 3
- Structural engineering 3
- Building Materials 2
- Building materials 2
- Cultural studies 2
- Environmental management 2
- Environmental policy & protocols 2
- Geotechnical Engineering and Applied Earth Sciences 2
- Geotechnical engineering 2
- Highway & traffic engineering 2
- Mechanical engineering 2
- Natural Hazards 2
- Natural disasters 2
- Regional & area planning 2
- Sociology 2
- Technical design 2
- Compilers (Computer programs) 1
- Compilers and Interpreters 1
- Computer Modelling 1
- Computer science 1
- Computer simulation 1
- Computers 1
- Cultural Heritage 1
-
1
Advances in Frontier Research on Engineering Structures
Published 2023Link to Metadata
Electronic eBook -
2
Advances in Frontier Research on Engineering Structures
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3
Advances in Frontier Research on Engineering Structures
Published 2023OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
4
-
5
-
6
-
7
Environmental Hydraulics Research
Published 2021Subjects: “…engineering structure…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
8
Blast and Impact Engineering on Structures and Materials
Published 2023Subjects: “…engineering structures…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
9
Non-Destructive Testing of Structures
Published 2021Subjects: “…civil engineering structures…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
10
-
11
-
12
-
13
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2019Table of Contents: “…FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs.…”
Link to Metadata
Electronic eBook -
14
-
15
-
16
-
17
-
18
-
19
-
20