Search Results for Artificial Intelligence (incl. Robotics)

65 Results Found

1 2 3 4 5 6

000000000000DEFAULT

Ontology-Driven Software Development

Author

Pan, Jeff Z. editor. Staab, Steffen. editor. Aßmann, Uwe. editor. Ebert, Jürgen. editor. Zhao, Yuting. editor.

Preferred Shelf Number

ONLINE(333408.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers

Author

Dastani, Mehdi. editor. Hübner, Jomi F. editor. Logan, Brian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334652.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Advanced Information Systems Engineering 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings

Advanced Information Systems Engineering 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings

Author

Salinesi, Camille. editor. Norrie, Moira C. editor. Pastor, Óscar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334655.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Author

Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334840.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Author

Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334841.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

Author

Müller, Jörg P. editor. Cossentino, Massimo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334859.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

The Personal Web A Research Agenda

Author

Chignell, Mark. editor. Cordy, James R. editor. Kealey, Ryan. editor. Ng, Joanna. editor. Yesha, Yelena. editor.

Preferred Shelf Number

ONLINE(334876.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

Author

Cossentino, Massimo. editor. Fallah Seghrouchni, Amal. editor. Winikoff, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335210.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

Author

Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335125.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Author

McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335196.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers

Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers

Author

Moschitti, Alessandro. editor. Plank, Barbara. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335198.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Autonomic Computing Principles, Design and Implementation

Author

Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331115.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5007-7

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 6

	{displayName}	{count}
{error}