Search Results for Computer system failures.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

91 Results Found

1 .. 3 4 5 6 7 8

000000000000DEFAULT

Cover image for Mobile, Secure, and Programmable Networking 4th International Conference, MSPN 2018, Paris, France, June 18-20, 2018, Revised Selected Papers

Mobile, Secure, and Programmable Networking 4th International Conference, MSPN 2018, Paris, France, June 18-20, 2018, Revised Selected Papers

Author

Renault, Éric. editor. Boumerdassi, Selma. editor. Bouzefrane, Samia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03101-5

Format:

Availability

Online Library~1

Available:
Copies:

Human Centered Computing 4th International Conference, HCC 2018, Mérida, Mexico, December, 5–7, 2018, Revised Selected Papers

Author

Tang, Yong. editor. Zu, Qiaohong. editor. Rodríguez García, José G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-15127-0

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

Author

Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-24258-9

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV

Author

Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-24305-0

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17502-3

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Author

Duan, Zhenhua. editor. Liu, Shaoying. editor. Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-13651-2

Format:

Availability

Online Library~1

Available:
Copies:

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part V

Author

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-24308-1

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

Author

Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-11653-2

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Information Technologies and Mathematical Modelling 13th International Scientific Conference, named after A.F. Terpugov, ITMM 2014, Anzhero-Sudzhensk, Russia, November 20-22, 2014. Proceedings

Information Technologies and Mathematical Modelling 13th International Scientific Conference, named after A.F. Terpugov, ITMM 2014, Anzhero-Sudzhensk, Russia, November 20-22, 2014. Proceedings

Author

Dudin, Alexander. editor. Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Yakupov, Rafael. editor. Gortsev, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-13671-4

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I

Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I

Author

Lopes, Luís. editor. Žilinskas, Julius. editor. Costan, Alexandru. editor. Cascella, Roberto G. editor. Kecskemeti, Gabor. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-14325-5

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Internet of Things, Smart Spaces, and Next Generation Networks and Systems 14th International Conference, NEW2AN 2014 and 7th Conference, ruSMART 2014, St. Petersburg, Russia, August 27-29, 2014, Proceedings

Internet of Things, Smart Spaces, and Next Generation Networks and Systems 14th International Conference, NEW2AN 2014 and 7th Conference, ruSMART 2014, St. Petersburg, Russia, August 27-29, 2014, Proceedings

Author

Balandin, Sergey. editor. (orcid)0000-0003-3238-4830 Andreev, Sergey. editor. Koucheryavy, Yevgeni. editor. (orcid)0000-0003-3976-297X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-10353-2

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Distributed Computer and Communication Networks 17th International Conference, DCCN 2013, Moscow, Russia, October 7-10, 2013. Revised Selected Papers

Distributed Computer and Communication Networks 17th International Conference, DCCN 2013, Moscow, Russia, October 7-10, 2013. Revised Selected Papers

Author

Vishnevsky, Vladimir. editor. (orcid)0000-0001-7373-4847 Kozyrev, Dmitry. editor. (orcid)0000-0003-0538-8430 Larionov, Andrey. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-05209-0

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 3 4 5 6 7 8

	{displayName}	{count}
{error}