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 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) ↗
3. Data driven strategies : theory and applications /: theory and applications. (2023) Authors: (Engineering researcher), Wang, Jianhong; Ramírez-Mendoza, Ricardo A; Morales-Menéndez, Rubén Record Type: Book Extent: 1 online resource (352 pages), illustrations (black and white, and colour) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. 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) ↗