Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
8 Results Found Subscribe to search results
00000000DEFAULT
Print
1. 
Cover image for Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Author 
Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77382-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Fault-Tolerant Distributed Consensus in Synchronous Networks
Fault-Tolerant Distributed Consensus in Synchronous Networks
Author 
Choudhury, Ashish. author. Patra, Arpita. author. (orcid)0000-0002-8036-4407 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80460-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Self-restructuring in Fault Tolerant Architecture Processor Arrays with Spares
Self-restructuring in Fault Tolerant Architecture Processor Arrays with Spares
Author 
Takanami, Itsuo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1539-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Neuromorphic Computing Principles and Organization
Neuromorphic Computing Principles and Organization
Author 
Ben Abdallah, Abderazek. author. Dang, Khanh N. author. (orcid)0000-0001-6702-3870 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-83089-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Quantum Computing Circuits, Systems, Automation and Applications
Quantum Computing Circuits, Systems, Automation and Applications
Author 
Thapliyal, Himanshu. editor. Humble, Travis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37966-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Digital Resilience: Navigating Disruption and Safeguarding Data Privacy
Digital Resilience: Navigating Disruption and Safeguarding Data Privacy
Author 
Shandilya, Shishir Kumar. author. (orcid)0000-0002-3308-4445 Datta, Agni. author. Kartik, Yash. author. Nagar, Atulya. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-53290-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Cloud Computing Principles, Systems and Applications
Cloud Computing Principles, Systems and Applications
Author 
Antonopoulos, Nick. editor. Gillam, Lee. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54645-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Applied Reconfigurable Computing 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22-24, 2016 Proceedings
Applied Reconfigurable Computing 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22-24, 2016 Proceedings
Author 
Bonato, Vanderlei. editor. Bouganis, Christos. editor. Gorgon, Marek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30481-6
Format: 
Availability 
Online Library~1
Available:
Copies: