[Lecture Notes in Computer Science] Theoretical Aspects of Computing – ICTAC 2017 Volume 10580 || Constructing Cycles in the Simplex Method for DPLL(T)
- 作者Hung, Dang Van; Kapur, Deepak
- 文件大小406.79KB
- 发表时间2017
- DOI10.1007/978-3-319-67729-3_13
- 页码213-228
Net Zero Energy Buildings (NZEB) || PrefaceAttia, Shady · 2018
Net Zero Energy Buildings (NZEB) || Construction Quality and CostAttia, Shady · 2018
Net Zero Energy Buildings (NZEB) || Roadmap for NZEB ImplementationAttia, Shady · 2018
Developing two benchmark models for nearly zero energy schoolsAttia, Shady; Shadmanfar, Niloufar; Ricci, Federico · Applied Energy · 2020
Assessment of the Outdoor Thermal Comfort in Oases SettlementsMatallah, Mohamed Elhadi; Alkama, Djamel; Ahriz, Atef; Attia, Shady · Atmosphere · 2020
Net Zero Energy Buildings (NZEB) || Evolution of Definitions and ApproachesAttia, Shady · 2018
Net Zero Energy Buildings (NZEB) || Energy Systems and Loads OperationAttia, Shady · 2018
Net Zero Energy Buildings (NZEB) || Occupant Behavior and Performance AssuranceAttia, Shady · 2018