Search Results for Computational complexity.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

96 Results Found

1 2 3 4 5 .. 8

000000000000DEFAULT

13.

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:

14.

Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings

Author

Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334665.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:

Copies:

15.

Cover image for Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

Author

Schulte, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334980.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:

Copies:

16.

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

Author

Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334985.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:

Copies:

17.

Cover image for Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings

Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings

Author

Lukasiewicz, Thomas. editor. Sali, Attila. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:

Copies:

18.

Cover image for Computer Science – Theory and Applications 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings

Computer Science – Theory and Applications 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings

Author

Hirsch, Edward A. editor. Karhumäki, Juhani. editor. Lepistö, Arto. editor. Prilutskii, Michail. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:

Copies:

19.

Cover image for Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

Author

Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:

Copies:

20.

Cover image for Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Author

Ong, Luke. editor. Queiroz, Ruy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:

Copies:

21.

Cover image for Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

Author

Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:

Copies:

22.

Cover image for Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

Author

Vidal, Germán. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:

Copies:

23.

Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings

Author

Ågotnes, Thomas. editor. Broersen, Jan. editor. Elgesem, Dag. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:

Copies:

24.

Developments in Language Theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings

Author

Yen, Hsu-Chun. editor. Ibarra, Oscar H. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:

Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 8

	{displayName}	{count}
{error}