Search Results for Operating.

58 Results Found

1 2 3 4 5

000000000000DEFAULT

25.

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

Author

Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Wu, Weigang. editor. (orcid)0000-0002-4714-7021 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Transactions on Computational Collective Intelligence XXVIII

Author

Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. van den Herik, Jaap. editor. Rocha, Ana Paula. editor. (orcid)0000-0002-8129-9758 Filipe, Joaquim. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

Author

Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

Author

Izumi, Taisuke. editor. Kuznetsov, Petr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03232-6

Format:

Availability

Online Library~1

Available:
Copies:

29.

Autonomic Computing Principles, Design and Implementation

Author

Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331115.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Handbook of Neuroevolution Through Erlang

Author

Sher, Gene I. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331512.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-4463-3

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

Author

Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334055.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Author

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34026-0

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Author

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Autonomic Computing and Communications Systems Third International ICST Conference, Autonomics 2009, Limassol, Cyprus, September 9-11, 2009, Revised Selected Papers

Autonomic Computing and Communications Systems Third International ICST Conference, Autonomics 2009, Limassol, Cyprus, September 9-11, 2009, Revised Selected Papers

Author

Vasilakos, Athanasius V. editor. Beraldi, Roberto. editor. Friedman, Roy. editor. Mamei, Marco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Association Rule Hiding for Data Mining

Author

Gkoulalas-Divanis, Aris. author. Verykios, Vassilios S. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-6569-1

Format:

Availability

Online Library~1

Available:
Copies:

36.

Methods, Models and Tools for Fault Tolerance

Author

Butler, Michael. editor. Jones, Cliff. editor. Romanovsky, Alexander. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00867-2

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5

	{displayName}	{count}
{error}