大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 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、 ReńЕ Victor Valqui.、
出版社：Berlin ; New York : Springer-Verlag, 1983.