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

Your search returned 7 results.

	1.	Functional Verification of Programmable Embedded Architectures [electronic resource] : A Top-Down Approach / by Prabhat Mishra, Nikil D. Dutt. by Mishra, Prabhat \| Dutt, Nikil D \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	2.	Contemporary Computing [electronic resource] : Third International Conference, IC3 2010, Noida, India, August 9-11, 2010, Proceedings, Part II / edited by Sanjay Ranka, Arunava Banerjee, Kanad Kishore Biswas, Sumeet Dua, Prabhat Mishra, Rajat Moona, Sheung-Hung Poon, Cho-Li Wang. by Ranka, Sanjay \| Banerjee, Arunava \| Biswas, Kanad Kishore \| Dua, Sumeet \| Mishra, Prabhat \| Moona, Rajat \| Poon, Sheung-Hung \| Wang, Cho-Li \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3.	Contemporary Computing [electronic resource] : Third International Conference, IC3 2010, Noida, India, August 9-11, 2010. Proceedings, Part I / edited by Sanjay Ranka, Arunava Banerjee, Kanad Kishore Biswas, Sumeet Dua, Prabhat Mishra, Rajat Moona, Sheung-Hung Poon, Cho-Li Wang. by Ranka, Sanjay \| Banerjee, Arunava \| Biswas, Kanad Kishore \| Dua, Sumeet \| Mishra, Prabhat \| Moona, Rajat \| Poon, Sheung-Hung \| Wang, Cho-Li \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	4.	Dynamic Reconfiguration in Real-Time Systems [electronic resource] : Energy, Performance, and Thermal Perspectives / by Weixun Wang, Prabhat Mishra, Sanjay Ranka. by Wang, Weixun [author.] \| Mishra, Prabhat [author.] \| Ranka, Sanjay [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	5.	System-Level Validation [electronic resource] : High-Level Modeling and Directed Test Generation Techniques / by Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra. by Chen, Mingsong [author.] \| Qin, Xiaoke [author.] \| Koo, Heon-Mo [author.] \| Mishra, Prabhat [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	6.	Contemporary Computing [electronic resource] : Third International Conference, IC3 2010, Noida, India, August 9-11, 2010, Proceedings, Part II / edited by Sanjay Ranka, Arunava Banerjee, Kanad Kishore Biswas, Sumeet Dua, Prabhat Mishra, Rajat Moona, Sheung-Hung Poon, Cho-Li Wang. by Ranka, Sanjay [editor.] \| Banerjee, Arunava [editor.] \| Biswas, Kanad Kishore [editor.] \| Dua, Sumeet [editor.] \| Mishra, Prabhat [editor.] \| Moona, Rajat [editor.] \| Poon, Sheung-Hung [editor.] \| Wang, Cho-Li [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	7.	Contemporary Computing [electronic resource] : Third International Conference, IC3 2010, Noida, India, August 9-11, 2010. Proceedings, Part I / edited by Sanjay Ranka, Arunava Banerjee, Kanad Kishore Biswas, Sumeet Dua, Prabhat Mishra, Rajat Moona, Sheung-Hung Poon, Cho-Li Wang. by Ranka, Sanjay [editor.] \| Banerjee, Arunava [editor.] \| Biswas, Kanad Kishore [editor.] \| Dua, Sumeet [editor.] \| Mishra, Prabhat [editor.] \| Moona, Rajat [editor.] \| Poon, Sheung-Hung [editor.] \| Wang, Cho-Li [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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