1. Automatic methods for the refinement of system models : from the specification to the implementation /: from the specification to the implementation. ([2016]) Authors: Seiter, Julia; Wille, Robert; Drechsler, Rolf Record Type: Book Extent: 1 online resource (viii, 94 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Computer performance engineering : 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings /: 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings. (2016) Editors: Fiems, Dieter; Paolieri, Marco; Platis, Agapios N Other Names: EPEW (Workshop), 13th Record Type: Book Extent: 1 online resource (xviii, 221 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Advances in dependability engineering of complex systems : proceedings of the twelfth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2-6, 2017, Brunów, Poland /: proceedings of the twelfth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2-6, 2017, Brunów, Poland. (2018) Editors: Zamojski, Wojciech; Mazurkiewicz, Jacek; Sugier, Jarosław; Walkowiak, Tomasz; Kacprzyk, Janusz Other Names: International Conference on Dependability of Computer Systems, 12th Record Type: Book Extent: 1 online resource (xvi, 488 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Contemporary complex systems and their dependability : proceedings of the Thirteenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2-6, 2018, Brunów, Poland /: proceedings of the Thirteenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2-6, 2018, Brunów, Poland. (2018) Editors: Zamojski, Wojciech; (Professor of engineering), Mazurkiewicz, Jacek; Sugier, Jarosław; Walkowiak, Tomasz; Kacprzyk, Janusz Other Names: International Conference on Dependability of Computer Systems, 13th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Learning Nagios 4 : learn how to set up Nagios 4 in order to monitor your systems efficiently /: learn how to set up Nagios 4 in order to monitor your systems efficiently. (2014) Other Names: Kocjan, Wojciech Record Type: Book Extent: 1 online resource (vi, 381 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. The debugger's handbook. (©2007) Other Names: DiMarzio, J. F Record Type: Book Extent: 1 online resource (xxiii, 458 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Post-silicon validation and debug. ([2019]) Editors: Mishra, Prabhat, 1973-; Farahmandi, Farimah Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Learning Nagios : learn and monitor your entire IT infrastructure to ensure your systems, applications, services, and business function effectively /: learn and monitor your entire IT infrastructure to ensure your systems, applications, services, and business function effectively. ([2016]) Authors: Kocjan, Wojciech; Beltowski, Piotr Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Computer systems performance evaluation and prediction. (©2003) Other Names: Fortier, Paul J; Michel, Howard Edgar Record Type: Book Extent: 1 online resource (xiii, 525 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Performance evaluation and benchmarking. (2006) Other Names: Eeckhout, Lieven; John, Lizy Kurian Record Type: Book Extent: 1 online resource (289 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗