Search Results for Theory of Computation.

1.

Cover image for Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Author

Pitts, Andrew. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(519161.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46678-0

Format:

Availability

Online Library~1

Available:
Copies:

2.

Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings

Author

Kosowski, Adrian. editor. Walukiewicz, Igor. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518912.1)

Electronic Access

https://doi.org/10.1007/978-3-319-22177-9

Format:

Availability

Online Library~1

Available:
Copies:

3.

Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings

Author

Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519117.1)

Electronic Access

https://doi.org/10.1007/978-3-319-17142-5

Format:

Availability

Online Library~1

Available:
Copies:

4.

Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings

Author

Yu, Xiaohui. editor. Dong, Xin Luna. editor. Li, Jian. editor. SUN, YIZHOU. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519168.1)

Electronic Access

https://doi.org/10.1007/978-3-319-21042-1

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Topics in Cryptology -- CT-RSA 2015 The Cryptographer's Track at the RSA Conference 2015, San Francisco, CA, USA, April 20-24, 2015. Proceedings

Topics in Cryptology -- CT-RSA 2015 The Cryptographer's Track at the RSA Conference 2015, San Francisco, CA, USA, April 20-24, 2015. Proceedings

Author

Nyberg, Kaisa. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519219.1)

Electronic Access

https://doi.org/10.1007/978-3-319-16715-2

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Web Technologies and Applications 17th Asia-Pacific Web Conference, APWeb 2015, Guangzhou, China, September 18-20, 2015, Proceedings

Web Technologies and Applications 17th Asia-Pacific Web Conference, APWeb 2015, Guangzhou, China, September 18-20, 2015, Proceedings

Author

Cheng, Reynold. editor. Cui, Bin. editor. Zhang, Zhenjie. editor. Cai, Ruichu. editor. Xu, Jia. editor.

Preferred Shelf Number

XX(518837.1)

Electronic Access

https://doi.org/10.1007/978-3-319-25255-1

Format:

Availability

Online Library~1

Available:
Copies:

7.

Machine Learning for Audio, Image and Video Analysis Theory and Applications

Author

Camastra, Francesco. author. Vinciarelli, Alessandro. author. SpringerLink (Online service)

Preferred Shelf Number

XX(518369.1)

Electronic Access

https://doi.org/10.1007/978-1-4471-6735-8

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II

Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II

Author

Oswald, Elisabeth. editor. Fischlin, Marc. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518913.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46803-6

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Algorithms and Discrete Applied Mathematics First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings

Algorithms and Discrete Applied Mathematics First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings

Author

Ganguly, Sumit. editor. Krishnamurti, Ramesh. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518978.1)

Electronic Access

https://doi.org/10.1007/978-3-319-14974-5

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}