Limit Search Results
Author
SpringerLink (Online service)
(166)
Vassiliadis, Stamatis. editor.
(5)
Ashenden, Peter J.
(4)
Cagnoni, Stefano. editor.
(4)
Chu, Pong P., 1959-
(4)
Language
Publication Date
-
Subject
Computer hardware.
(149)
Computer science.
(75)
Engineering.
(47)
Software engineering.
(46)
Systems engineering.
(40)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
263 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Author 
Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11757283
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for The personal computer from the inside out : the programmer's guide to low-level PC hardware and software
The personal computer from the inside out : the programmer's guide to low-level PC hardware and software
Author 
Sargent, Murray. Shoemaker, Richard L., ort. yaz.
Preferred Shelf Number 
QA 76.5 S2177 1995
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
15. 
Cover image for Computer organization and design : the hardware/software interface
Computer organization and design : the hardware/software interface
Author 
Hennessy, John L. Patterson, David A., ort. yaz.
Preferred Shelf Number 
QA76.9.C643 H46 1994
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
16. 
Cover image for The computer comes of age the people, the hardware, and the software
The computer comes of age the people, the hardware, and the software
Author 
Moreau, René.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267309
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Computer engineering : a dec view hardware systems design
Computer engineering : a dec view hardware systems design
Author 
Bell, C. G., ed. Mudge, J. C., ed. McNamara, J. E., ed.
Preferred Shelf Number 
TK 7885 C64 1978
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
18. 
Cover image for Advances in hardware design for security and trust
Advances in hardware design for security and trust
Author 
Vemuri, Ranga, editor. Emmert, John, editor.
Preferred Shelf Number 
TK7870
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003510949
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Securing the digital realm : advances in hardware and software security, communication, and forensics
Securing the digital realm : advances in hardware and software security, communication, and forensics
Author 
Arif, Muhammad (Computer scientist), editor. Jaffar, M. Arfan, editor. Geman, Oana, editor. Abbasi, Waseem, editor.
Preferred Shelf Number 
QA76.9 .A25
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003497851
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Edge computing acceleration : from 5G to 6G and beyond
Edge computing acceleration : from 5G to 6G and beyond
Author 
Hung, Patrick, author. Kan, Hongwei, author. Knopf, Greg, author.
Preferred Shelf Number 
QA76.9 .A73 H86 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119813873
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Methods and tools for computer-aided design of multidimensional filters in signal processing
Methods and tools for computer-aided design of multidimensional filters in signal processing
Author 
Handkiewicz, Andrzej, author.
Preferred Shelf Number 
TK5102.9
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394263653
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Deep learning on embedded systems : a hands-on approach using Jetson Nano and Raspberry Pi
Deep learning on embedded systems : a hands-on approach using Jetson Nano and Raspberry Pi
Author 
Arif, Tariq M., author. John Wiley & Sons, publisher.
Preferred Shelf Number 
Q325.73 .A75 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394269297
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Next-generation systems and secure computing
Next-generation systems and secure computing
Author 
Barman, Subhabrata, editor. Koley, Santanu, editor. Joardar, Subhankar, editor.
Preferred Shelf Number 
QA76.9 .A25 N49 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394228522
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Generative artificial intelligence : concepts and applications
Generative artificial intelligence : concepts and applications
Author 
Nidhya, R., editor.
Preferred Shelf Number 
Q335 .G46 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394209835
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action