Search Results for Computer science.

1.

Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers

Author

Priami, Corrado. editor. Quaglia, Paola. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b103251

Format:

Availability

Online Library~1

Available:
Copies:

2.

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

Author

Hurd, Joe. editor. Melham, Tom. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11541868

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

Author

Leite, João. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. Yolum, pInar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b136890

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Author

Bodik, Rastislav. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b107108

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers

Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers

Author

Eijk, Rogier M. editor. Huget, Marc-Philippe. editor. Dignum, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b106468

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers

Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers

Author

Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b105887

Format:

Availability

Online Library~1

Available:
Copies:

7.

Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning

Author

Kudenko, Daniel. editor. Kazakov, Dimitar. editor. Alonso, Eduardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b106974

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Author

Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b106931

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers

Author

Odell, James. editor. Giorgini, Paolo. editor. Müller, Jörg P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b105022

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Author

Hinchey, Michael G. editor. Rash, James L. editor. Truszkowski, Walter F. editor. Rouff, Christopher A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b105317

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

Author

Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11591191

Format:

Availability

Online Library~1

Available:
Copies:

12.

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

Author

Etessami, Kousha. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138445

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}