Search Results for Computers.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

61 Results Found

1 2 3 4 5 6

000000000000DEFAULT

37.

Cover image for Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Author

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

Author

Ding, Chen. editor. Criswell, John. editor. Wu, Peng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

Author

Blieberger, Johann. editor. Bader, Markus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

Author

de Lara, Juan. editor. Plump, Detlef. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings

Author

Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Economics of Grids, Clouds, Systems, and Services 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings

Economics of Grids, Clouds, Systems, and Services 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings

Author

Pham, Congduc. editor. Altmann, Jörn. editor. Bañares, José Ángel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Instruction Level Parallelism

Author

Aiken, Alex. author. Banerjee, Utpal. author. Kejariwal, Arun. author. Nicolau, Alexandru. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4899-7797-7

Format:

Availability

Online Library~1

Available:
Copies:

44.

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings

Author

Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

Author

Shen, Xipeng. editor. Mueller, Frank. editor. Tuck, James. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Understanding Control Flow Concurrent Programming Using μC++

Author

Buhr, Peter A. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

Author

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Chopra, Amit K. editor. Son, Tran Cao. editor. Hirayama, Katsutoshi. editor. Torroni, Paolo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.