[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Quantum Hoare Logic with Ghost Variables
- 作者Unruh, Dominique
- 文件大小537.26KB
- 发表时间2019
- DOI10.1109/lics.2019.8785779
- 页码1-13
[IEEE 2019 18th IEEE Intersociety Conference on Thermal and Thermomechanical Phenomena in Electronic Systems (ITherm) - Las Vegas, NV, USA (2019.5.28-2019.5.31)] 2019 18th IEEE Intersociety Conference on Thermal and Thermomechanical Phenomena in Electronic Systems (ITherm) - Keynotes2019
[IEEE 2019 18th IEEE Intersociety Conference on Thermal and Thermomechanical Phenomena in Electronic Systems (ITherm) - Las Vegas, NV, USA (2019.5.28-2019.5.31)] 2019 18th IEEE Intersociety Conference on Thermal and Thermomechanical Phenomena in Electronic Systems (ITherm) - Conference Schedule (Tentative)2019
[IEEE 2019 18th IEEE Intersociety Conference on Thermal and Thermomechanical Phenomena in Electronic Systems (ITherm) - Las Vegas, NV, USA (2019.5.28-2019.5.31)] 2019 18th IEEE Intersociety Conference on Thermal and Thermomechanical Phenomena in Electronic Systems (ITherm) - Conference Organization Committee2019
[IEEE 2019 18th IEEE Intersociety Conference on Thermal and Thermomechanical Phenomena in Electronic Systems (ITherm) - Las Vegas, NV, USA (2019.5.28-2019.5.31)] 2019 18th IEEE Intersociety Conference on Thermal and Thermomechanical Phenomena in Electronic Systems (ITherm) - ITherm 20202019
[IEEE 2019 18th IEEE Intersociety Conference on Thermal and Thermomechanical Phenomena in Electronic Systems (ITherm) - Las Vegas, NV, USA (2019.5.28-2019.5.31)] 2019 18th IEEE Intersociety Conference on Thermal and Thermomechanical Phenomena in Electronic Systems (ITherm) - Welcome Letter2019
[IEEE 2019 18th IEEE Intersociety Conference on Thermal and Thermomechanical Phenomena in Electronic Systems (ITherm) - Las Vegas, NV, USA (2019.5.28-2019.5.31)] 2019 18th IEEE Intersociety Conference on Thermal and Thermomechanical Phenomena in Electronic Systems (ITherm) - Paper Reviewers2019
[IEEE 2019 18th IEEE Intersociety Conference on Thermal and Thermomechanical Phenomena in Electronic Systems (ITherm) - Las Vegas, NV, USA (2019.5.28-2019.5.31)] 2019 18th IEEE Intersociety Conference on Thermal and Thermomechanical Phenomena in Electronic Systems (ITherm) - Sponsors & Vendor Exhibits2019
[IEEE 2019 18th IEEE Intersociety Conference on Thermal and Thermomechanical Phenomena in Electronic Systems (ITherm) - Las Vegas, NV, USA (2019.5.28-2019.5.31)] 2019 18th IEEE Intersociety Conference on Thermal and Thermomechanical Phenomena in Electronic Systems (ITherm) - Student Poster Session2019