Limit Search Results
Author
SpringerLink (Online service)
(285)
Liu, Derong. editor.
(10)
El-Alfy, El-Sayed M. editor.
(6)
Li, Yuanqing. editor.
(6)
Xie, Shengli. editor.
(6)
Language
Publication Date
-
Subject
Computer hardware.
(149)
Computer science.
(93)
Software engineering.
(71)
Computers.
(65)
Artificial intelligence.
(60)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
382 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 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:
21. 
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:
22. 
Cover image for Fundamentals of VHDL for FPGA programming using Vivado
Fundamentals of VHDL for FPGA programming using Vivado
Author 
Pakdel, Majid, author.
Preferred Shelf Number 
TK7885.7
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394343126
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Mathematical Foundations for Side-Channel Analysis of Cryptographic Systems
Mathematical Foundations for Side-Channel Analysis of Cryptographic Systems
Author 
Cheng, Wei. author. (orcid)0000-0001-9433-7576 Guilley, Sylvain. author. (orcid)0000-0002-5044-3534 Rioul, Olivier. author. (orcid)0000-0002-8681-8916 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64399-6
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Machine Vision and Augmented Intelligence Select Proceedings of MAI 2023
Machine Vision and Augmented Intelligence Select Proceedings of MAI 2023
Author 
Kumar Singh, Koushlendra. editor. (orcid)0000-0002-5614-6098 Singh, Sangeeta. editor. (orcid)0000-0002-1185-0540 Srivastava, Subodh. editor. Bajpai, Manish Kumar. editor. (orcid)0000-0003-2258-2390 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-4359-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action