大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 A. (Arend) 的图书(共7本)

Intuitionism an introduction

0
索取号：O143/E602
作者：Heyting、 A. (Arend)、 1898-、
出版社：Amsterdam : North-Hollan Pub. Co., 1956.

Graph Transformations [electronic resource] : 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27鈥揙ctober 2, 2010. Proceedings

0
索取号：
作者：Ehrig、 Hartmut.、Rensink、 Arend.、Rozenberg、 Grzegorz.、Sch眉rr、 Andy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Model Driven Architecture - Foundations and Applications [electronic resource] : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings

0
索取号：
作者：Paige、 Richard F.、Hartman、 Alan.、Rensink、 Arend.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Model Driven Architecture-Foundations and Applications [electronic resource] : Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings

0
索取号：
作者：Rensink、 Arend.、Warmer、 Jos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Model Driven Architecture [electronic resource] : European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Link枚ping, Sweden, June 10-11, 2004. Revised Selected Papers

0
索取号：
作者：A脽mann、 Uwe.、Aksit、 Mehmet.、Rensink、 Arend.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Patterns of democracy : government forms and performance in thirty-six countries

0
索取号：D082/E20031
作者：Lijphart、 Arend.、
出版社：New Haven : Yale University Press, c1999.

Mathematical logic

0
索取号：O141/E993
作者：Summer School and Conference on Mathematical Logic (1988 : Chaæika、 Varnenski okræug、 Bulgaria)、Petkov、 Petio Petrov.、Heyting、 A. (Arend)、 1898-、
出版社：New York : Plenum Press, c1990.