IUKL Library catalog › Results of search for 'su:"Computer logic"'

Your search returned 4 results.

Not what you expected? Check for suggestions

		No cover image available Partitioning implementations for IBM e-server p5 servers [electronic resource] / [Nic Irving, Mathew Jenner, Arsi Kortesniemi]. by Irving, Nic \| Jenner, Mathew \| Kortesniemi, Arsi \| Matsubara, Keigo. Complete partitioning guide for IBM eserver pSeries servers \| International Business Machines Corporation. International Technical Support Organization \| ebrary, Inc. Edition: 3rd ed.Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: [S.l.] : IBM, International Technical Support Organization, c2005Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available Log in to add tags. Add to cart (remove)
		No cover image available Formal logical methods for system security and correctness [electronic resource] / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller. by NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany) \| Grumberg, Orna \| Nipkow, Tobias, 1958- \| Pfaller, Christian \| ebrary, Inc. Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Amsterdam, Netherlands ; Washington, DC : IOS Press, c2008Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available Add to cart (remove)
		No cover image available Formal logical methods for system security and correctness [electronic resource] / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller. by NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf, Germany) \| Grumberg, Orna \| Nipkow, Tobias, 1958- \| Pfaller, Christian \| ebrary, Inc. Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Amsterdam, Netherlands ; Washington, DC : IOS Press, c2008Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1). Place hold Add to cart (remove)
		No cover image available Partitioning implementations for IBM e-server p5 servers [electronic resource] / [Nic Irving, Mathew Jenner, Arsi Kortesniemi]. by Irving, Nic \| Jenner, Mathew \| Kortesniemi, Arsi \| Matsubara, Keigo. Complete partitioning guide for IBM eserver pSeries servers \| International Business Machines Corporation. International Technical Support Organization \| ebrary, Inc. Edition: 3rd ed.Material type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: [S.l.] : IBM, International Technical Support Organization, c2005Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan: IUKL Library (1). Place hold Add to cart (remove)

The Library's homepage is at http://library.iukl.edu.my/.