Su búsqueda retornó 3 resultados.

Resultados
		Formal Methods Teaching [electronic resource] : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings / edited by Catherine Dubois, Pierluigi San Pietro. por Dubois, Catherine [editor.] \| San Pietro, Pierluigi [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13962Edició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) .
		Intelligent Computer Mathematics [electronic resource] : 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings / edited by Catherine Dubois, Manfred Kerber. por Dubois, Catherine [editor.] \| Kerber, Manfred [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 14101Edició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) .
		Tests and Proofs [electronic resource] : 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / edited by Catherine Dubois, Burkhart Wolff. por Dubois, Catherine [editor.] \| Wolff, Burkhart [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10889Edició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: 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) .

Con tecnología Koha