Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Temporal verification of reactive systems : safety / Zohar Manna, Amir Pnueli. by Manna, Zohar Pnueli, Amir, 1941-2009 Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, c1995 Online access: Publisher description Availability: Items available for loan: Central Library, SUST (3)Call number: 005.2 MAT, ... Place hold Add to cart (remove)
	2.	Perceptrons : an introduction to computational geometry / Marvin Minsky and Seymour Papert. by Minsky, Marvin, 1927-2016 Papert, Seymour Edition: Expanded ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, c1969 Availability: Items available for loan: Central Library, SUST (2)Call number: 006.3 MIP, ... Place hold Add to cart (remove)

Refine your search