Your search returned 34 results.

Results
		Proofs without words : exercises in visual thinking / Roger B. Nelsen. by Nelsen, Roger B Series: Classroom resource materials ; no. 1 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Washington, D.C. : The Mathematical Association of America, c1993 Availability: Items available for loan: Carlow Campus Library (1)Call number: 510. Place hold Place recall Add to cart (remove)
		Collected works / Kurt Gödel ; edited by Solomon Feferman (Editor-in-chief) .... [et al.]. Vol.1, Publications 1929-1936. by Gödel, Kurt Feferman, Solomon, 1928- Association for Symbolic Logic Material type: Text; Format: print regular print ; Literary form: Not fiction Language: German, English Summary language: English Publication details: New York : Oxford University Press, ; Oxford : Clarendon, 1986 Availability: Items available for loan: Carlow Campus Library (1)Call number: 511.3. Place hold Place recall Add to cart (remove)
		Introduction to languages and the theory of computation / John C. Martin. by Martin, John C Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boston : McGraw-Hill, c2003 Online access: Publisher description Table of contents Availability: Items available for loan: Carlow Campus Library (1)Call number: 511.3. Lists: CW238 BSc (Hons) Software Development, MSc Data Science. Place hold Place recall Add to cart (remove)
		Automata and formal languages : an introduction / Dean Kelley. by Kelley, Dean Material type: Text; Format: print ; Literary form: Not fiction Publication details: Englewood Cliffs, N.J. : Prentice-Hall, c1995 Availability: Items available for loan: Carlow Campus Library (1)Call number: 511.3. Place hold Place recall Add to cart (remove)
		Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitrou. by Lewis, Harry R Papadimitrou, Christos H Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Upper Saddle River, NJ : Prentice Hall , 1998 Availability: Items available for loan: Carlow Campus Library (2)Call number: 511.3, ... Lists: CW238 BSc (Hons) Software Development, MSc Data Science. Place hold Place recall Add to cart (remove)
		Alan M. Turing / Sara Turing. by Turing, Sara, 1881-1976 Edition: Centenary ed. / foreword by Martin Davis ; and an afterword by John Turing. Material type: Text; Format: print ; Nature of contents: ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, 2012 Availability: Items available for loan: Carlow Campus Library (1)Call number: 510.92. Place hold Place recall Add to cart (remove)
		Meta maths : the quest for omega / Gregory Chaitin. by Chaitin, Gregory J Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Atlantic, 2007 Availability: Items available for loan: Carlow Campus Library (1)Call number: 511.3. Place hold Place recall Add to cart (remove)
		The foundations of mathematics / Ian Stewart and David Tall. by Stewart, Ian, 1945- Tall, David Orme Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Oxford : Oxford University Press, 2015 Availability: Items available for loan: Carlow Campus Library (1)Call number: 510. Place hold Place recall Add to cart (remove)
		Foundation mathematics for computer science : a visual approach / John Vince by Vince, John Material type: Text; Format: regular print ; Literary form: Not fiction Publisher: Cham : Springer, ©2015 Availability: Items available for loan: Carlow Campus Library (2)Call number: 511.1, ... Wexford Campus Library (2)Call number: 511.1, ... Lists: CW206 Higher Certificate in Computing, CW208 BSc (Hons) Computer Games Development, CW217 BSc Information Technology Management, CW237/268 BSc Interactive Digital Art and Design. Place hold Place recall Add to cart (remove)
		Foundations of Software Science and Computation Structures [electronic resource] : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings / edited by Mikołaj Bojańczyk, Alex Simpson. by Bojańczyk, Mikołaj Simpson, Alex SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11425 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Send a message to library staff if access to this online resource is unavailable Link to Springer open access ebook Availability: No items available. Place recall Add to cart (remove)

Powered by Koha