Su búsqueda retornó 4 resultados.

Resultados
		Integrated Formal Methods [recurso electrónico] : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings / edited by Dominique Méry, Stephan Merz. por Méry, Dominique [editor.] \| Merz, Stephan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6396Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Model and Data Engineering [electronic resource] : 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings / edited by El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez. por Abdelwahed, El Hassan [editor.] \| Bellatreche, Ladjel [editor.] \| Golfarelli, Mattéo [editor.] \| Méry, Dominique [editor.] \| Ordonez, Carlos [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11163Edició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) .
		New Trends in Model and Data Engineering [electronic resource] : MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings / edited by El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Mery, Kazumi Nakamatsu, Carlos Ordonez. por Abdelwahed, El Hassan [editor.] \| Bellatreche, Ladjel [editor.] \| Benslimane, Djamal [editor.] \| Golfarelli, Matteo [editor.] \| Jean, Stéphane [editor.] \| Mery, Dominique [editor.] \| Nakamatsu, Kazumi [editor.] \| Ordonez, Carlos [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 929Edició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) .
		Rigorous State-Based Methods [electronic resource] : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings / edited by Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque. por Glässer, Uwe [editor.] \| Creissac Campos, Jose [editor.] \| Méry, Dominique [editor.] \| Palanque, Philippe [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14010Edició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