|
|
|
Semantic Technology [electronic resource] : 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers / edited by Yuan-Fang Li, Wei Hu, Jin Song Dong, Grigoris Antoniou, Zhe Wang, Jun Sun, Yang Liu.
by Li, Yuan-Fang [editor.] | Hu, Wei [editor.] | Dong, Jin Song [editor.] | Antoniou, Grigoris [editor.] | Wang, Zhe [editor.] | Sun, Jun [editor.] | Liu, Yang [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
FM 2014: Formal Methods [electronic resource] : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings / edited by Cliff Jones, Pekka Pihlajasaari, Jun Sun.
by Jones, Cliff [editor.] | Pihlajasaari, Pekka [editor.] | Sun, Jun [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Precision Forming Technology of Large Superalloy Castings for Aircraft Engines [electronic resource] / by Baode Sun, Jun Wang, Da Shu.
by Sun, Baode [author.] | Wang, Jun [author.] | Shu, Da [author.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Virtual screening for chemists / Saha Ishika and Patrick G. Harran. An integrated analysis of microbiomes and metabolomics / Yinglin Xia & Jun Sun.
by Saha, Ishika [author.] | Harran, Patrick G [author.] | American Chemical Society [publisher.] | Xia, Yinglin [author.] | Sun, Jun [author.] | American Chemical Society. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Washington, DC, USA : American Chemical Society, 2021Publisher: Washington, DC, USA : American Chemical Society, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Statistical data analysis of microbiomes and metabolomics /
by Xia, Yinglin [author.] | Sun, Jun [author.] | American Chemical Society. Material type: Book; Literary form:
Not fiction
Publisher: Washington, DC, USA : American Chemical Society, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings / edited by Nan Guan, Joost-Pieter Katoen, Jun Sun.
by Guan, Nan [editor.] | Katoen, Joost-Pieter [editor.] | Sun, Jun [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings / edited by Holger Hermanns, Jun Sun, Lei Bu.
by Hermanns, Holger [editor.] | Sun, Jun [editor.] | Bu, Lei [editor.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
FM 2014: Formal Methods [electronic resource] : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings / edited by Cliff Jones, Pekka Pihlajasaari, Jun Sun.
by Jones, Cliff [editor.] | Pihlajasaari, Pekka [editor.] | Sun, Jun [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Semantic Technology [electronic resource] : 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers / edited by Yuan-Fang Li, Wei Hu, Jin Song Dong, Grigoris Antoniou, Zhe Wang, Jun Sun, Yang Liu.
by Li, Yuan-Fang [editor.] | Hu, Wei [editor.] | Dong, Jin Song [editor.] | Antoniou, Grigoris [editor.] | Wang, Zhe [editor.] | Sun, Jun [editor.] | Liu, Yang [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II / edited by Étienne André, Jun Sun.
by André, Étienne [editor.] | Sun, Jun [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I / edited by Étienne André, Jun Sun.
by André, Étienne [editor.] | Sun, Jun [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Adaptive micro learning [electronic resource] : using fragmented time to learn / by Geng Sun, Jun Shen, Jiayin Lin.
by Sun, Geng | Shen, Jun | Lin, Jiayin. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Singapore : World Scientific, [2020]Availability: No items available
|
