Personensuche
X
?
Lecture Notes in Computer Science; Formal Methods. FM 2019 International Workshops ,
3
Call Me Back, I Have a Type Invariant:
, In:
?
Lecture Notes in Computer Science; Formal Methods – The Next 30 Years ,
4
Practical Application of SPARK to OpenUxAS:
, In:
?
Lecture Notes in Civil Engineering; Proceedings of Italian Concrete Conference 2020/21 ,
5
Bond Strength of Geopolymer Concrete with Steel and GFRP Ba..:
, In:
?
Lecture Notes in Civil Engineering; Proceedings of Italian Concrete Conference 2020/21 ,
6
Secondary Raw Materials for a Circular Economy in Concretes:
, In:
?
RILEM Bookseries; Proceedings of the 3rd RILEM Spring Convention and Conference (RSCC 2020) ,
7
Geopolymer Concrete Structures: Bond with Deformed Steel Ba..:
, In:
?
Lecture Notes in Civil Engineering; Proceedings of Italian Concrete Days 2018 ,
8
Bond Mechanisms Between Steel Bars and Lightweight Rubberiz..:
, In:
?
Lecture Notes in Civil Engineering; Proceedings of Italian Concrete Days 2018 ,
9
Influence of the Modelling Approach on the Failure Modes of..:
, In:
?
Advanced Polymer Composites for Structural Applications in Construction ,
10
BOND ANALYSIS OF MASONRY STRUCTURES STRENGTHENED WITH CFRP ..:
, In:
?
Proceedings of the sixth ACM international conference on Web search and data mining ,
13
Distinguishing topical and social groups based on common id..:
, In:
?
Protective Cultures, Antimicrobial Metabolites and Bacteriophages for Food and Beverage Biopreservation ,
15