Search Results for Design

40 Results Found

1 2 3 4

000000000000DEFAULT

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:

Cover image for Evolutionary and Biologically Inspired Music, Sound, Art and Design Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Evolutionary and Biologically Inspired Music, Sound, Art and Design Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Author

Machado, Penousal. editor. McDermott, James. editor. Carballal, Adrian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334330.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Global Design and Local Materialization 15th International Conference, CAAD Futures 2013, Shanghai, China, July 3-5, 2013. Proceedings

Global Design and Local Materialization 15th International Conference, CAAD Futures 2013, Shanghai, China, July 3-5, 2013. Proceedings

Author

Zhang, Jianlong. editor. Sun, Chengyu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334705.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Decentralized Spatial Computing Foundations of Geosensor Networks

Author

Duckham, Matt. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333364.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

Author

Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.

Preferred Shelf Number

ONLINE(334041.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Author

Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334962.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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:

Cover image for Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

Author

Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.

Preferred Shelf Number

ONLINE(334979.1)

Electronic Access

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

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 Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I

Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I

Author

Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335219.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Social Semantics The Search for Meaning on the Web

Author

Halpin, Harry. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331289.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-1885-6

Format:

Availability

Online Library~1

Available:
Copies:

12.

Automated Reasoning and Mathematics Essays in Memory of William W. McCune

Author

Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334264.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4

	{displayName}	{count}
{error}