Limit Search Results
Author
SpringerLink (Online service)
(1207)
Voronkov, Andrei. editor.
(15)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
Rozenberg, Grzegorz. editor.
(9)
Language
Publication Date
-
Subject
Logic design.
(1156)
Computer science.
(1027)
Software engineering.
(743)
Artificial intelligence.
(361)
Computer Communication Networks.
(291)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1351 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
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:
4. 
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:
5. 
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:
6. 
Cover image for CompTIA DataSys+ study guide : exam DSO-001
CompTIA DataSys+ study guide : exam DSO-001
Author 
Chapple, Mike, 1975- author. Nijim, Sharif, author.
Preferred Shelf Number 
QA76.3 .C43 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277094
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Model-based optimization for petroleum refinery configuration design
Model-based optimization for petroleum refinery configuration design
Author 
Khor, Cheng Seong, author
Preferred Shelf Number 
TH4571 .K46 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527826100
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Advances in fuzzy-based internet of medical things (IoMT)
Advances in fuzzy-based internet of medical things (IoMT)
Author 
Yadav, Satya Prakash, editor.
Preferred Shelf Number 
R859.7 .F89 A38 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394242252
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Computing with multi-value logic in quantum dot cellular automata
Computing with multi-value logic in quantum dot cellular automata
Author 
Sabbaghi-Nadooshan, Reza, author.
Preferred Shelf Number 
TK7874.88 .S23 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394253975
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computational intelligence : theory and applications
Computational intelligence : theory and applications
Author 
Kumar, T. Ananth (Tamilarasan Ananth), editor.
Preferred Shelf Number 
Q342 .C66 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214259
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Advanced Network Technologies and Intelligent Computing Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part I
Advanced Network Technologies and Intelligent Computing Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part I
Author 
Woungang, Isaac. editor. Dhurandher, Sanjay Kumar. editor. Pattanaik, Kiran Kumar. editor. Verma, Anshul. editor. Verma, Pradeepika. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28180-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings
Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings
Author 
Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Ortiz, Angel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42622-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action