Search Results for Programming languages.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

10 Results Found

0000000000DEFAULT

Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings

Author

Jhala, Ranjit. editor. Igarashi, Atsushi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35182-2

Format:

Availability

Online Library~1

Available:
Copies:

Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings

Author

Yang, Hongseok. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings

Author

Ueda, Kazunori. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-17164-2

Format:

Availability

Online Library~1

Available:
Copies:

Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings

Author

Hu, Zhenjiang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

The AI Act and The Agile Safety Plan

Author

Myklebust, Thor. author. (orcid)0000-0002-9283-092X Stålhane, Tor. author. Vatn, Dorthea Mathilde Kristin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-80504-2

Format:

Availability

Online Library~1

Available:
Copies:

Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows

Author

Guttman, Joshua D. editor. Landwehr, Carl E. editor. Meseguer, José. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers

Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers

Author

Zincir-Heywood, Nur. editor. Bonfante, Guillaume. editor. Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Parallel Architecture, Algorithm and Programming 8th International Symposium, PAAP 2017, Haikou, China, June 17-18, 2017, Proceedings

Parallel Architecture, Algorithm and Programming 8th International Symposium, PAAP 2017, Haikou, China, June 17-18, 2017, Proceedings

Author

Chen, Guoliang. editor. Shen, Hong. editor. Chen, Mingrui. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-6442-5

Format:

Availability

Online Library~1

Available:
Copies:

Cyber Deception Building the Scientific Foundation

Author

Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X Subrahmanian, V.S. editor. Swarup, Vipin. editor. Wang, Cliff. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Advances in Parallel and Distributed Computing and Ubiquitous Services UCAWSN & PDCAT 2015

Author

Park, James J. (Jong Hyuk). editor. Yi, Gangman. editor. Jeong, Young-Sik. editor. Shen, Hong. editor. SpringerLink (Online service)