Search Results for Computer science.

1342 Results Found

1 .. 3 4 5 6 7 .. 112

000000000000DEFAULT

Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

Author

Bolduc, Claude. editor. Desharnais, Jules. editor. Ktari, Béchir. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Information Security and Assurance 4th International Conference, ISA 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings

Author

Bandyopadhyay, Samir Kumar. editor. Adi, Wael. editor. Kim, Tai-hoon. editor. Xiao, Yang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers

Author

Gao, Guang R. editor. Pollock, Lori L. editor. Cavazos, John. editor. Li, Xiaoming. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Computer Networks 17th Conference, CN 2010, Ustroń, Poland, June 15-19, 2010. Proceedings

Author

Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Trust and Trustworthy Computing Third International Conference, TRUST 2010, Berlin, Germany, June 21-23, 2010. Proceedings

Author

Acquisti, Alessandro. editor. Smith, Sean W. editor. Sadeghi, Ahmad-Reza. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Natural Language Processing and Information Systems 15th International Conference on Applications of Natural Language to Information Systems, NLDB 2010, Cardiff, UK, June 23-25, 2010. Proceedings

Natural Language Processing and Information Systems 15th International Conference on Applications of Natural Language to Information Systems, NLDB 2010, Cardiff, UK, June 23-25, 2010. Proceedings

Author

Hopfe, Christina J. editor. Rezgui, Yacine. editor. Métais, Elisabeth. editor. Preece, Alun. editor. Li, Haijiang. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Graphics Recognition. Achievements, Challenges, and Evolution 8th International Workshop, GREC 2009, La Rochelle, France, July 22-23, 2009. Selected Papers

Graphics Recognition. Achievements, Challenges, and Evolution 8th International Workshop, GREC 2009, La Rochelle, France, July 22-23, 2009. Selected Papers

Author

Ogier, Jean-Marc. editor. Liu, Wenyin. editor. Lladós, Josep. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Time for Verification Essays in Memory of Amir Pnueli

Author

Manna, Zohar. editor. Peled, Doron A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Hybrid Artificial Intelligence Systems 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part I

Hybrid Artificial Intelligence Systems 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part I

Author

Graña Romay, Manuel. editor. Corchado, Emilio. editor. Garcia Sebastian, M. Teresa. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Image Analysis and Recognition 7th International Conference, ICIAR 2010, Póvoa de Varzim, Portugal, June 21-23, 2010. Proceedings, Part I

Image Analysis and Recognition 7th International Conference, ICIAR 2010, Póvoa de Varzim, Portugal, June 21-23, 2010. Proceedings, Part I

Author

Campilho, Aurélio. editor. Kamel, Mohamed. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Computing and Combinatorics 16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010. Proceedings

Author

Thai, My T. editor. Sahni, Sartaj. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Hybrid Artificial Intelligence Systems 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part II

Author

Corchado, Emilio. editor. Graña Romay, Manuel. editor. Manhaes Savio, Alexandre. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 .. 112

	{displayName}	{count}
{error}