Home Advanced Search

Advanced Search - Page 1

Automated technology for verification and analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, proceedings
  • PDF
  • English
  • Year: 2021
  • Author: (Lecturer) Zhe Hou (editor); Vijay Ganesh (editor)
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
  • EPUB
  • English
  • Year: 2022
  • Author: Zhe Hou
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
  • PDF
  • English
  • Year: 2022
  • Author: Zhe Hou
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings
  • PDF
  • English
  • Year: 2021
  • Author: Shang-Wei Lin, Zhe Hou, Brendan Mahoney
Visualized Medicine: Emerging Techniques and Developing Frontiers (Advances in Experimental Medicine and Biology, 1199)
  • PDF
  • English
  • Year: 2023
  • Author: Zhe Liu (editor)
Visualized Medicine: Emerging Techniques and Developing Frontiers (Advances in Experimental Medicine and Biology, 1199)
  • EPUB
  • English
  • Year: 2023
  • Author: Zhe Liu (editor)
Handbook of Solid-State Lighting and LEDs
  • PDF
  • English
  • Year: 2017
  • Author: Zhe Chuan Feng (Editor)
Handbook of Zinc Oxide and Related Materials: Volume One, Materials
  • PDF
  • Year: 2012
  • Author: Zhe Chuan Feng (Editor)
Sustainable Remediation of Contaminated Soil and Groundwater: Materials, Processes, and Assessment
  • PDF
  • English
  • Year: 2019
  • Author: Deyi Hou (editor)
Romanticism and the letter
  • EPUB
  • English
  • Year: 2020
  • Author: (Lecturer in English) Tony Howe (editor); Madeleine Callaghan (editor)
search