Search Results for IT Operations.

14 Results Found

1 2

000000000000DEFAULT

Structures of Computing A Guide to Practice-Oriented Theory

Author

Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-54358-6

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I

Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I

Author

Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-70694-8

Format:

Availability

Online Library~1

Available:
Copies:

Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III

Author

Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-70700-6

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Progress in Cryptology - AFRICACRYPT 2017 9th International Conference on Cryptology in Africa, Dakar, Senegal, May 24-26, 2017, Proceedings

Progress in Cryptology - AFRICACRYPT 2017 9th International Conference on Cryptology in Africa, Dakar, Senegal, May 24-26, 2017, Proceedings

Author

Joye, Marc. editor. Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-57339-7

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Principles of Security and Trust 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Principles of Security and Trust 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Author

Maffei, Matteo. editor. Ryan, Mark. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II

Author

Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Data Integration in the Life Sciences 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017, Proceedings

Data Integration in the Life Sciences 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017, Proceedings

Author

Da Silveira, Marcos. editor. Pruski, Cédric. editor. Schneider, Reinhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Decision Procedures An Algorithmic Point of View

Author

Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Wireless Power Transfer Algorithms, Technologies and Applications in Ad Hoc Communication Networks

Author

Nikoletseas, Sotiris. editor. Yang, Yuanyuan. editor. Georgiadis, Apostolos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Applied Cryptography and Network Security 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings

Author

Manulis, Mark. editor. Sadeghi, Ahmad-Reza. editor. Schneider, Steve. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

Author

Fitzgerald, John. editor. Heitmeyer, Constance. editor. Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Philippou, Anna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-48989-6

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Progress in Cryptology - AFRICACRYPT 2016 8th International Conference on Cryptology in Africa, Fes, Morocco, April 13-15, 2016, Proceedings

Progress in Cryptology - AFRICACRYPT 2016 8th International Conference on Cryptology in Africa, Fes, Morocco, April 13-15, 2016, Proceedings

Author

Pointcheval, David. editor. Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757 Rachidi, Tajjeeddine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2

	{displayName}	{count}
{error}