Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
10 Results Found Subscribe to search results
0000000000DEFAULT
Print
1. 
Cover image for Abstraction Refinement for Large Scale Model Checking
Abstraction Refinement for Large Scale Model Checking
Author 
Wang, Chao. author. Hachtel, Gary D. author. Somenzi, Fabio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-34600-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Modeling and Diagnostics of Polymer Electrolyte Fuel Cells
Modeling and Diagnostics of Polymer Electrolyte Fuel Cells
Author 
Wang, Chao-Yang. editor. Pasaogullari, Ugur. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-98068-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Author 
Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01090-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Synthetic gene network : modeling, analysis, and robust design methods
Synthetic gene network : modeling, analysis, and robust design methods
Author 
Chen, Bor-Sen, author. Wang, Yu-Chao, 1981- author.
Preferred Shelf Number 
ONLINE(356551.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Advanced biophotonics tissue optical sectioning
Advanced biophotonics tissue optical sectioning
Author 
Wang, Ruikang K. Tuchin, V. V. (Valeri? Viktorovich)
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:
6. 
Cover image for Molecular self-assembly advances and applications
Molecular self-assembly advances and applications
Author 
Li, Alexander D. Q.
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:
7. 
Cover image for Microwave photonics
Microwave photonics
Author 
Lee, Chi H.
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:
8. 
Cover image for Lithium-ion batteries advanced materials and technologies
Lithium-ion batteries advanced materials and technologies
Author 
Yuan, Xianxia. Liu, Hansan. Zhang, Jiujun.
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:
9. 
Cover image for Algorithms and theory of computation handbook. Special topics and techniques
Algorithms and theory of computation handbook. Special topics and techniques
Author 
Atallah, Mikhail J. Blanton, Marina.
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 Phytoestrogens and health
Phytoestrogens and health
Author 
Gilani, G. Sarwar. Anderson, John J. B. (John Joseph Baxter), 1934-
Preferred Shelf Number 
ONLINE
Electronic Access 
book distributed by Taylor & Francis Group. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies: