Search Results for Robotics

16 Results Found

1 2

0000DEFAULT

13.

Cover image for Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

Author

Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334055.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Programming Logics Essays in Memory of Harald Ganzinger

Author

Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334468.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

The Deductive Spreadsheet

Author

Cervesato, Iliano. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334475.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Author

Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334969.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2

	{displayName}	{count}
{error}