Your search returned 5 results.

Results
	1.	Functional Verification of Programmable Embedded Architectures [electronic resource] : A Top-Down Approach / by Prabhat Mishra, Nikil D. Dutt. by Mishra, Prabhat [author.] Dutt, Nikil D [author.] SpringerLink (Online service) Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	2.	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) Series: Embedded Systems ; 4 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	3.	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) Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	4.	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) Series: Communications in Computer and Information Science ; 95 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	5.	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) Series: Communications in Computer and Information Science ; 94 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold

Maintained by VTU Library