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

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.

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.

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.

Computability of Julia Sets [electronic resource]

0
索取号：
作者：Braverman、 Mark.、Yampolsky、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

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.

Models of Computation [electronic resource] : An Introduction to Computability Theory

0
索取号：
作者：Fern谩ndez、 Maribel.、SpringerLink (Online service)、
出版社：London : Springer London, 2009.

Computability and Complexity Theory [electronic resource]

0
索取号：
作者：Homer、 Steven.、Selman、 Alan L.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US : Imprint: Springer, 2011.

Proofs and Algorithms [electronic resource] : An Introduction to Logic and Computability

0
索取号：
作者：Dowek、 Gilles.、SpringerLink (Online service)、
出版社：London : Springer London, 2011.

A first course in logic : an introduction to model theory, proof theory, computability, and complexity

0
索取号：O141/E20131
作者：Hedman、 Shawn.、
出版社：Oxford ; New York : Oxford University Press, c2004.

Automata, computability and complexity : theory and applications = 自动机理论与应用

0
索取号：TP301.1/E20101
作者：Rich、 Elaine.、
出版社：北京 : 清华大学出版社, 2009.

Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 23-25, 1987, San Diego, California

0
索取号：TP392-53/E907/6
作者：ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (6th : 1987 : San Diego、 Calif.)、SIGART.、Association for Computing Machinery. Special Interest Group on Management of Data.、ACM Digital Library.、ACM Special Interest Group for Automata and Computability Theory.、
出版社：New York, N.Y. : Association for Computing Machinery ; Baltimore, MD : May be ordered prepaid from ACM Order Dept., c1987

Computability and logic = 可计算性与数理逻辑

0
索取号：O141.3/E20071.4
作者：Boolos、 George.、Burgess、 John P.、 1948-、Jeffrey、 Richard C.、
出版社：Beijing : Pub. House of Electronic Industry, 2003.