Su búsqueda retornó 5 resultados.

Resultados
		Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II / edited by Étienne André, Jun Sun. por André, Étienne [editor.] \| Sun, Jun [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14216Edició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) .
		Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I / edited by Étienne André, Jun Sun. por André, Étienne [editor.] \| Sun, Jun [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14215Edició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) .
		Bioinformatic and Statistical Analysis of Microbiome Data [electronic resource] : From Raw Sequences to Advanced Modeling with QIIME 2 and R / by Yinglin Xia, Jun Sun. por Xia, Yinglin [author.] \| Sun, Jun [author.] \| SpringerLink (Online service). Edició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 International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Mechanisms Underlying Host-Microbiome Interactions in Pathophysiology of Human Diseases [electronic resource] / edited by Jun Sun, Pradeep K. Dudeja. por Sun, Jun [editor.] \| Dudeja, Pradeep K [editor.] \| SpringerLink (Online service). Series Physiology in Health and DiseaseEdición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: New York, NY : Springer US : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Semantic Technology [recurso electrónico] : 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers / edited by Yuan-Fang Li, Wei Hu, Jin Song Dong, Grigoris Antoniou, Zhe Wang, Jun Sun, Yang Liu. por Li, Yuan-Fang [editor.] \| Hu, Wei [editor.] \| Dong, Jin Song [editor.] \| Antoniou, Grigoris [editor.] \| Wang, Zhe [editor.] \| Sun, Jun [editor.] \| Liu, Yang [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10055Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Con tecnología Koha