Su búsqueda retornó 119 resultados.

Ordenar
Resultados
Mathematical Modelling for Next-Generation Cryptography [electronic resource] : CREST Crypto-Math Project / edited by Tsuyoshi Takagi, Masato Wakayama, Keisuke Tanaka, Noboru Kunihiro, Kazufumi Kimoto, Dung Hoang Duong.

por Takagi, Tsuyoshi [editor.] | Wakayama, Masato [editor.] | Tanaka, Keisuke [editor.] | Kunihiro, Noboru [editor.] | Kimoto, Kazufumi [editor.] | Duong, Dung Hoang [editor.] | SpringerLink (Online service).

Series Mathematics for Industry ; 29Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Singapore : Springer Singapore : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Mathematical Optimization Theory and Operations Research [electronic resource] : 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Proceedings / edited by Michael Khachay, Yury Kochetov, Anton Eremeev, Oleg Khamisov, Vladimir Mazalov, Panos Pardalos.

por Khachay, Michael [editor.] | Kochetov, Yury [editor.] | Eremeev, Anton [editor.] | Khamisov, Oleg [editor.] | Mazalov, Vladimir [editor.] | Pardalos, Panos [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 13930Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Mathematical Optimization Theory and Operations Research: Recent Trends [electronic resource] : 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Revised Selected Papers / edited by Michael Khachay, Yury Kochetov, Anton Eremeev, Oleg Khamisov, Vladimir Mazalov, Panos Pardalos.

por Khachay, Michael [editor.] | Kochetov, Yury [editor.] | Eremeev, Anton [editor.] | Khamisov, Oleg [editor.] | Mazalov, Vladimir [editor.] | Pardalos, Panos [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 1881Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Modelling and Development of Intelligent Systems [electronic resource] : 8th International Conference, MDIS 2022, Sibiu, Romania, October 28-30, 2022, Revised Selected Papers / edited by Dana Simian, Laura Florentina Stoica.

por Simian, Dana [editor.] | Stoica, Laura Florentina [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 1761Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Modelling and Verification of Secure Exams [electronic resource] / by Rosario Giustolisi.

por Giustolisi, Rosario [author.] | SpringerLink (Online service).

Series Information Security and CryptographyEdición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Neural Information Processing [electronic resource] : 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IV / edited by Mohammad Tanveer, Sonali Agarwal, Seiichi Ozawa, Asif Ekbal, Adam Jatowt.

por Tanveer, Mohammad [editor.] | Agarwal, Sonali [editor.] | Ozawa, Seiichi [editor.] | Ekbal, Asif [editor.] | Jatowt, Adam [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 1791Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2022 Workshop, JURISIN 2022, and JSAI 2022 International Session, Kyoto, Japan, June 12-17, 2022, Revised Selected Papers / edited by Yasufumi Takama, Katsutoshi Yada, Ken Satoh, Sachiyo Arai.

por Takama, Yasufumi [editor.] | Yada, Katsutoshi [editor.] | Satoh, Ken [editor.] | Arai, Sachiyo [editor.] | SpringerLink (Online service).

Series Lecture Notes in Artificial Intelligence ; 13859Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13-15, 2021, Revised Selected Papers / edited by Katsutoshi Yada, Yasufumi Takama, Koji Mineshima, Ken Satoh.

por Yada, Katsutoshi [editor.] | Takama, Yasufumi [editor.] | Mineshima, Koji [editor.] | Satoh, Ken [editor.] | SpringerLink (Online service).

Series Lecture Notes in Artificial Intelligence ; 13856Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

New Trends in Database and Information Systems [electronic resource] : ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings / edited by Alberto Abelló, Panos Vassiliadis, Oscar Romero, Robert Wrembel, Francesca Bugiotti, Johann Gamper, Genoveva Vargas Solar, Ester Zumpano.

por Abelló, Alberto [editor.] | Vassiliadis, Panos [editor.] | Romero, Oscar [editor.] | Wrembel, Robert [editor.] | Bugiotti, Francesca [editor.] | Gamper, Johann [editor.] | Vargas Solar, Genoveva [editor.] | Zumpano, Ester [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 1850Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Optimization and Applications [electronic resource] : 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers / edited by Nicholas Olenev, Yuri Evtushenko, Milojica Jaćimović, Michael Khachay, Vlasta Malkova.

por Olenev, Nicholas [editor.] | Evtushenko, Yuri [editor.] | Jaćimović, Milojica [editor.] | Khachay, Michael [editor.] | Malkova, Vlasta [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 14395Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Principles and Practice of Constraint Programming [electronic resource] : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings / edited by John Hooker.

por Hooker, John [editor.] | SpringerLink (Online service).

Series Programming and Software Engineering ; 11008Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Principles and Practice of Constraint Programming [electronic resource] : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings / edited by John Hooker.

por Hooker, John [editor.] | SpringerLink (Online service).

Series Programming and Software Engineering ; 11008Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Principles of Security and Trust [electronic resource] : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Lujo Bauer, Ralf Küsters.

por Bauer, Lujo [editor.] | Küsters, Ralf [editor.] | SpringerLink (Online service).

Series Security and Cryptology ; 10804Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Progress in Cryptology - AFRICACRYPT 2018 [electronic resource] : 10th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 7-9, 2018, Proceedings / edited by Antoine Joux, Abderrahmane Nitaj, Tajjeeddine Rachidi.

por Joux, Antoine [editor.] | Nitaj, Abderrahmane [editor.] | Rachidi, Tajjeeddine [editor.] | SpringerLink (Online service).

Series Security and Cryptology ; 10831Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Progress in Cryptology - AFRICACRYPT 2018 [electronic resource] : 10th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 7-9, 2018, Proceedings / edited by Antoine Joux, Abderrahmane Nitaj, Tajjeeddine Rachidi.

por Joux, Antoine [editor.] | Nitaj, Abderrahmane [editor.] | Rachidi, Tajjeeddine [editor.] | SpringerLink (Online service).

Series Security and Cryptology ; 10831Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Progress in Cryptology - INDOCRYPT 2018 [electronic resource] : 19th International Conference on Cryptology in India, New Delhi, India, December 9-12, 2018, Proceedings / edited by Debrup Chakraborty, Tetsu Iwata.

por Chakraborty, Debrup [editor.] | Iwata, Tetsu [editor.] | SpringerLink (Online service).

Series Security and Cryptology ; 11356Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Provable Security [electronic resource] : 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings / edited by Joonsang Baek, Willy Susilo, Jongkil Kim.

por Baek, Joonsang [editor.] | Susilo, Willy [editor.] | Kim, Jongkil [editor.] | SpringerLink (Online service).

Series Security and Cryptology ; 11192Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Quality, Reliability, Security and Robustness in Heterogeneous Systems [electronic resource] : 13th International Conference, QShine 2017, Dalian, China, December 16 -17, 2017, Proceedings / edited by Lei Wang, Tie Qiu, Wenbing Zhao.

por Wang, Lei [editor.] | Qiu, Tie [editor.] | Zhao, Wenbing [editor.] | SpringerLink (Online service).

Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 234Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Reliable Software Technologies - Ada-Europe 2018 [electronic resource] : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings / edited by António Casimiro, Pedro M. Ferreira.

por Casimiro, António [editor.] | Ferreira, Pedro M [editor.] | SpringerLink (Online service).

Series Programming and Software Engineering ; 10873Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Security and Privacy in Communication Networks [electronic resource] : 14th International Conference, SecureComm 2018, Singapore, Singapore, August 8-10, 2018, Proceedings, Part I / edited by Raheem Beyah, Bing Chang, Yingjiu Li, Sencun Zhu.

por Beyah, Raheem [editor.] | Chang, Bing [editor.] | Li, Yingjiu [editor.] | Zhu, Sencun [editor.] | SpringerLink (Online service).

Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 254Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Páginas

Con tecnología Koha