Su búsqueda retornó 3 resultados.

Resultados
		Automated Technology for Verification and Analysis [recurso electrónico] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings / edited by Tevfik Bultan, Pao-Ann Hsiung. por Bultan, Tevfik [editor.] \| Hsiung, Pao-Ann [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6996Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Communication, Networks and Computing [electronic resource] : Third International Conference, CNC 2022, Gwalior, India, December 8-10, 2022, Proceedings, Part I / edited by Ranjeet Singh Tomar, Shekhar Verma, Brijesh Kumar Chaurasia, Vrijendra Singh, Jemal H. Abawajy, Shyam Akashe, Pao-Ann Hsiung, Ramjee Prasad. por Tomar, Ranjeet Singh [editor.] \| Verma, Shekhar [editor.] \| Chaurasia, Brijesh Kumar [editor.] \| Singh, Vrijendra [editor.] \| Abawajy, Jemal H [editor.] \| Akashe, Shyam [editor.] \| Hsiung, Pao-Ann [editor.] \| Prasad, Ramjee [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 1893Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; 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) .
		Communication, Networks and Computing [electronic resource] : Third International Conference, CNC 2022, Gwalior, India, December 8-10, 2022, Proceedings, Part II / edited by Ranjeet Singh Tomar, Shekhar Verma, Brijesh Kumar Chaurasia, Vrijendra Singh, Jemal H. Abawajy, Shyam Akashe, Pao-Ann Hsiung, Ramjee Prasad. por Tomar, Ranjeet Singh [editor.] \| Verma, Shekhar [editor.] \| Chaurasia, Brijesh Kumar [editor.] \| Singh, Vrijendra [editor.] \| Abawajy, Jemal H [editor.] \| Akashe, Shyam [editor.] \| Hsiung, Pao-Ann [editor.] \| Prasad, Ramjee [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 1894Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; 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) .

Con tecnología Koha