Search Results for Mathematics

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

67 Results Found

1 2 3 4 5 6

000000000000DEFAULT

Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction

Author

Pudlák, Pavel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332681.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-00119-7

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

Author

Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334022.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings

Author

Ghosh, Subir Kumar. editor. Tokuyama, Takeshi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334112.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings

Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings

Author

Goemans, Michel. editor. Correa, José. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334268.1)

Electronic Access

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

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:

Cover image for Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II

Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II

Author

Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334723.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings

Author

Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334663.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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:

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I

Author

Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334751.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

Author

Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334753.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

Author

Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334778.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

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:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6

	{displayName}	{count}
{error}