Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	UML 2002--the Unified Modeling Language : model engineering, concepts, and tools : 5th International Conference, Dresden, Germany, September 30-October 4,2002 : proceedings / Jean-Marc Jézéquel, Heinrich Hussmann, Stephen Cook, eds. by UML 2002 (2002 : Dresden, Germany) Jézéquel, Jean-Marc, 1964- Hussmann, Heinrich, 1959- Cook, Stephen, 1948- Series: Lecture notes in computer science ; 2460. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Logical foundations of proof complexity [electronic resource] / Stephen Cook, Phuong Nguyen. by Cook, Stephen, 1948- Nguyen, Phuong, 1977- Series: Perspectives in logic Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: New York : Ithaca, NY : Cambridge University Press ; Association for Symbolic Logic, 2010 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold

Refine your search