Your search returned 3 results.

Results
		Computer aided verification : 23rd international conference : proceedings, CAV, Snowbird, UT, USA, July 14-20, 2011 (e-book) by Gopalakrishnan, Ganesh [Editor] \| Qadeer, Shaz [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6806 \| LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Computer architecture performance evaluation methods (e-book) by Eeckhout, Lieven [Author]. Series: Synthesis lectures on computer architectureMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: San Rafael Morgan and Claypool / IEEE Press / Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Analytical performance modeling for computer systems (e-book) by Tay, Y.C [Author]. Series: Synthesis lectures on computer scienceEdition: 3rd edMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: San Rafael Morgan and Claypool / IEEE Press / Springer 2018Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search