搜索包含 Cormac 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Cormac 的图书(共4本)

	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 鈥pril 1, 2012. Proceedings 0 索取号：作者：Flanagan、 Cormac.、K枚nig、 Barbara.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Wireless Sensor Networks [electronic resource] : 6th European Conference, EWSN 2009, Cork, Ireland, February 11-13, 2009. Proceedings 0 索取号：作者：Roedig、 Utz.、Sreenan、 Cormac J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	The road 0 索取号：I712.45/E201419 作者：McCarthy、 Cormac、 1933-、出版社：New York : Vintage International, c2006.		Accounting for financial instruments 0 索取号：F830.9/E20105 作者：Butler、 Cormac.、出版社：Hoboken, NJ : Wiley, c2009.

	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 鈥pril 1, 2012. Proceedings 0 索取号：作者：Flanagan、 Cormac.、K枚nig、 Barbara.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Wireless Sensor Networks [electronic resource] : 6th European Conference, EWSN 2009, Cork, Ireland, February 11-13, 2009. Proceedings 0 索取号：作者：Roedig、 Utz.、Sreenan、 Cormac J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	The road 0 索取号：I712.45/E201419 作者：McCarthy、 Cormac、 1933-、出版社：New York : Vintage International, c2006.		Accounting for financial instruments 0 索取号：F830.9/E20105 作者：Butler、 Cormac.、出版社：Hoboken, NJ : Wiley, c2009.