Search Results for Software.

Connected Dominating Set: Theory and Applications

Author

Du, Ding-Zhu. author. Wan, Peng-Jun. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331720.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-5242-3

Format:

Availability

Online Library~1

Available:
Copies:

The Tower of Hanoi – Myths and Maths

Author

Hinz, Andreas M. author. Klavžar, Sandi. author. Milutinović, Uroš. author. Petr, Ciril. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332606.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-0348-0237-6

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings

Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings

Author

Das, Sajal K. editor. Nita-Rotaru, Cristina. editor. Kantarcioglu, Murat. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332947.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-02786-9

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

Author

Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334724.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Structure of Solutions of Variational Problems

Author

Zaslavski, Alexander J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332024.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-6387-0

Format:

Availability

Online Library~1

Available:
Copies:

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 Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I

Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I

Author

Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335157.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II

Author

Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335160.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}