Su búsqueda retornó 5 resultados.

Resultados
		Computer Performance Engineering [recurso electrónico] : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings / edited by Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa. por Aldini, Alessandro [editor.] \| Bernardo, Marco [editor.] \| Bononi, Luciano [editor.] \| Cortellessa, Vittorio [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6342Origen: 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.
		Formal Methods for Eternal Networked Software Systems [recurso electrónico] : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures / edited by Marco Bernardo, Valérie Issarny. por Bernardo, Marco [editor.] \| Issarny, Valérie [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6659Origen: 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.
		Formal Methods for Quantitative Aspects of Programming Languages [recurso electrónico] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures / edited by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky. por Aldini, Alessandro [editor.] \| Bernardo, Marco [editor.] \| Pierro, Alessandra [editor.] \| Wiklicky, Herbert [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6154Origen: 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.
		Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems [recurso electrónico] : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures / edited by Marco Bernardo, Rocco De Nicola, Jane Hillston. por Bernardo, Marco [editor.] \| De Nicola, Rocco [editor.] \| Hillston, Jane [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9700Origen: 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) .
		A Process Algebraic Approach to Software Architecture Design [recurso electrónico] / by Alessandro Aldini, Marco Bernardo, Flavio Corradini. por Aldini, Alessandro [author.] \| Bernardo, Marco [author.] \| Corradini, Flavio [author.] \| SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: London : Springer London : Imprint: Springer, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.

Con tecnología Koha