Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
5 Results Found Subscribe to search results
00000DEFAULT
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 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:
3. 
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:
4. 
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:
5. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets