Su búsqueda retornó 123 resultados.

Ordenar
Resultados
Programming Languages and Systems [electronic resource] : 27th European Symposium on Programming, ESOP 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 Amal Ahmed.

por Ahmed, Amal [editor.] | SpringerLink (Online service).

Series Theoretical Computer Science and General Issues ; 10801Edició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) .

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) .

Public-Key Cryptography - PKC 2018 [electronic resource] : 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part I / edited by Michel Abdalla, Ricardo Dahab.

por Abdalla, Michel [editor.] | Dahab, Ricardo [editor.] | SpringerLink (Online service).

Series Security and Cryptology ; 10769Edició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) .

Public-Key Cryptography - PKC 2018 [electronic resource] : 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part II / edited by Michel Abdalla, Ricardo Dahab.

por Abdalla, Michel [editor.] | Dahab, Ricardo [editor.] | SpringerLink (Online service).

Series Security and Cryptology ; 10770Edició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) .

Reproducible Research in Pattern Recognition [electronic resource] : Fourth International Workshop, RRPR 2022, Montreal, Canada, August 21, 2022, Revised Selected Papers / edited by Bertrand Kerautret, Miguel Colom, Adrien Krähenbühl, Daniel Lopresti, Pascal Monasse, Benjamin Perret.

por Kerautret, Bertrand [editor.] | Colom, Miguel [editor.] | Krähenbühl, Adrien [editor.] | Lopresti, Daniel [editor.] | Monasse, Pascal [editor.] | Perret, Benjamin [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 14068Edició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) .

Risks and Security of Internet and Systems [electronic resource] : 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers / edited by Nora Cuppens, Frédéric Cuppens, Jean-Louis Lanet, Axel Legay, Joaquin Garcia-Alfaro.

por Cuppens, Nora [editor.] | Cuppens, Frédéric [editor.] | Lanet, Jean-Louis [editor.] | Legay, Axel [editor.] | Garcia-Alfaro, Joaquin [editor.] | SpringerLink (Online service).

Series Information Systems and Applications, incl. Internet/Web, and HCI ; 10694Edició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) .

Security and Privacy in Communication Networks [electronic resource] : 14th International Conference, SecureComm 2018, Singapore, Singapore, August 8-10, 2018, Proceedings, Part II / 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 ; 255Edició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 Trust Management [electronic resource] : 14th International Workshop, STM 2018, Barcelona, Spain, September 6-7, 2018, Proceedings / edited by Sokratis K. Katsikas, Cristina Alcaraz.

por Katsikas, Sokratis K [editor.] | Alcaraz, Cristina [editor.] | SpringerLink (Online service).

Series Security and Cryptology ; 11091Edició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, Privacy and Data Analytics [electronic resource] : Select Proceedings of the 2nd International Conference, ISPDA 2022 / edited by Udai Pratap Rao, Mamoun Alazab, Bhavesh N. Gohil, Pethuru Raj Chelliah.

por Rao, Udai Pratap [editor.] | Alazab, Mamoun [editor.] | Gohil, Bhavesh N [editor.] | Chelliah, Pethuru Raj [editor.] | SpringerLink (Online service).

Series Lecture Notes in Electrical Engineering ; 1049Edició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) .

Smart Blockchain [electronic resource] : First International Conference, SmartBlock 2018, Tokyo, Japan, December 10-12, 2018, Proceedings / edited by Meikang Qiu.

por Qiu, Meikang [editor.] | SpringerLink (Online service).

Series Information Systems and Applications, incl. Internet/Web, and HCI ; 11373Edició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) .

Software Analysis, Testing, and Evolution [electronic resource] : 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings / edited by Lei Bu, Yingfei Xiong.

por Bu, Lei [editor.] | Xiong, Yingfei [editor.] | SpringerLink (Online service).

Series Programming and Software Engineering ; 11293Edició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) .

Software Engineering and Formal Methods [electronic resource] : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers / edited by Antonio Cerone, Marco Roveri.

por Cerone, Antonio [editor.] | Roveri, Marco [editor.] | SpringerLink (Online service).

Series Programming and Software Engineering ; 10729Edició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) .

Technology Research Explained [electronic resource] : Design of Software, Architectures, Methods, and Technology in General / by Ketil Stølen.

por Stølen, Ketil [author.] | SpringerLink (Online service).

Edició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) .

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I / edited by Dirk Beyer, Marieke Huisman.

por Beyer, Dirk [editor.] | Huisman, Marieke [editor.] | SpringerLink (Online service).

Series Theoretical Computer Science and General Issues ; 10805Edició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) .

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II / edited by Dirk Beyer, Marieke Huisman.

por Beyer, Dirk [editor.] | Huisman, Marieke [editor.] | SpringerLink (Online service).

Series Theoretical Computer Science and General Issues ; 10806Edició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) .

Towards AI-Aided Invention and Innovation [electronic resource] : 23rd International TRIZ Future Conference, TFC 2023, Offenburg, Germany, September 12-14, 2023, Proceedings / edited by Denis Cavallucci, Pavel Livotov, Stelian Brad.

por Cavallucci, Denis [editor.] | Livotov, Pavel [editor.] | Brad, Stelian [editor.] | SpringerLink (Online service).

Series IFIP Advances in Information and Communication Technology ; 682Edició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) .

Transdisciplinary Multispectral Modeling and Cooperation for the Preservation of Cultural Heritage [electronic resource] : Third International Conference, TMM_CH 2023, Athens, Greece, March 20-23, 2023, Revised Selected Papers / edited by Antonia Moropoulou, Andreas Georgopoulos, Marinos Ioannides, Anastasios Doulamis, Kyriakos Lampropoulos, Alfredo Ronchi.

por Moropoulou, Antonia [editor.] | Georgopoulos, Andreas [editor.] | Ioannides, Marinos [editor.] | Doulamis, Anastasios [editor.] | Lampropoulos, Kyriakos [editor.] | Ronchi, Alfredo [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 1889Edició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) .

Páginas

Con tecnología Koha