Search Results for Programming Techniques.

16 Results Found

1 2

0000DEFAULT

13.

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

Author

Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334327.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Tools for High Performance Computing 2012

Author

Cheptsov, Alexey. editor. Brinkmann, Steffen. editor. Gracia, José. editor. Resch, Michael M. editor. Nagel, Wolfgang E. editor.

Preferred Shelf Number

ONLINE(334411.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

Author

Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334469.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

Author

Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334870.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2

	{displayName}	{count}
{error}