搜索包含 Bj酶rner 的图书 - 暨南大学图书馆 - page 1

搜索选项：

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Bj酶rner 的图书(共6本)

	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 18th International Conference, LPAR-18, M茅rida, Venezuela, March 11-15, 2012. Proceedings 0 索取号：作者：Bj酶rner、 Nikolaj.、Voronkov、 Andrei.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Automated Deduction-CADE-23 [electronic resource] : 23rd International Conference on Automated Deduction, Wroc艂aw, Poland, July 31 - August 5, 2011. Proceedings 0 索取号：作者：Bj酶rner、 Nikolaj.、Sofronie-Stokkermans、 Viorica.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Formal Methods and Hybrid Real-Time Systems [electronic resource] : Essays in Honor of Dines Bj酶rner and Chaochen Zhou on the Occasion of Their 70th Birthdays 0 索取号：作者：Jones、 Cliff B.、Liu、 Zhiming.、Woodcock、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Logics of Specification Languages [electronic resource] 0 索取号：作者：Bj酶rner、 Dines.、Henson、 Martin C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Software Engineering 2 [electronic resource] : Specification of Systems and Languages 0 索取号：作者：Bj酶rner、 Dines.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Software Engineering 1 [electronic resource] : Abstraction and Modelling 0 索取号：作者：Bj酶rner、 Dines.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

最近添加的分类

粤公网安备 44030602003680号