A Formalization of Properties of Continuous Functions on Closed Intervals

von Fu, Yaoshun
Veröffentlicht in International Congress on Mathematical Software (7. : 2020 : Online) Mathematical software - ICMS 2020 (2020)

Tangghajayip shol jazyralar

von Yu Wensheng
Veröffentlicht 2016

Korki koz surindirär korinistär

von Yu Wensheng
Veröffentlicht 2016

Solve the Selective Harmonic Elimination Problem with Groebner Bases Theory

von YANG, Kehu
Veröffentlicht in 2015 34th Chinese Control Conference (CCC 2015) ; 9 (2015)

Simulated Grouting Diffusion Test in a Fault Medium by Single Injection Pipe

von Zhang, Xiao
Veröffentlicht in Geo-China (Veranstaltung : 4. : 2016 : Shandong) In situ and laboratory test methods for site characterization, design, and quality control (2016)

Experimental study on partial-combination method in continuous composite girder

von Su, Hang
Veröffentlicht in IABSE Congress (03.-05.02.2021 : Online) Resilient technologies for sustainable infrastructures ; Volume 1 of 2 (2021)

Intelligent networked things : 5th China Conference, CINT 2022, Urumqi, China, August 7-8, 2022, revised selected papers

Veröffentlicht 2022

Intelligent networked things

Veröffentlicht 2024

Intelligent networked things

Veröffentlicht 2024

Intelligent networked things : the 6th conference on intelligent networked things, CINT 2024, Xi'an, China, May 18, 2024 : proceedings