Search Results for Computer system performance.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

364 Results Found

1 2 3 4 5 .. 31

000000000000DEFAULT

25.

Cover image for Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Author

Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Author

Podelski, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

Author

Capilla, Rafael. editor. (orcid)0000-0002-6943-1285 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Cetina, Carlos. editor. (orcid)0000-0001-8542-5515 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Author

Colombo, Christian. editor. Leucker, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03769-7

Format:

Availability

Online Library~1

Available:
Copies:

29.

Computer Networks 25th International Conference, CN 2018, Gliwice, Poland, June 19-22, 2018, Proceedings

Author

Gaj, Piotr. editor. (orcid)0000-0002-2291-7341 Sawicki, Michał. editor. (orcid)0000-0002-4610-4249 Suchacka, Grażyna. editor. Kwiecień, Andrzej. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

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:

31.

Cover image for Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

Author

Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94135-6

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Author

Piskac, Ruzica. editor. Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers

Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers

Author

Braubach, Lars. editor. Murillo, Juan M. editor. (orcid)0000-0003-4961-4030 Kaviani, Nima. editor. Lama, Manuel. editor. (orcid)0000-0001-7195-6155 Burgueño, Loli. editor. (orcid)0000-0002-7779-8810

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings

Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings

Author

Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 Cobb, Sue. editor. (orcid)0000-0002-4600-6235 Interrante, Victoria. editor. (orcid)0000-0002-3313-6663 kato, Hirokazu. editor. Stricker, Didier. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Information Systems Security 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings

Author

Ganapathy, Vinod. editor. Jaeger, Trent. editor. Shyamasundar, R.K. editor. SpringerLink (Online service)