Search Results for Computation by Abstract Devices.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

48 Results Found

1 2 3 4

000000000000DEFAULT

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:

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:

Transactions on Computational Collective Intelligence IX

Author

Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334300.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Applications of Evolutionary Computation 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Applications of Evolutionary Computation 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Author

Esparcia-Alcázar, Anna I. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334381.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Author

Krawiec, Krzysztof. editor. Moraglio, Alberto. editor. Hu, Ting. editor. Etaner-Uyar, A. Şima. editor. Hu, Bin. editor.

Preferred Shelf Number

ONLINE(334384.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Intelligent Data Engineering and Automated Learning – IDEAL 2013 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013. Proceedings

Intelligent Data Engineering and Automated Learning – IDEAL 2013 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013. Proceedings

Author

Yin, Hujun. editor. Tang, Ke. editor. Gao, Yang. editor. Klawonn, Frank. editor. Lee, Minho. editor.

Preferred Shelf Number

ONLINE(335084.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Adaptive and Natural Computing Algorithms 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013. Proceedings

Adaptive and Natural Computing Algorithms 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013. Proceedings

Author

Tomassini, Marco. editor. Antonioni, Alberto. editor. Daolio, Fabio. editor. Buesser, Pierre. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334386.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Advances in Artificial Intelligence 26th Canadian Conference on Artificial Intelligence, Canadian AI 2013, Regina, SK, Canada, May 28-31, 2013. Proceedings

Advances in Artificial Intelligence 26th Canadian Conference on Artificial Intelligence, Canadian AI 2013, Regina, SK, Canada, May 28-31, 2013. Proceedings

Author

Zaïane, Osmar R. editor. Zilles, Sandra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334602.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Transactions on Computational Collective Intelligence X

Author

Nguyen, Ngoc-Thanh. editor. Kołodziej, Joanna. editor. Burczyński, Tadeusz. editor. Biba, Marenglen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334611.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Hybrid Metaheuristics 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings

Author

Blesa, María J. editor. Blum, Christian. editor. Festa, Paola. editor. Roli, Andrea. editor. Sampels, Michael. editor.

Preferred Shelf Number

ONLINE(334612.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Artificial Intelligence and Soft Computing 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part II

Artificial Intelligence and Soft Computing 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part II

Author

Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafał. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.

Preferred Shelf Number

ONLINE(334633.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Natural and Artificial Computation in Engineering and Medical Applications 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II

Natural and Artificial Computation in Engineering and Medical Applications 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II

Author

Ferrández Vicente, José Manuel. editor. Álvarez Sánchez, José Ramón. editor. Paz López, Félix. editor. Toledo Moreo, Fco. Javier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334636.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4

	{displayName}	{count}
{error}