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

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

	Logic and Program Semantics [electronic resource] : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday 0 索取号：作者：Constable、 Robert L.、Silva、 Alexandra.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Theory of Computation [electronic resource] 0 索取号：作者：Kozen、 Dexter C.、SpringerLink (Online service)、出版社：London : Springer London, 2006.
	The design and analysis of algorithms 0 索取号：TP302/E991 作者：Kozen、 Dexter、 1951-、出版社：New York : Springer-Verlag, 1992.		Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 0 索取号：TP3-55/E906 作者：Logics of Programs Workshop (1983 : Carnegie Mellon University)、Clarke、 Edmund.、Kozen、 Dexter、 1951-、出版社：Berlin ; New York : Springer-Verlag, 1984.

	Logic and Program Semantics [electronic resource] : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday 0 索取号：作者：Constable、 Robert L.、Silva、 Alexandra.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Theory of Computation [electronic resource] 0 索取号：作者：Kozen、 Dexter C.、SpringerLink (Online service)、出版社：London : Springer London, 2006.
	The design and analysis of algorithms 0 索取号：TP302/E991 作者：Kozen、 Dexter、 1951-、出版社：New York : Springer-Verlag, 1992.		Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 0 索取号：TP3-55/E906 作者：Logics of Programs Workshop (1983 : Carnegie Mellon University)、Clarke、 Edmund.、Kozen、 Dexter、 1951-、出版社：Berlin ; New York : Springer-Verlag, 1984.