Search Results for Wang, Chao.

10 Results Found

0000000000DEFAULT

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:

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:

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:

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:

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:

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:

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:

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:

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.

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:

	{displayName}	{count}
{error}