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

Your search returned 3 results.

	1.	Verification and Control of Hybrid Systems [electronic resource] : A Symbolic Approach / by Paulo Tabuada. by Tabuada, Paulo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	2.	Networked Embedded Sensing and Control [electronic resource] : Workshop NESC’05: University of Notre Dame, USA October 2005 Proceedings / edited by Panos J. Antsaklis, Paulo Tabuada. by Antsaklis, Panos J \| Tabuada, Paulo \| 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.	Hybrid Systems: Computation and Control [electronic resource] : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings / edited by Rupak Majumdar, Paulo Tabuada. by Majumdar, Rupak \| Tabuada, Paulo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)

Library Services | Technical University of Kenya