Library Services | Technical University of Kenya catalog › Results of search for 'au:"Miller, Dale."'

Your search returned 2 results.

	1.	Automated Reasoning [electronic resource] : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings / edited by Bernhard Gramlich, Dale Miller, Uli Sattler. by Gramlich, Bernhard [editor.] \| Miller, Dale [editor.] \| Sattler, Uli [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	2.	Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings / edited by Chris Hawblitzel, Dale Miller. by Hawblitzel, Chris [editor.] \| Miller, Dale [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)

Library Services | Technical University of Kenya