Su búsqueda retornó 4 resultados.

Ordenar
Resultados
Graphical Models for Security [electronic resource] : 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers / edited by Peng Liu, Sjouke Mauw, Ketil Stolen.

por Liu, Peng [editor.] | Mauw, Sjouke [editor.] | Stolen, Ketil [editor.] | SpringerLink (Online service).

Series Security and Cryptology ; 10744Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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) .

Model-Driven Risk Analysis [recurso electrónico] : The CORAS Approach / by Mass Soldal Lund, Bjørnar Solhaug, Ketil Stølen.

por Lund, Mass Soldal [author.] | Solhaug, Bjørnar [author.] | Stølen, Ketil [author.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .M3.

Specification and development of interactive systems : focus on streams, interfaces, and refinement / Manfred Broy, Ketil Stølen.

por Broy, M, 1949- | Stølen, Ketil.

Series Monographs in computer scienceTipo de material: Texto Texto; Forma literaria: No es ficción ; Audiencia: Especializado; Idioma: Inglés Detalles de publicación: New York : Springer, c2001Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (2) Signatura topográfica: QA76.758 B76 2001, ...

Technology Research Explained [electronic resource] : Design of Software, Architectures, Methods, and Technology in General / by Ketil Stølen.

por Stølen, Ketil [author.] | SpringerLink (Online service).

Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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) .

Páginas

Con tecnología Koha