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

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

	Automated Technology for Verification and Analysis [electronic resource] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings 0 索取号：作者：Liu、 Zhiming.、Ravn、 Anders P.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		The Power of Technology for Learning [electronic resource] 0 索取号：作者：Barsky、 Noah P.、Clements、 Mike.、Ravn、 Jakob.、Smith、 Kelly.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2008.
	University Science and Mathematics Education in Transition [electronic resource] 0 索取号：作者：Skovsmose、 Ole.、Valero、 Paola.、Christensen、 Ole Ravn.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2009.		Optimization of discrete time systems : the upper boundary approach 0 索取号：TP1-55/E905 作者：Nahorski、 Zbigniew、 1945-、Ravn、 Hans F.、Vidal、 ReńЕ Victor Valqui.、出版社：Berlin ; New York : Springer-Verlag, 1983.

	Automated Technology for Verification and Analysis [electronic resource] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings 0 索取号：作者：Liu、 Zhiming.、Ravn、 Anders P.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		The Power of Technology for Learning [electronic resource] 0 索取号：作者：Barsky、 Noah P.、Clements、 Mike.、Ravn、 Jakob.、Smith、 Kelly.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2008.
	University Science and Mathematics Education in Transition [electronic resource] 0 索取号：作者：Skovsmose、 Ole.、Valero、 Paola.、Christensen、 Ole Ravn.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2009.		Optimization of discrete time systems : the upper boundary approach 0 索取号：TP1-55/E905 作者：Nahorski、 Zbigniew、 1945-、Ravn、 Hans F.、Vidal、 ReńЕ Victor Valqui.、出版社：Berlin ; New York : Springer-Verlag, 1983.