Limit Search Results
Author
SpringerLink (Online service)
(1296)
Voronkov, Andrei. editor.
(15)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
LaMeres, Brock J. author.
(10)
Language
Publication Date
-
Subject
Logic design.
(1194)
Computer science.
(1038)
Software engineering.
(753)
Artificial intelligence.
(390)
Computer Communication Networks.
(297)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
1416 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Logic design for array-based circuits a structured design methodology
Logic design for array-based circuits a structured design methodology
Author 
White, Donnamaie E., 1942-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780127466606
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Logic design a review of theory and practice
Logic design a review of theory and practice
Author 
Langdon, Glen G.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124365506
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Security technologies for law enforcement agencies
Security technologies for law enforcement agencies
Author 
Duraklar, Kazım author.
Preferred Shelf Number 
QA76.9 .A25
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003597445
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for AI-Enabled Threat Intelligence and Cyber Risk Assessment
AI-Enabled Threat Intelligence and Cyber Risk Assessment
Author 
Martiri, Edlira, editor Vajjhala, Narasimha, 1978- editor. Dalipi, Fisnik, editor
Preferred Shelf Number 
QA76.9 .A25
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003504979
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Mastering Grid Computing : Scheduling and Resource Management
Mastering Grid Computing : Scheduling and Resource Management
Author 
Ankita, editor Sahana, Sudip Kumar, editor.
Preferred Shelf Number 
HD38.5
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003598404
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings
Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings
Author 
Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286 Gupta, Gopal. editor. (orcid)0000-0001-9727-0362 Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74209-5
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers
High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers
Author 
Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X Kruse, Carola. editor. (orcid)0000-0002-4142-7356 Weinzierl, Tobias. editor. (orcid)0000-0002-6208-1841 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73716-9
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification
Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification
Author 
Klemmer, Lucas. author. Große, Daniel. author. (orcid)0000-0002-1490-6175 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-83093-8
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Nanoscale computing : the journey beyond CMOS with nanomagnetic logic
Nanoscale computing : the journey beyond CMOS with nanomagnetic logic
Author 
Sivasubramani, Santhosh, author.
Preferred Shelf Number 
T174.7 .S5455 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394263585
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Concentrated solar power systems
Concentrated solar power systems
Author 
Pragathi, Bellamkonda, author. Kothari, D. P. (Dwarkadas Pralhaddas), 1944- author.
Preferred Shelf Number 
TJ810 .P865 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272389
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Robotics Goes MOOC Design
Robotics Goes MOOC Design
Author 
Siciliano, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75823-7
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Modern Programmable Interconnect Design
Modern Programmable Interconnect Design
Author 
Nikolić, Stefan. author. (orcid)0000-0002-6831-1740 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80629-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action