Limit Search Results
Author
SpringerLink (Online service)
(89)
Apduhan, Bernady O. editor.
(6)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(6)
Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
(6)
Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
(6)
Publication Date
-
Subject
Computer system failures.
(87)
Computer communication systems.
(38)
Software engineering.
(35)
Application software.
(25)
Artificial intelligence.
(17)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
93 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part I
Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part I
Author 
Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-5834-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Innovation and Competitiveness in Industry 4.0 Based on Intelligent Systems
Innovation and Competitiveness in Industry 4.0 Based on Intelligent Systems
Author 
Méndez-González, Luis Carlos. editor. Rodríguez-Picón, Luis Alberto. editor. Pérez Olguín, Iván Juan Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29775-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Advances in electric power and energy : static state estimation
Advances in electric power and energy : static state estimation
Author 
El-Hawary, M. E., editor. John Wiley & Sons, Ltd., publisher.
Preferred Shelf Number 
TK1005 .A35 2021
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119480402
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Dependable computing : design and assessment
Dependable computing : design and assessment
Author 
Iyer, Ravishankar K., author. Kalbarczyk, Zbigniew T., author. Nakka, Nithin M., author.
Preferred Shelf Number 
QA76.9 .F38 I9 2020 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119743453
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Handbook of Biometric Anti-Spoofing Presentation Attack Detection
Handbook of Biometric Anti-Spoofing Presentation Attack Detection
Author 
Marcel, Sébastien. editor. Nixon, Mark S. editor. Fierrez, Julian. editor. Evans, Nicholas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92627-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Transactions on Pattern Languages of Programming IV
Transactions on Pattern Languages of Programming IV
Author 
Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14291-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Keller, Chantal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31157-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Quantum Technology and Optimization Problems First International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedings
Quantum Technology and Optimization Problems First International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedings
Author 
Feld, Sebastian. editor. Linnhoff-Popien, Claudia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14082-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Data Mining and Big Data 4th International Conference, DMBD 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings
Data Mining and Big Data 4th International Conference, DMBD 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings
Author 
Tan, Ying. editor. Shi, Yuhui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-32-9563-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
Author 
Cerrito, Serenella. editor. Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29026-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
Author 
Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434 Petrenko, Alexander. editor. (orcid)0000-0001-7411-3831 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29852-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Advanced Informatics for Computing Research Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part II
Advanced Informatics for Computing Research Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part II
Author 
Luhach, Ashish Kumar. editor. Jat, Dharm Singh. editor. Hawari, Kamarul Bin Ghazali. editor. Gao, Xiao-Zhi. editor. Lingras, Pawan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-15-0111-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action