Your search returned 3 results.

Results
	1.	Automated reasoning : introduction and applications / Larry Wos ... [et al.]. by Wos, Larry Overbeek, Ross Lusk, Ewing Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Language: English Publication details: New Jersey : Prentice-Hall, c1984 Availability: Items available for loan: North South University Library (1)Location, call number: QA76.9.A96A93 1984. Place hold Add to cart (remove)
	2.	Using MPI : portable parallel programming with the message-passing interface / William Gropp, Ewing Lusk and Anthony Skjellum by Gropp, William Lusk, Ewing Skjellum, Anthony Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Language: English Publication details: Cambridge, Mass. : MIT Press,, c1999 Availability: Items available for loan: North South University Library (4)Location, call number: QA76.642.G76 1999, ... Place hold Add to cart (remove)
	3.	Using MPI-2 : advanced features of the message-passing interface / William Gropp, Ewing Lusk and Rajeev Thakur by Gropp, William Lusk, Ewing Thakur, Rajeev Series: Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Language: English Publication details: Cambridge, Mass. : MIT Press, c1999 Availability: Items available for loan: North South University Library (5)Location, call number: QA76.642.G762 1999, ... Place hold Add to cart (remove)

North South University Library OPAC