31. Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I /: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I. (2020) Editors: Lahiri, Shuvendu K; Wang, Chao Record Type: Book Extent: 1 online resource (669 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
32. Computer organisation and architecture : evolutionary concepts, principles, and designs /: evolutionary concepts, principles, and designs. (2020) Authors: Chakraborty, Pranabananda Record Type: Book Extent: 1 online resource, illustrations (black and white) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
33. Computer organization and architecture : designing for performance /: designing for performance. ([2016]) Other Names: Stallings, William; Zeno, Peter Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
34. Computer organization and architecture : designing for performance /: designing for performance. ([2016]) Other Names: Stallings, William; Zeno, Peter Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
35. Computer organization and design : the hardware/software interface /: the hardware/software interface. (2020) Authors: Patterson, David A; Hennessy, John L Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
36. Computer organization and design : the hardware/software interface /: the hardware/software interface. (©2012) Other Names: Patterson, David A; Hennessy, John L; Hennessy, John L Record Type: Book Extent: 1 online resource (1 volume (various pagings)), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
37. Computer organization and design : the hardware/software interface.: the hardware/software interface. (2016) Authors: Patterson, David A; Hennessy, John L Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
38. Computer organization and design : the hardware/software interface.: the hardware/software interface. (2017) Authors: Patterson, David A; Hennessy, John L Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
39. Computer organization and design RISC-V edition : the hardware software interface /: the hardware software interface. (2021) Authors: Patterson, David A; Hennessy, John L Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
40. Computer safety, reliability, and security : SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings /: SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings. (2020) Other Names: Casimiro, Antonio; Ortmeier, Frank; Schoitsch, Erwin; Bitsch, Friedemann; Ferreira, Pedro; SAFECOMP (Conference), 39th; DECSoS (Workshop), 15th; DepDevOps (Workshop), 1st; USDAI (Workshop), 1st; WAISE (Workshop), 3rd Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗