Search Results for Operating systems (computers)

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

518 Results Found

1 2 3 4 5 .. 44

000000000000DEFAULT

25.

Cover image for Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Author

Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-93317-7

Format:

Availability

Online Library~1

Available:
Copies:

26.

Low-Power Design and Power-Aware Verification

Author

Khondkar, Progyna. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

Author

Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251 Loreti, Michele. editor. (orcid)0000-0003-3061-863X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92408-3

Format:

Availability

Online Library~1

Available:
Copies:

28.

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:

29.

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:

30.

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:

31.

Cover image for High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings

High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings

Author

Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Keyes, David. editor. Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Privacy and Security for Cloud Computing

Author

Pearson, Siani. editor. Yee, George. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330926.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4189-1

Format:

Availability

Online Library~1

Available:
Copies:

33.

Design, Analysis and Test of Logic Circuits Under Uncertainty

Author

Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335669.1)

Electronic Access

http://dx.doi.org/10.1007/978-90-481-9644-9

Format:

Availability

Online Library~1

Available:
Copies:

34.

Keine Angst vor Linux/Unix Ein Lehrbuch für Linux- und Unix-Anwender

Author

Wolfinger, Christine. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337045.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-32079-8

Format:

Availability

Online Library~1

Available:
Copies:

35.

Linux-Unix-Kurzreferenz Für Anwender, Entwickler und Systemadministratoren

Author

Wolfinger, Christine. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337116.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34724-5

Format:

Availability

Online Library~1

Available:
Copies:

36.

Computer Performance Optimization Systems - Applications - Processes

Author

Osterhage, Wolfgang W. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333281.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-29971-1

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 44

	{displayName}	{count}
{error}