Koha online catalog › Results of search for 'au:"Wang, Chao"'

	1.	Abstraction refinement for large scale model checking. by Wang, Chao \| Hachtel, Gary D \| Somenzi, Fabio. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 004.21 WAN] (1). Place hold
	2.	Computational advertising : market and technologies for Internet commercial monetization by Liu, Peng \| Wang, Chao. Edition: 2nd ed. Publisher: Boca Raton : CRC Press, 2020Availability: Items available for loan: [Call number: 658.872 LIU] (1). Place hold

Koha online