Library Services | Technical University of Kenya catalog › Results of search for 'au:"Smolka, Scott A."'

Your search returned 3 results.

	1.	Introduction to Operating System Design and Implementation [electronic resource] : The OSP 2 Approach / by Michael Kifer, Scott A. Smolka. by Kifer, Michael \| Smolka, Scott A \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	2.	Interactive Computation [electronic resource] : The New Paradigm / edited by Dina Goldin, Scott A. Smolka, Peter Wegner. by Goldin, Dina \| Smolka, Scott A \| Wegner, Peter \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	3.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Nir Piterman, Scott A. Smolka. by Piterman, Nir [editor.] \| Smolka, Scott A [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue