Search Results for Computer software.

350 Results Found

1 2 3 4 5 .. 30

000000000000DEFAULT

13.

Replication Theory and Practice

Author

Charron-Bost, Bernadette. editor. Pedone, Fernando. editor. Schiper, André. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

Author

Barthe, Gilles. editor. Hermenegildo, Manuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Distributed Computing and Networking 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010. Proceedings

Author

Kant, Krishna. editor. Pemmaraju, Sriram V. editor. Sivalingam, Krishna M. editor. Wu, Jie. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Graph-Theoretic Concepts in Computer Science 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers

Graph-Theoretic Concepts in Computer Science 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers

Author

Paul, Christophe. editor. Habib, Michel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

WALCOM: Algorithms and Computation 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010. Proceedings

Author

Rahman, Md. Saidur. editor. Fujita, Satoshi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Theory of Cryptography 7th Theory of Cryptography Conference, TCC 2010, Zurich, Switzerland, February 9-11, 2010. Proceedings

Author

Micciancio, Daniele. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Graph Drawing 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers

Author

Eppstein, David. editor. Gansner, Emden R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings

Author

Frappier, Marc. editor. Glässer, Uwe. editor. Khurshid, Sarfraz. editor. Laleau, Régine. editor. Reeves, Steve. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Adaptive and Learning Agents Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009. Revised Selected Papers

Adaptive and Learning Agents Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009. Revised Selected Papers

Author

Taylor, Matthew E. editor. Tuyls, Karl. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Agents and Artificial Intelligence International Conference, ICAART 2009, Porto, Portugal, January 19-21, 2009. Revised Selected Papers

Agents and Artificial Intelligence International Conference, ICAART 2009, Porto, Portugal, January 19-21, 2009. Revised Selected Papers

Author

Filipe, Joaquim. editor. Fred, Ana. editor. Sharp, Bernadette. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings

Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings

Author

Link, Sebastian. editor. Prade, Henri. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2009, Lisboa, Portugal, February 5-8, 2009. Revised Selected Papers

Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2009, Lisboa, Portugal, February 5-8, 2009. Revised Selected Papers

Author

Ranchordas, AlpeshKumar. editor. Pereira, João Madeiras. editor. Araújo, Hélder J. editor. Tavares, João Manuel R. S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 30

	{displayName}	{count}
{error}