Results of search for 'su:"Computable functions"'

Results
	1.	Computability : a mathematical sketchbook / Douglas S. Bridges by Bridges, Douglas S Series: Graduate texts in mathematics Publication details: Berlin : Springer-Verlag, 1994 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.59.B75. Place hold
	2.	Computability / George J. Tourlakis by Tourlakis, George J Publication details: Reston, Va. : Reston Pub. Co., 1984 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: QA9.59.T68, ... Place hold
	3.	Computability and complexity theory / Steven Homer, Alan L. Selman by Homer, S. (Steven) Selman, Alan L Series: Texts in computer science Publication details: New York : Springer, 2001 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.H65. Place hold
	4.	Computability and logic / by George Boolos and Richard Jeffrey by Boolos, George Jeffrey, Richard C Publication details: University Press : Cambridge Eng, 1974 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: BC135.B66. Place hold
	5.	Computability and logic / George S. Boolos, Richard C. Jeffrey by Boolos, George Jeffrey, Richard C Edition: 2nd ed. Publication details: Cambridge : Cambridge University Press, 1989 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.59.B66 1989. Place hold
	6.	Computability complexity, logic / E. Borger by Borger, E. (Egon), 1946- Elder, John, 1949- Series: Studies in logic and the foundations of mathematics ; 128 Publication details: Amsterdam : North-Holland, 1989 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: QA9.59.B6713, ... Place hold
	7.	Computability in analysis and physics / Mariam B. Pour-EL and J.Ian Richards by Pour-El, Mariam B. (Mariam Boykan), 1928- Richards, J. Ian (Jonathan Ian), 1936- Publication details: Berlin : Springer-Verlag, 1989 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.59.P68[00008031804]. Place hold
	8.	Computability theory / S. Barry Cooper by Cooper, S. Barry Series: Chapman & Hall/CRC mathematics Publication details: Boca Raton : CRC Press, 2003 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.59.C66. Place hold
	9.	Computability theory, semantics, and logic programming / Melvin Fitting by Fitting, Melvin Series: Oxford logic guides Publication details: New York : Oxford University Press, 1987 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.59.F58[00008031803]. Place hold
	10.	No cover image available Computability with Pascal / John S. Mallozzi, Nicholas J. De Lillo by Mallozzi, John S De Lillo, Nicholas J Publication details: Englewood Cliffs, N.J. : Prentice-Hall, 1984 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.59.M36. Place hold
	11.	Computation and logic in the real world [electronic resource] : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007: Proceedings / edited by S. Barry Cooper, Benedikt Lowe, Andrea Sorbi. by Conference on Computability in Europe (3rd : 2007 : Siena, Italy) Cooper, S. Barry Lowe, Benedikt Sorbi, Andrea SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4497 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	12.	Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth. by Gordon, Michael J. C, 1948- Milner, R. (Robin), 1934- Wadsworth, Christopher P Series: Lecture notes in computer science ; 78. Publication details: Berlin : Springer-Verlag, 1979 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.59.G677[00008033648]. Place hold
	13.	Elementary computability, formal languages, and automata / Robert McNaughton by McNaughton, Robert Publication details: Englewood Cliffs, N. J. Prentice-Hall, 1982 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.59.M35. Place hold
	14.	Introduction to languages and the theory of computation / John C. Martin. by Martin, John C Edition: 4th ed. Publication details: New York, NY : McGraw-Hill, 2011 Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (2)Call number: QA267.5.S4M29 2011 3, ... Place hold
	15.	Logic and Theory of Algorithms [electronic resource] : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings / edited by Arnold Beckmann, Costas Dimitracopoulos, Benedikt Lowe. by Conference on Computability in Europe (4th : 2008 : Athens, Greece) Beckmann, Arnold Dimitracopoulos, Costas Lowe, Benedikt SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5028 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	16.	Logical Approaches to Computational Barriers [electronic resource] : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings / edited by Arnold Beckmann ... [et al.]. by Conference on Computability in Europe (2nd : 2006 : Swansea, Wales) Beckmann, Arnold SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3988 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	17.	Mathematical foundations of computer science 1979 : proceedings, 8th. Symposium Olomouc, Czechoslovakia, September 3-7, 1979 / edited by J.Becvar. by Symposium on Mathematical Foundations of Computer Science (8th. : 1979 : Olomouc, Czechoslovakia) Becvar, J., 1926- Series: Lecture notes in computer science ; v.74. Publication details: Berlin : Springer-Verlag, 1979 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.6.S9194 1979[00008033404]. Place hold
	18.	Mathematical Foundations of Computer Science 2008 [electronic resource] : 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008. Proceedings / Edward Ochmanski, Jerzy Tyszkiewicz (eds.). by Symposium on Mathematical Foundations of Computer Science (33rd : 2008 : Torun, Poland) Ochmanski, Edward Tyszkiewicz, Jerzy SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5162 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	19.	Mathematical logic and computability / H. Jerome Keisler, Joel Robbin. by Keisler, H. Jerome Robbin, Joel Series: International series in pure and applied mathematics Publication details: New York : McGraw-Hill, 1996 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: QA9.K44, ... Place hold
	20.	New Computational Paradigms [electronic resource] : Changing Conceptions of What is Computable / edited by S. Barry Cooper, Benedikt Lowe, Andrea Sorbi. by Cooper, S. Barry Lowe, Benedikt Sorbi, Andrea SpringerLink (Online service) Publication details: New York, NY : Springer Science+Business Media, LLC, 2008 In: Springer e-books Online resources: Click here to access online Availability: No items available.

Refine your search

Availability

Authors

Home libraries

Item types

Locations

Series

Topics

Your search returned 29 results.

Contact Us

Copyright ©The National University of Malaysia Library