Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
7 Results Found Subscribe to search results
0000000DEFAULT
Print
1. 
Cover image for Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Shao, Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54833-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings
Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings
Author 
Shao, Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76637-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
Author 
Jouannaud, Jean-Pierre. editor. Shao, Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25379-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Zinc-air batteries : introduction, design principles, and emerging technologies
Zinc-air batteries : introduction, design principles, and emerging technologies
Author 
Shao, Zongping, editor. Xu, Xiaomin, editor.
Preferred Shelf Number 
TK2945 .Z55
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527837939
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Advances in electromagnetics empowered by artificial intelligence and deep learning
Advances in electromagnetics empowered by artificial intelligence and deep learning
Author 
Campbell, Sawyer D., editor. Werner, Douglas H., 1960- editor.
Preferred Shelf Number 
QC760 .A2862 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119853923
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Mixed-valence systems : fundamentals, synthesis, electron transfer, and applications
Mixed-valence systems : fundamentals, synthesis, electron transfer, and applications
Author 
Zhong, Yuwu, editor. Liu, Chun Yuan, editor. Reimers, Jeffrey R., editor.
Preferred Shelf Number 
QD469 M59 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527835287
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Perovskite materials and devices
Perovskite materials and devices
Author 
Ding, Liming, editor.
Preferred Shelf Number 
TA455 .P46
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527832552
Format: 
Availability 
Online Library~1
Available:
Copies: