Search Results for Computer system performance.

442 Results Found

1 2 3 4 5 .. 37

000000000000DEFAULT

25.

Cover image for Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Author

Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings

Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings

Author

Stamelos, Ioannis. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Distributed Computing and Internet Technology 14th International Conference, ICDCIT 2018, Bhubaneswar, India, January 11–13, 2018, Proceedings

Distributed Computing and Internet Technology 14th International Conference, ICDCIT 2018, Bhubaneswar, India, January 11–13, 2018, Proceedings

Author

Negi, Atul. editor. (orcid)0000-0001-5707-130X Bhatnagar, Raj. editor. Parida, Laxmi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

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:

29.

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:

30.

Big Data Analytics 6th International Conference, BDA 2018, Warangal, India, December 18–21, 2018, Proceedings

Author

Mondal, Anirban. editor. Gupta, Himanshu. editor. Srivastava, Jaideep. editor. Reddy, P. Krishna. editor. Somayajulu, D.V.L.N. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Lectures on Runtime Verification Introductory and Advanced Topics

Author

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Falcone, Yliès. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming

Author

Kormanyos, Christopher. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-56718-0

Format:

Availability

Online Library~1

Available:
Copies:

34.

Mobile Internet Security First International Symposium, MobiSec 2016, Taichung, Taiwan, July 14-15, 2016, Revised Selected Papers

Author

You, Ilsun. editor. Leu, Fang-Yie. editor. Chen, Hsing-Chung. editor. Kotenko, Igor. editor. (orcid)0000-0001-6859-7120 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-7850-7

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Cloud Computing – CLOUD 2018 11th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

Cloud Computing – CLOUD 2018 11th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

Author

Luo, Min. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Big Data – BigData 2018 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

Big Data – BigData 2018 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

Author

Chin, Francis Y. L. editor. Chen, C. L. Philip. editor. (orcid)0000-0001-5451-7230 Khan, Latifur. editor. Lee, Kisung. editor. (orcid)0000-0003-4367-4374 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 37

	{displayName}	{count}
{error}