大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 L枚we 的图书(共12本)

How the World Computes [electronic resource] : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings

0
索取号：
作者：Cooper、 S. Barry.、Dawar、 Anuj.、L枚we、 Benedikt.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Models of Computation in Context [electronic resource] : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings

0
索取号：
作者：L枚we、 Benedikt.、Normann、 Dag.、Soskov、 Ivan.、Soskova、 Alexandra.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Logic and the Foundations of Game and Decision Theory-LOFT 8 [electronic resource] : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

0
索取号：
作者：Bonanno、 Giacomo.、L枚we、 Benedikt.、Hoek、 Wiebe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Programs, Proofs, Processes [electronic resource] : 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 鈥ʵly 4, 2010. Proceedings

0
索取号：
作者：Ferreira、 Fernando.、L枚we、 Benedikt.、Mayordomo、 Elvira.、Mendes Gomes、 Lu铆s.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Infinity in Logic and Computation [electronic resource] : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

0
索取号：
作者：Archibald、 Margaret.、Brattka、 Vasco.、Goranko、 Valentin.、L枚we、 Benedikt.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Mathematical Theory and Computational Practice [electronic resource] : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

0
索取号：
作者：Ambos-Spies、 Klaus.、L枚we、 Benedikt.、Merkle、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computation and Logic in the Real World [electronic resource] : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings

0
索取号：
作者：Cooper、 S. Barry.、L枚we、 Benedikt.、Sorbi、 Andrea.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Logic and Theory of Algorithms [electronic resource] : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings

0
索取号：
作者：Beckmann、 Arnold.、Dimitracopoulos、 Costas.、L枚we、 Benedikt.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Software Composition [electronic resource] : 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers

0
索取号：
作者：L枚we、 Welf.、S眉dholt、 Mario.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Logical Approaches to Computational Barriers [electronic resource] : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings

0
索取号：
作者：Beckmann、 Arnold.、Berger、 Ulrich.、L枚we、 Benedikt.、Tucker、 John V.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

New Computational Paradigms [electronic resource] : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings

0
索取号：
作者：Cooper、 S. Barry.、L枚we、 Benedikt.、Torenvliet、 Leen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

New Computational Paradigms [electronic resource] : Changing Conceptions of What is Computable

0
索取号：
作者：Cooper、 S. Barry.、L枚we、 Benedikt.、Sorbi、 Andrea.、SpringerLink (Online service)、
出版社：New York, NY : Springer New York, 2008.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院