Search Results for Computer Science.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

388 Results Found

1 2 3 4 5 6 .. 33

000000000000DEFAULT

37.

Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Author

Albert, Elvira. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334552.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

Author

Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334556.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

The Semantic Web: Semantics and Big Data 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings

Author

Cimiano, Philipp. editor. Corcho, Oscar. editor. Presutti, Valentina. editor. Hollink, Laura. editor. Rudolph, Sebastian. editor.

Preferred Shelf Number

ONLINE(334576.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings

Author

Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334580.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Artificial Intelligence in Medicine 14th Conference on Artificial Intelligence in Medicine, AIME 2013, Murcia, Spain, May 29 – June 1, 2013. Proceedings

Artificial Intelligence in Medicine 14th Conference on Artificial Intelligence in Medicine, AIME 2013, Murcia, Spain, May 29 – June 1, 2013. Proceedings

Author

Peek, Niels. editor. Marín Morales, Roque. editor. Peleg, Mor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334583.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

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:

43.

Cover image for Information Processing in Medical Imaging 23rd International Conference, IPMI 2013, Asilomar, CA, USA, June 28–July 3, 2013. Proceedings

Information Processing in Medical Imaging 23rd International Conference, IPMI 2013, Asilomar, CA, USA, June 28–July 3, 2013. Proceedings

Author

Gee, James C. editor. Joshi, Sarang. editor. Pohl, Kilian M. editor. Wells, William M. editor. Zöllei, Lilla. editor.

Preferred Shelf Number

ONLINE(334687.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Image Analysis 18th Scandinavian Conference, SCIA 2013, Espoo, Finland, June 17-20, 2013. Proceedings

Author

Kämäräinen, Joni-Kristian. editor. Koskela, Markus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334692.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Human Factors in Computing and Informatics First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings

Human Factors in Computing and Informatics First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings

Author

Holzinger, Andreas. editor. Ziefle, Martina. editor. Hitz, Martin. editor. Debevc, Matjaž. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334721.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

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:

47.

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:

48.

Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

Author

Gaag, Linda C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334728.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6 .. 33

	{displayName}	{count}
{error}