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

Relations and Kleene Algebra in Computer Science [electronic resource] : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings

0
索取号：
作者：Berghammer、 Rudolf.、Jaoua、 Ali Mohamed.、M枚ller、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Relations and Kleene Algebra in Computer Science [electronic resource] : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenw枚rth, Germany, April 7-11, 2008. Proceedings

0
索取号：
作者：Berghammer、 Rudolf.、M枚ller、 Bernhard.、Struth、 Georg.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Relations and Kleene Algebra in Computer Science [electronic resource] : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29鈥揝eptember 2, 2006. Proceedings

0
索取号：
作者：Schmidt、 Renate A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Relational Methods in Computer Science [electronic resource] : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers

0
索取号：
作者：MacCaull、 Wendy.、Winter、 Michael.、D眉ntsch、 Ivo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Introduction to metamathematics

0
索取号：O141.2/E601
作者：Kleene、 Stephen Cole、 1909-、
出版社：Amsterdam : North-Holland Pub. Co. : Groningen : P. Noordhoff N.V., 1952.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院