Your search returned 4 results.

Results
		Essence of logic / John J. Kelly. by Kelly, John J. (John Joseph), 1940 Nov. 23-1995 Material type: Text; Format: print ; Literary form: Not fiction Publication details: London ; New York : Prentice Hall, 1997 Other title: Logic Availability: Items available for loan: Carlow Campus Library (2)Call number: 005.131, ... Wexford Campus Library (2)Call number: 005.131, ... Lists: CW206 Higher Certificate in Computing, CW207 - BSc Software Development, CW238 BSc (Hons) Software Development. Place hold Place recall Add to cart (remove)
		Distributed algorithms / Nancy A. Lynch. by Lynch, Nancy A. (Nancy Ann), 1948- Series: Morgan Kaufmann series in data management systems Material type: Text; Format: print ; Literary form: Not fiction Publication details: San Francisco, Calif. : Morgan Kaufmann, 1997 Availability: Items available for loan: Carlow Campus Library (1)Call number: 005.276. Place hold Place recall Add to cart (remove)
		Logic and language models for computer science / Henry Hamburger and Dana Richards by Hamburger, Henry Richards, Dana Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Jersey : Prentice Hall, 2002 Availability: Items available for loan: Carlow Campus Library (2)Call number: 006.302855133, ... Place hold Place recall Add to cart (remove)
		Understanding formal methods / written and translated by Jean François Monin ; translation editor, Michael G. Hinchey. by Monin, Jean François, 1960- Hinchey, Michael G. (Michael Gerard), 1969- Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: English Original language: French Publication details: London : Springer, 2002 Availability: Items available for loan: Carlow Campus Library (1)Call number: 005.131. Place hold Place recall Add to cart (remove)

Powered by Koha