Your search returned 2 results.

Results
	1.	Introduction to logic circuits and logic design with Verilog / Brock J. LaMeres by LaMeres, Brock J [Author] Edition: 2nd ed. Language: English Publication details: Cham : Springer, 2019 Availability: Items available for loan: Central Library, IIT Bhubaneswar (4)Call number: 621.395 LAM/I, ... Not available: Central Library, IIT Bhubaneswar: Checked out (1). Place hold
	2.	Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems / Anne Remke and Marielle Stoelinga by Remke, Anne [Author] Stoelinga, Marielle [Author] Language: English Publication details: Heidelberg : Springer, 2014 Availability: Items available for loan: Central Library, IIT Bhubaneswar (1)Call number: 003.76 REM/S. Place hold

Refine your search