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

Recent Trends in Algebraic Development Techniques [electronic resource] : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

0
索取号：
作者：Mossakowski、 Till.、Kreowski、 Hans-J枚rg.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Algebra and Coalgebra in Computer Science [electronic resource] : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

0
索取号：
作者：Mossakowski、 Till.、Montanari、 Ugo.、Haveraaen、 Magne.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.