Search Results for Computer science.

1.

Cover image for Computer Science – Theory and Applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings

Computer Science – Theory and Applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings

Author

Kulikov, Alexander. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings

Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings

Author

Corradini, Andrea. editor. Klin, Bartek. editor. Cîrstea, Corina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings

Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings

Author

Murlak, Filip. editor. Sankowski, Piotr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings

Author

Ogihara, Mitsunori. editor. Tarui, Jun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings

Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings

Author

Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

Author

Beklemishev, Lev D. editor. Queiroz, Ruy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings

Author

Winkler, Franz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Implementation and Application of Automata 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings

Author

Bouchou-Markhoff, Béatrice. editor. Caron, Pascal. editor. Champarnaud, Jean-Marc. editor. Maurel, Denis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Developments in Language Theory 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings

Author

Mauri, Giancarlo. editor. Leporati, Alberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Implementation and Application of Automata 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers

Implementation and Application of Automata 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers

Author

Domaratzki, Michael. editor. Salomaa, Kai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers

Author

Sturm, Thomas. editor. Zengler, Christoph. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

Author

Owe, Olaf. editor. Steffen, Martin. editor. Telle, Jan Arne. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}