Indraprastha Institute of Information Technology, Delhi catalog › Results of search for 'su:{Performance} and su-to:Computer science and su-to:Computer system failures and au:Hermanns, Holger'

	1.	Lectures on Formal Methods and PerformanceAnalysis [electronic resource] :First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures / by Brinksma, Ed [editor.] \| Hermanns, Holger [editor.] \| Katoen, Joost-Pieter [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	2.	Interactive Markov Chains [electronic resource] :And the Quest for Quantified Quality / by Hermanns, Holger [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)