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

49.

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:

50.

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:

51.

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:

52.

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:

53.

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:

54.

Cover image for Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings

Author

Remke, Anne. editor. Haverkort, Boudewijn R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings

Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings

Author

Perner, Petra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Author

Devitt, Simon. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings

Author

Maruyama, Naoya. editor. de Supinski, Bronis R. editor. Wahib, Mohamed. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

Author

Wotawa, Franz. editor. Nica, Mihai. editor. Kushik, Natalia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Knapp, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Transactions on Modularity and Composition I

Author

Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.