Search Results for Conference proceedings.

32 Results Found

1 2 3

000000000000DEFAULT

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:

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:

Mathematics and Computation in Music 4th International Conference, MCM 2013, Montreal, QC, Canada, June 12-14, 2013. Proceedings

Author

Yust, Jason. editor. Wild, Jonathan. editor. Burgoyne, John Ashley. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334789.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Geometric Science of Information First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings

Author

Nielsen, Frank. editor. Barbaresco, Frédéric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334879.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I

Author

Canetti, Ran. editor. Garay, Juan A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334881.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Advances in Cryptology – CRYPTO 2013 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II

Author

Canetti, Ran. editor. Garay, Juan A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334888.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Author

Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334962.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Author

Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334969.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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:

10.

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:

11.

DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings

Author

Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332892.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-01928-4

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Combinatorial Optimization and Applications 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings

Combinatorial Optimization and Applications 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings

Author

Widmayer, Peter. editor. Xu, Yinfeng. editor. Zhu, Binhai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332995.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03780-6

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3

	{displayName}	{count}
{error}