OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Query: FORMAL LANGUAGES Year: 2011 Repository: 37 Document Type: Artículo Language: Inglés

Sort by Score Title Year -

1-5 from 5 results (0.019 seconds)

Title: A formal foundation for transformations in model driven engineering
Author: Giandini, Roxana Silvia
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ingeniería dirigida por modelos / model driven engineering

AccederDescargar
Title: A Formal Structure of Separation of Duty and Trust in Modelling Delegation Policy
Author: Ogundele, Oloruntoba Samuel / Adewale, O. S. / Alese, B. K. / Falaki, S. O.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Seguridad Computacional

AccederDescargar
Title: Formal Analysis of A Novel Mutual Authentication and Key Agreement Protocol
Author: Saraireh, Ja'afer M. al / Saraireh, Saleh S. / Saraireh, Mohammad S. / Nabhan, Mohammad M. al
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Authentication / 3G / Security / mobile station

AccederDescargar
Title: Fortran Refactorings for Legacy Systems
Author: Méndez, Mariano
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Fortran / Programming Languages and Software / software

AccederDescargar
Title: The seven ages of Fortran
Author: Metcalf, Michael
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / lenguaje de programación / array processing / data abstraction / object-oriented programming / optimization / history of computing

AccederDescargar

« Previous 1 Next »