Search Results for Sun.

39 Results Found

1 2 3 4

000000000000DEFAULT

13.

Cover image for Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Author

Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335072.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Nonlinear Integer Programming

Author

Li, Duan. author. Sun, Xiaoling. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-32995-1

Format:

Availability

Online Library~1

Available:
Copies:

15.

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Author

Jones, Cliff. editor. Pihlajasaari, Pekka. editor. Sun, Jun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Frontiers in Internet Technologies Second CCF Internet Conference of China, ICoC 2013, Zhangjiajie, China, July 10, 2013, Revised Selected Papers

Frontiers in Internet Technologies Second CCF Internet Conference of China, ICoC 2013, Zhangjiajie, China, July 10, 2013, Revised Selected Papers

Author

Su, Jinshu. editor. Zhao, Baokang. editor. Sun, Zhigang. editor. Wang, Xiaofeng. editor. Wang, Fei. editor.

Preferred Shelf Number

ONLINE(335225.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Research in Computational Molecular Biology 17th Annual International Conference, RECOMB 2013, Beijing, China, April 7-10, 2013. Proceedings

Research in Computational Molecular Biology 17th Annual International Conference, RECOMB 2013, Beijing, China, April 7-10, 2013. Proceedings

Author

Deng, Minghua. editor. Jiang, Rui. editor. Sun, Fengzhu. editor. Zhang, Xuegong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334382.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Intelligent Science and Intelligent Data Engineering Third Sino-foreign-interchange Workshop, IScIDE 2012, Nanjing, China, October 15-17, 2012. Revised Selected Papers

Intelligent Science and Intelligent Data Engineering Third Sino-foreign-interchange Workshop, IScIDE 2012, Nanjing, China, October 15-17, 2012. Revised Selected Papers

Author

Yang, Jian. editor. Fang, Fang. editor. Sun, Changyin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334262.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Information Retrieval Technology 8th Asia Information Retrieval Societies Conference, AIRS 2012, Tianjin, China, December 17-19, 2012. Proceedings

Information Retrieval Technology 8th Asia Information Retrieval Societies Conference, AIRS 2012, Tianjin, China, December 17-19, 2012. Proceedings

Author

Hou, Yuexian. editor. Nie, Jian-Yun. editor. Sun, Le. editor. Wang, Bo. editor. Zhang, Peng. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Biometric Recognition 7th Chinese Conference, CCBR 2012, Guangzhou, China, December 4-5, 2012. Proceedings

Author

Zheng, Wei-Shi. editor. Sun, Zhenan. editor. Wang, Yunhong. editor. Chen, Xilin. editor. Yuen, Pong C. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Computer Science and its Applications CSA 2012

Author

Yeo, Sang-Soo. editor. Pan, Yi. editor. Lee, Yang Sun. editor. Chang, Hang Bae. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-5699-1

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Advances in Multimedia Information Processing – PCM 2012 13th Pacific-Rim Conference on Multimedia, Singapore, December 4-6, 2012. Proceedings

Advances in Multimedia Information Processing – PCM 2012 13th Pacific-Rim Conference on Multimedia, Singapore, December 4-6, 2012. Proceedings

Author

Lin, Weisi. editor. Xu, Dong. editor. Ho, Anthony. editor. Wu, Jianxin. editor. He, Ying. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Engaging Learners Through Emerging Technologies International Conference on ICT in Teaching and Learning, ICT 2012, Hong Kong, China, July 4-6, 2012. Proceedings

Engaging Learners Through Emerging Technologies International Conference on ICT in Teaching and Learning, ICT 2012, Hong Kong, China, July 4-6, 2012. Proceedings

Author

Li, Kam Cheong. editor. Wang, Fu Lee. editor. Yuen, Kin Sun. editor. Cheung, Simon K. S. editor. Kwan, Reggie. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Data Dissemination and Query in Mobile Social Networks

Author

Chen, Jiming. author. Fan, Jialu. author. Sun, Youxian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-2254-9

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4

	{displayName}	{count}
{error}