Structural behavior of ultra-high performance fiber reinforced concrete-normal strength concrete or high strength concrete composite members
- 期刊名称Construction and Building Materials
- 作者Hussein, Luaay; Amleh, Lamya
- 卷第93卷
- 印刷ISSN0950-0618
- 文件大小4696.39KB
- 发表时间2015-09
- DOI10.1016/j.conbuildmat.2015.05.030
- 页码1105-1116
Developing equine mtDNA profiling for forensic applicationSusan M.R. Gurney; Sandra Schneider; René Pflugradt; Elizabeth Barrett; Anna Catharina Forster; Bernd Brinkmann; Thomas Jansen; Peter Forster · 2010
Diagnostik und Therapie der HarnleitersteinkolikThomas H. Forster; Gernot Bonkat; Stephen Wyler; Robin Ruszat; Nicole Ebinger; Thomas C. Gasser; Alexander Bachmann · 2008
Letter to the EditorBijak, Jakub; Alberts, Isabel; Alho, Juha; Bryant, John; Buettner, Thomas; Falkingham, Jane; Forster, Jonathan J.; Gerland, Patrick; King, Thomas; Onorante, Luca; Keilman, Nico; O’Hagan, Anthony; Owens, Darragh; Raftery, Adrian; Ševčíková, Hana; Smith, Peter W.F. · Journal of Official Statistics · 2015
Straightforward Generation of Pillared, Microporous Graphene Frameworks for Use in SupercapacitorsYuan, Kai; Xu, Yazhou; Uihlein, Johannes; Brunklaus, Gunther; Shi, Lei; Heiderhoff, Ralf; Que, Mingming; Forster, Michael; Chassé, Thomas; Pichler, Thomas; Riedl, Thomas; Chen, Yiwang; Scherf, Ullrich · Advanced Materials · 2015
Retroperitoneoscopic Nephrectomy for Autosomal Dominant Polycystic Kidney Disease: Initial ExperienceWyler, Stephen F.; Bachmann, Alexander; Ruszat, Robin; Forster, Thomas; Hudolin, Tvrtko; Gasser, Thomas C.; Sulser, Tullio · Urologia Internationalis · 2007
Permutations and stratified formulae a preservation theoremThomas Forster · 1990
Better-quasi-orderings and coinductionThomas Forster · 2003
Atmospheric deposition and forest declineThomas D. Crocker; Bruce A. Forster · 1986
Computability and λ-DefinabilityA. M. Turing · The Journal of Symbolic Logic · 1937
Definability and Decision Problems in ArithmeticJulia Robinson · The Journal of Symbolic Logic · 1949
Arithmetical Problems and Recursively Enumerable PredicatesMartin Davis · The Journal of Symbolic Logic · 1953
The Interpretability Logic of Peano ArithmeticAlessandro Berarducci · The Journal of Symbolic Logic · 1990
Steps Toward a Constructive NominalismNelson Goodman and W. V. Quine · The Journal of Symbolic Logic · 1947
A Completeness Theorem in Modal LogicSaul A. Kripke · The Journal of Symbolic Logic · 1959
Models and RealityHilary Putnam · The Journal of Symbolic Logic · 1980
A Theory of Restricted Quantification ITheodore Hailperin · The Journal of Symbolic Logic · 1957