Search Results for Wang, Chao.

Abstraction Refinement for Large Scale Model Checking

2026-06-04T11:28:05Z

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: Electronic Resources
Availability Online Library~1

Modeling and Diagnostics of Polymer Electrolyte Fuel Cells

2026-06-04T11:28:05Z

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: Electronic Resources
Availability Online Library~1

Domain-Specific Computer Architectures for Emerging Applications : Machine Learning and Neural Networks

2026-06-04T11:28:05Z

Author Wang, Chao (Computer scientist), author.
Preferred Shelf Number QA76.9 .A73
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429355080 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Computational advertising : market and technologies for internet commercial monetization

2026-06-04T11:28:05Z

Author Liu, Peng, author. Wang, Chao, author.
Preferred Shelf Number HF6146 .I58 L58 2020
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429262654 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

2026-06-04T11:28:05Z

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: Electronic Resources
Availability Online Library~1

Synthetic gene network : modeling, analysis, and robust design methods

2026-06-04T11:28:05Z

Author Chen, Bor-Sen, author. Wang, Yu-Chao, 1981- author.
Preferred Shelf Number QH430 .C44 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Dynamic Mechanical Behaviors and Constitutive Model of Roller Compacted Concrete

2026-06-04T11:28:05Z

Author Zhang, Sherong. author. Wang, Xiaohua. author. Wang, Chao. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-8987-2
Format: Electronic Resources
Availability Online Library~1

Synthesized transmission lines : design, circuit implementation, and phased array applications

2026-06-04T11:28:05Z

Author Ma, Tzyh-Ghuang, 1973- author. Wang, Chao-Wei, 1982- author. Lai, Chi-Hui, 1985- author. Tseng, Ying-Cheng, 1987- author.
Preferred Shelf Number TK7876
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781118975732
Format: Electronic Resources
Availability Online Library~1

Network and Parallel Computing 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings

2026-06-04T11:28:05Z

Author Shi, Xuanhua. editor. (orcid)0000-0001-8451-8656 An, Hong. editor. Wang, Chao. editor. Kandemir, Mahmut. editor. Jin, Hai. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68210-5
Format: Electronic Resources
Availability Online Library~1

Thermal management materials for electronic packaging : preparation, characterization, and devices

2026-06-04T11:28:05Z

Author Tian, Xingyou, editor.
Preferred Shelf Number TK7870.15
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527843121
Format: Electronic Resources
Availability Online Library~1

Electromechanobiology of Cartilage and Osteoarthritis A Tribute to Alan Grodzinsky on his 75th Birthday

2026-06-04T11:28:05Z

Author Connizzo, Brianne K. editor. Han, Lin. editor. Sah, Robert L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-25588-5
Format: Electronic Resources
Availability Online Library~1

Integrated nanophotonics : platforms, devices, and applications

2026-06-04T11:28:05Z

Author Yu, Peng, editor. Xu, Hongxing, editor. Wang, Zhiming, editor.
Preferred Shelf Number TA1530 .I58 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527833030
Format: Electronic Resources
Availability Online Library~1

Perovskite materials and devices

2026-06-04T11:28:05Z

Author Ding, Liming, editor.
Preferred Shelf Number TA455 .P46
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527832552
Format: Electronic Resources
Availability Online Library~1

Musculoskeletal tissue engineering

2026-06-04T11:28:05Z

Author Chen, Yupeng, editor.
Preferred Shelf Number ONLİNE
Electronic Access ScienceDirect https://www.sciencedirect.com/science/book/9780128238936
Format: Electronic Resources
Availability Online Library~1

Upper atmosphere dynamics and energetics

2026-06-04T11:28:05Z

Author Wang, Wenbin (Atmospheric scientist), editor. Zhang, Yongliang, 1963- editor.
Preferred Shelf Number QC880.4 .A8 U55 2021 EB
Electronic Access https://agupubs.onlinelibrary.wiley.com/doi/book/10.1002/9781119815631
Format: Electronic Resources
Availability Online Library~1

Magnetospheres in the solar system

2026-06-04T11:28:05Z

Author Maggiolo, Romain, editor. André, Nicolas, 1977- editor. Hasegawa, Hiroshi, 1974- editor. Welling, Daniel T., editor. Zhang, Yongliang, 1963- editor.
Preferred Shelf Number QC809 .M35 M32 2021 EB
Electronic Access https://agupubs.onlinelibrary.wiley.com/doi/book/10.1002/9781119815624
Format: Electronic Resources
Availability Online Library~1

Nanotechnology and microfluidics

2026-06-04T11:28:05Z

Preferred Shelf Number TJ853.4 .M53
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527818341
Format: Electronic Resources
Availability Online Library~1

Highly efficient OLEDs : materials based on thermally activated delayed fluorescence

2026-06-04T11:28:05Z

Author Yersin, H. (Hartmut), editor.
Preferred Shelf Number TK7871.89 .L53
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527691722
Format: Electronic Resources
Availability Online Library~1

Modeling and modern control of wind power

2026-06-04T11:28:05Z

Author Wu, Qiuwei, editor. Sun, Yuanzhang, 1954- editor.
Preferred Shelf Number TJ820 .M63 2018
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119236382
Format: Electronic Resources
Availability Online Library~1

Dynamic covalent chemistry : principles, reactions, and applications

2026-06-04T11:28:05Z

Author Zhang, Wei, 1977 December 11- editor. Jin, Yinghua, 1976- editor.
Preferred Shelf Number QD878 .D95 2018
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119075738
Format: Electronic Resources
Availability Online Library~1

Aptamers for Analytical Applications : Affinity Acquisition and Method Design

2026-06-04T11:28:05Z

Author Dong, Yiyang, editor.
Preferred Shelf Number QP625 .O47
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527806799
Format: Electronic Resources
Availability Online Library~1

Flexible energy conversion and storage devices

2026-06-04T11:28:05Z

Author Zhi, Chunyi. Dai, Liming, 1961-
Preferred Shelf Number TK7868 .F54 F54 2018
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527342631
Format: Electronic Resources
Availability Online Library~1

Mechanobiology : exploitation for medical benefit

2026-06-04T11:28:05Z

Author Rawlinson, Simon C. F., editor.
Preferred Shelf Number QH513
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781118966174
Format: Electronic Resources
Availability Online Library~1

Solvents as reagents in organic synthesis : reactions and applications

2026-06-04T11:28:05Z

Author Wu, Xiao-Feng, editor.
Preferred Shelf Number QD544
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527805624
Format: Electronic Resources
Availability Online Library~1

Graphene : energy storage and conversion applications

2026-06-04T11:28:05Z

Author Liu, Zhaoping (Chemist), author. Zhou, Xufeng, author.
Preferred Shelf Number TK2896 .L58 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Organic structure design : applications in optical and electronic devices

2026-06-04T11:28:05Z

Author Chow, Tahsin J., editor.
Preferred Shelf Number TA1750 .O74 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Biotechnology, agriculture, environment and energy

2026-06-04T11:28:05Z

Author Zheng, Fangli, editor. International Conference on Biotechnology, Agriculture, Environment and Energy (2014 :Beijing, China)
Preferred Shelf Number TP248.2 .B56 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

VLSI : circuits for emerging applications

2026-06-04T11:28:05Z

Author Wojcicki, Tomasz, editor.
Preferred Shelf Number TK7874.75 .V57155 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Advanced biophotonics : tissue optical sectioning

2026-06-04T11:28:05Z

Author Wang, Ruikang K. Tuchin, V. V. (Valerii Viktorovich)
Preferred Shelf Number R857 .O6 A353 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Cancer cell signaling : targeting signaling pathways toward therapeutic approaches to cancer

2026-06-04T11:28:05Z

Author Ayyanathan, Kasirajan, editor.
Preferred Shelf Number QP517 .C45 C36 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Microwave photonics

2026-06-04T11:28:05Z

Author Lee, Chi H.
Preferred Shelf Number TK5103.59 .M495 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Molecular self-assembly : advances and applications

2026-06-04T11:28:05Z

Author Li, Alexander D. Q.
Preferred Shelf Number QD461 .M65 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Lithium-ion batteries : advanced materials and technologies

2026-06-04T11:28:05Z

Author Yuan, Xianxia. Liu, Hansan. Zhang, Jiujun.
Preferred Shelf Number TK2945 .L58 L555 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Algorithms and theory of computation handbook. Special topics and techniques

2026-06-04T11:28:05Z

Author Atallah, Mikhail J. Blanton, Marina.
Preferred Shelf Number QA76.9 .A43 A433 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1