Start Over
You searched for: author Sun, Meng.

Search Results

Cover image for Formal Aspects of Component Software

Formal Aspects of Component Software

Location
Access Content Online
Cover image for Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

  • by Sun, Jing
  • 2018
  • 1st ed. 2018
  • Format: Electronic
Location
Access Content Online
Cover image for Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Location
Access Content Online
Cover image for Iterative approximation techniques for microseismic source location

Iterative approximation techniques for microseismic source location

Location Call # Status
Joyner - Fed Docs Stacks ASK AT REFERENCE DESK ✔ Available
Cover image for Theoretical Aspects of Software Engineering

Theoretical Aspects of Software Engineering

Location
Access Content Online
Cover image for Temperature investigations on resin-anchored bolts

Temperature investigations on resin-anchored bolts

Location Call # Status
Joyner - Fed Docs Stacks ASK AT REFERENCE DESK ✔ Available
Cover image for Cognitive Systems and Information Processing 8th International Conference, ICCSIP 2023, Luoyang, China, August 10-12, 2023, Revised Selected Papers, Part I

Cognitive Systems and Information Processing 8th International Conference, ICCSIP 2023, Luoyang, China, August 10-12, 2023, Revised Selected Papers, Part I

Location
Access Content Online
Cover image for Cognitive Systems and Information Processing 8th International Conference, ICCSIP 2023, Luoyang, China, August 10-12, 2023, Revised Selected Papers, Part II

Cognitive Systems and Information Processing 8th International Conference, ICCSIP 2023, Luoyang, China, August 10-12, 2023, Revised Selected Papers, Part II

Location
Access Content Online
Cover image for China's dilemma

China's dilemma

  • 2008
  • Format: Electronic
Location
Access Content Online
Cover image for Recent advances in smart self-healing polymers and composites

Recent advances in smart self-healing polymers and composites

Location
Access Content Online