Su búsqueda retornó 3 resultados.

Resultados
		Formal Methods: Foundations and Applications [recurso electrónico] : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / edited by Leila Ribeiro, Thierry Lecomte. por Ribeiro, Leila [editor.] \| Lecomte, Thierry [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10090Origen: 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) .
		Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [recurso electrónico] : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings / edited by Thierry Lecomte, Ralf Pinger, Alexander Romanovsky. por Lecomte, Thierry [editor.] \| Pinger, Ralf [editor.] \| Romanovsky, Alexander [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9707Origen: 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) .
		Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [electronic resource] : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings / edited by Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte. por Milius, Birgit [editor.] \| Collart-Dutilleul, Simon [editor.] \| Lecomte, Thierry [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14198Edició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