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:

A General Framework for Reasoning On Inconsistency

Author

Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332107.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-6750-2

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Author

Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332962.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03077-7

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 Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

Author

Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334073.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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:

10.

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

Author

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

Preferred Shelf Number

ONLINE(335220.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

Author

Lodaya, Kamal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334105.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

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:

1 2 3 4

	{displayName}	{count}
{error}