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

Graph Transformations [electronic resource] : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings

0
索取号：
作者：Ehrig、 Hartmut.、Engels、 Gregor.、Kreowski、 Hans-J枚rg.、Rozenberg、 Grzegorz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

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.

Dynamics in Logistics [electronic resource] : Second International Conference, LDIC 2009, Bremen, Germany, August 2009, Proceedings

0
索取号：
作者：Kreowski、 Hans-J枚rg.、Scholz-Reiter、 Bernd.、Thoben、 Klaus-Dieter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Dynamics in Logistics [electronic resource] : First International Conference, LDIC 2007, Bremen, Germany, August 2007, Proceedings

0
索取号：
作者：Kreowski、 Hans-J枚rg.、Scholz-Reiter、 Bernd.、Haasis、 Hans-Dietrich.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Formal Methods in Software and Systems Modeling [electronic resource] : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

0
索取号：
作者：Kreowski、 Hans-J枚rg.、Montanari、 Ugo.、Orejas、 Fernando.、Rozenberg、 Grzegorz.、Taentzer、 Gabriele.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Recent trends in data type specification : 3rd Workshop on Theory and Applications of Abstract Data Types : selected papers

0
索取号：TP31-53/E9014/3
作者：Workshop on Theory and Applications of Abstract Data Types (3rd : 1984 : Bremen、 Germany)、Kreowski、 H.-J. (Hans-J̈Оrg)、
出版社：Berlin ; New York : Springer-Verlag, 1985.