Search Results for Operating systems (computers)

518 Results Found

1 2 3 4 5 .. 44

000000000000DEFAULT

Dependable Multicore Architectures at Nanoscale

Author

Ottavi, Marco. editor. Gizopoulos, Dimitris. editor. Pontarelli, Salvatore. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-54422-9

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications

Author

Hameurlain, Abdelkader. editor. Wagner, Roland. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496 Grosky, William I. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-58415-6

Format:

Availability

Online Library~1

Available:
Copies:

Systems Programming in Unix/Linux

Author

Wang, K.C. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92429-8

Format:

Availability

Online Library~1

Available:
Copies:

Transactions on Computational Science XXXIII

Author

Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-58039-4

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings

Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings

Author

Fortino, Giancarlo. editor. Ali, A.B.M. Shawkat. editor. Pathan, Mukaddim. editor. Guerrieri, Antonio. editor. Di Fatta, Giuseppe. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-97795-9

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

Author

Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94764-8

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

Author

Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings

Author

Berekovic, Mladen. editor. Buchty, Rainer. editor. Hamann, Heiko. editor. Koch, Dirk. editor. Pionteck, Thilo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-77610-1

Format:

Availability

Online Library~1

Available:
Copies:

Handbook of Model Checking

Author

Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-10575-8

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Author

Baier, Christel. editor. Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Detection of Intrusions and Malware, and Vulnerability Assessment 15th International Conference, DIMVA 2018, Saclay, France, June 28–29, 2018, Proceedings

Detection of Intrusions and Malware, and Vulnerability Assessment 15th International Conference, DIMVA 2018, Saclay, France, June 28–29, 2018, Proceedings

Author

Giuffrida, Cristiano. editor. Bardin, Sébastien. editor. Blanc, Gregory. editor. (orcid)0000-0001-8150-6617 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

Author

Heras, Dora B. editor. Bougé, Luc. editor. Mencagli, Gabriele. editor. Jeannot, Emmanuel. editor. Sakellariou, Rizos. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-75178-8

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 44

	{displayName}	{count}
{error}