Search Results for Computer system failures.

93 Results Found

1 2 3 4 5 .. 8

000000000000DEFAULT

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:

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:

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:

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:

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:

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:

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:

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:

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:

1 2 3 4 5 .. 8

	{displayName}	{count}
{error}