Search Results for Conference proceedings.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

51 Results Found

1 2 3 4 5

000000000000DEFAULT

37.

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:

38.

Cover image for Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Author

Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334610.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

Author

Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334651.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

Author

Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334718.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

Author

Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334724.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

Author

Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334725.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

Author

Konstantinidis, Stavros. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334771.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

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:

45.

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:

46.

Cover image for Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

Author

Middendorf, Martin. editor. Blum, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334383.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Intelligent Computing Theories 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings

Author

Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Figueroa, Juan Carlos. editor. Premaratne, Prashan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334807.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Biomimetic and Biohybrid Systems Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings

Biomimetic and Biohybrid Systems Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings

Author

Lepora, Nathan F. editor. Mura, Anna. editor. Krapp, Holger G. editor. Verschure, Paul F. M. J. editor. Prescott, Tony J. editor.

Preferred Shelf Number

ONLINE(334852.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5

	{displayName}	{count}
{error}