Limit Search Results
Author
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
11 Results Found Subscribe to search results
00000000000DEFAULT
Print
1. 
Cover image for Mechanisms Underlying Host-Microbiome Interactions in Pathophysiology of Human Diseases
Mechanisms Underlying Host-Microbiome Interactions in Pathophysiology of Human Diseases
Author 
Sun, Jun. editor. Dudeja, Pradeep K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-7534-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Particle swarm optimisation classical and quantum perspectives
Particle swarm optimisation classical and quantum perspectives
Author 
Sun, Jun, 1971- Lai, Choi-Hong. Wu, Xiao-Jun.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Prosodic typology the phonology of intonation and phrasing
Prosodic typology the phonology of intonation and phrasing
Author 
Jun, Sun-Ah, 1959-
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199249633.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Bioinformatic and Statistical Analysis of Microbiome Data From Raw Sequences to Advanced Modeling with QIIME 2 and R
Bioinformatic and Statistical Analysis of Microbiome Data From Raw Sequences to Advanced Modeling with QIIME 2 and R
Author 
Xia, Yinglin. author. Sun, Jun. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520578.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-21391-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II
Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II
Author 
André, Étienne. editor. Sun, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521249.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45332-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I
Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I
Author 
André, Étienne. editor. Sun, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521255.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45329-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
Author 
Guan, Nan. editor. Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Sun, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35540-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
Author 
Jones, Cliff. editor. Pihlajasaari, Pekka. editor. Sun, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06410-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Handbook of finite state based models and applications
Handbook of finite state based models and applications
Author 
Wang, Jiacun, editor of compilation.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Biologically inspired robotics
Biologically inspired robotics
Author 
Liu, Yunhui. Sun, Dong, 1967-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Tea and tea products chemistry and health-promoting properties
Tea and tea products chemistry and health-promoting properties
Author 
Ho, Chi-Tang, 1944- Lin, Jen-Kun. Shahidi, Fereidoon, 1951-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies: