Search Results for Computer science.

199 Results Found

1 2 3 4 5 .. 17

000000000000DEFAULT

Cover image for Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

Author

Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332982.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03545-1

Format:

Availability

Online Library~1

Available:
Copies:

Computer Analysis of Images and Patterns 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II

Author

Wilson, Richard. editor. Hancock, Edwin. editor. Bors, Adrian. editor. Smith, William. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334917.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II

Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II

Author

Canetti, Ran. editor. Garay, Juan A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334888.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40084-1

Format:

Availability

Online Library~1

Available:
Copies:

Computer Analysis of Images and Patterns 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I

Author

Wilson, Richard. editor. Hancock, Edwin. editor. Bors, Adrian. editor. Smith, William. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334919.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40261-6

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Advances in Depth Image Analysis and Applications International Workshop, WDIA 2012, Tsukuba, Japan, November 11, 2012, Revised Selected and Invited Papers

Advances in Depth Image Analysis and Applications International Workshop, WDIA 2012, Tsukuba, Japan, November 11, 2012, Revised Selected and Invited Papers

Author

Jiang, Xiaoyi. editor. Bellon, Olga Regina Pereira. editor. Goldgof, Dmitry. editor. Oishi, Takeshi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334924.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings

Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings

Author

Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335022.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings

Author

Bois, André Rauber. editor. Trinder, Phil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335028.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40922-6

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings

Formal Methods: Foundations and Applications 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings

Author

Iyoda, Juliano. editor. Moura, Leonardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335052.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Abdominal Imaging. Computation and Clinical Applications 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings

Abdominal Imaging. Computation and Clinical Applications 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings

Author

Yoshida, Hiroyuki. editor. Warfield, Simon. editor. Vannier, Michael W. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335055.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Cyber Security and Privacy Trust in the Digital World and Cyber Security and Privacy EU Forum 2013, Brussels, Belgium, April 2013, Revised Selected Papers

Cyber Security and Privacy Trust in the Digital World and Cyber Security and Privacy EU Forum 2013, Brussels, Belgium, April 2013, Revised Selected Papers

Author

Felici, Massimo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335073.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Provable Security 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedings

Author

Susilo, Willy. editor. Reyhanitabar, Reza. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335077.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41227-1

Format:

Availability

Online Library~1

Available:
Copies:

12.

Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

Author

Shan, Chung-chieh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332981.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03542-0

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 17

	{displayName}	{count}
{error}