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

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

	Hardware and Software: Verification and Testing [electronic resource] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers 0 索取号：作者：Barner、 Sharon.、Harris、 Ian.、Kroening、 Daniel.、Raz、 Orna.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Instructor's manual to accompany Barnet & Stubb's Practical guide to writing, third edition and third edition with additional readings 0 索取号：H052-62/E901.3 作者：Barner、 Sylvan & Stubbs M.、出版社：Boston : Little, Brown, 1980.
	Contemporary Soviet politics : an introduction 0 索取号：D735.12/E901.2 作者：Barry、 Donald D.、Barner-Barry、 Carol、 1938-、出版社：Englewood Cliffs, N.J. : Prentice-Hall, c1982.		ADA程式规划 0 索取号：195780 作者：Barner、J.G.、李学养、出版社：台北 : 东华书局, 民国74 [1985]

	Hardware and Software: Verification and Testing [electronic resource] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers 0 索取号：作者：Barner、 Sharon.、Harris、 Ian.、Kroening、 Daniel.、Raz、 Orna.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Instructor's manual to accompany Barnet & Stubb's Practical guide to writing, third edition and third edition with additional readings 0 索取号：H052-62/E901.3 作者：Barner、 Sylvan & Stubbs M.、出版社：Boston : Little, Brown, 1980.
	Contemporary Soviet politics : an introduction 0 索取号：D735.12/E901.2 作者：Barry、 Donald D.、Barner-Barry、 Carol、 1938-、出版社：Englewood Cliffs, N.J. : Prentice-Hall, c1982.		ADA程式规划 0 索取号：195780 作者：Barner、J.G.、李学养、出版社：台北 : 东华书局, 民国74 [1985]