Resultados
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Formal Modeling and Analysis of Timed Systems [recurso electrónico] : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings / edited by Martin Fränzle, Nicolas Markey. por Fränzle, Martin [editor.] | Markey, Nicolas [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9884Origen: 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) .
|
|
|
|
|
|
|
|
|
|
|
|
Information Technologies in Medicine [recurso electrónico] : 5th International Conference, ITIB 2016 Kamie? ?l?ski, Poland, June 20 - 22, 2016 Proceedings, Volume 2 / edited by Ewa Pi?tka, Pawel Badura, Jacek Kawa, Wojciech Wieclawek. por Pi?tka, Ewa [editor.] | Badura, Pawel [editor.] | Kawa, Jacek [editor.] | Wieclawek, Wojciech [editor.] | SpringerLink (Online service). Series Advances in Intelligent Systems and Computing ; 472Origen: 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) .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|