Search Results for Computer science.

19 Results Found

1 2

000000000000DEFAULT

Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Author

Berardi, Stefano. editor. Damiani, Ferruccio. editor. de’Liguoro, Ugo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings

Author

Hill, Patricia M. editor. Warren, David S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Programming Multi-Agent Systems 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers

Programming Multi-Agent Systems 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers

Author

Hindriks, Koen V. editor. Pokahr, Alexander. editor. Sardina, Sebastian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Multi-Agent Systems for Society 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers

Multi-Agent Systems for Society 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers

Author

Lukose, Dickson. editor. Shi, Zhongzhi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers

Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers

Author

Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-93920-7

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers

Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers

Author

Peled, Doron A. editor. Wooldridge, Michael J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Author

Hanus, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings

Author

Sossai, Claudio. editor. Chemello, Gaetano. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Agents and Data Mining Interaction 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers

Agents and Data Mining Interaction 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers

Author

Cao, Longbing. editor. Gorodetsky, Vladimir. editor. Liu, Jiming. editor. Weiss, Gerhard. editor. Yu, Philip S. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Author

Palsberg, Jens. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

Author

Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Semantic Techniques for the Web The REWERSE Perspective

Author

Bry, François. editor. Małuszyński, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2

	{displayName}	{count}
{error}