Your search returned 4 results. Subscribe to this search

|
1. Computer Performance Optimization : Systems - Applications - Processes

by Osterhage, Wolfgang W.

Material type: Text Text; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.E94 O884 2013.
2. Decomposability : Queueing and Computer System Applications.

by Courtois, P. J | Ashenhurst, Robert L.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Saint Louis : Elsevier Science & Technology, 2014Copyright date: ©1977Online access: Click here to view book Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA402.2 -- .C68 1977.
3. Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings / Kousha Etessami, Sriram K. Rajamani (eds.).

by CAV (Conference) (17th : 2005 : Edinburgh, Scotland) | Etessami, Kousha | Rajamani, Sriram K, 1970-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: CAV 2005.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.76.V47 C38 2005.
4. Computer system performance [by] Herbert Hellerman [and] Thomas F. Conroy.

by Hellerman, Herbert, 1927- | Conroy, Thomas F [author.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York, McGraw-Hill [1975]Availability: Items available for loan: University of Texas At Tyler (1). Location(s): Stacks - 3rd Floor QA76.5 .H447 .