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
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
37
(89)
73
(78)
30
(31)
77
(13)
21
(12)
22
(8)
57
(8)
72
(6)
15
(5)
75
(5)
Show More
Show Less
Author
Bernardes, S. F.
(7)
Matos, M.
(6)
Batista, F.
(5)
Castro, P.
(5)
Pons, Claudia
(5)
De Giusti, Armando Eduardo
(4)
Estévez, Elsa Clara
(4)
Goubert, L.
(4)
Naiouf, Marcelo
(4)
Sánchez Palma, Pedro
(4)
Show More
Show Less
Subject
Ciencias Informáticas
(41)
Ciencias Económicas
(12)
Domínio/Área Científica::Ciências Sociais::Psicologia
(11)
Argentina
(10)
Domínio/Área Científica::Ciências Naturais::Ciências da Computação e da Informação
(9)
Ciencias Naturales
(8)
Domínio/Área Científica::Ciências Sociais::Economia e Gestão
(8)
Domínio/Área Científica::Ciências Sociais::Outras Ciências Sociais
(7)
Portugal
(6)
Psicología
(6)
Show More
Show Less
Year
2019
(97)
2020
(61)
2018
(50)
2016
(37)
2017
(35)
2015
(29)
2013
(26)
2014
(25)
2012
(17)
2004
(14)
Show More
Show Less
Document Type
Artículo
(269)
Show More
Show Less
Language
Inglés
(269)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Document Type:
Artículo
Language:
Inglés
Sort by
Score
Title
Year
-
241-250 from
269
results
(0.019 seconds)
Title:
A Novel CAD Tool for Electric Educational Diagrams
Author:
Ruiz Villalobos, Patricia
/
Dorronsoro Díaz, Bernabé
Language:
Inglés
Repository:
30
Subject:
electrical design
/
self-assessment technologies
/
automatic assessment tools
/
computeraided design
/
homework support system
Acceder
Title:
A Lightweight Approach for the Semantic Validation of Model Refinements
Author:
Pons, Claudia
/
García, Diego
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
model checking
/
model transformation
/
modeling
/
MOF
/
Object Constraint Language
/
OCL
/
refinement
/
testing
/
UML
/
validation
Acceder
Title:
Electronics prototypes in development of formal thoughts / Prototipos electrónicos en el desarrollo de pensamientos formales
Author:
Vergel Ortega, Mawency
/
Rincón Leal, Olga Lucy
/
Jaimes Contreras, Luis Alberto
Language:
Inglés
Repository:
77
Subject:
Learning
/
Prototypes
/
Differential Equations
/
Superior Education
/
Academics Performance
/
Aprendizaje
/
prototipos
/
Ecuaciones diferenciales
/
Educación superior
/
rendimiento académico
Acceder
Acceder
Title:
Electronics prototypes in development of formal thoughts / Prototipos electrónicos en el desarrollo de pensamientos formales
Author:
Vergel Ortega, Mawency
/
Rincón Leal, Olga Lucy
/
Jaimes Contreras, Luis Alberto
Language:
Inglés
Repository:
77
Subject:
Learning
/
Prototypes
/
Differential Equations
/
Superior Education
/
Academics Performance
/
Aprendizaje
/
prototipos
/
Ecuaciones diferenciales
/
Educación superior
/
rendimiento académico
Acceder
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
Acceder
Descargar
Title:
Re-writing the domestic role: transnational migrants’ households between informal and formal social protection in Ecuador and in Spain
Author:
Castellani, S.
/
Martín-Díaz, E.
Language:
Inglés
Repository:
73
Subject:
Transnational social protection
/
Intersectionality
/
Ecuador
/
Spain
/
Care
Acceder
Title:
Animating formal specifications with inheritance in a DL based framework
Author:
Sánchez Palma, Pedro
/
Letelier Torres, Patricio
/
Ramos Salavert, Isidro
Language:
Inglés
Repository:
72
Subject:
Requisitos de ingeniería
/
Métodos orientados a objetos
/
Herencia
/
Animación de especificaciones
/
Requirements Engineering
/
Object-Oriented Methods
/
Inheritance
/
Animated specifications
/
Lenguajes y Sistemas Informáticos
Acceder
Title:
The revised formal social support for autonomy and dependence in pain inventory (FSSADI_PAIN): confirmatory factor analysis and validity
Author:
Matos, M.
/
Bernardes, S. F.
/
Goubert, L.
/
Carvalho, H.
Language:
Inglés
Repository:
73
Subject:
Perceived social support
/
Autonomy
/
Dependence
/
Chronic pain
/
Older adults
/
Domínio/Área Científica::Ciências Médicas::Medicina Básica
/
Domínio/Área Científica::Ciências Médicas::Medicina Clínica
Acceder
Title:
The Portuguese Formal Social Support for Autonomy and Dependence in Pain Inventory (FSSADI_PAIN): A preliminary validation study.
Author:
Matos, M.
/
Bernardes, S. F.
Language:
Inglés
Repository:
73
Subject:
Social support
/
Functional autonomy
/
Pain
/
Measurement
Acceder
Title:
Older adults’ preferences for formal social support of autonomy and dependence in pain: development and validation of a scale
Author:
Bernardes, S. F.
/
Matos, M.
/
Goubert, L.
Language:
Inglés
Repository:
73
Subject:
Functional autonomy/dependence
/
Older adults
/
Pain
/
Scale development and validation
/
Social support preferences
/
Domínio/Área Científica::Ciências Médicas::Medicina Clínica
Acceder
« Previous
19
20
21
22
23
24
25
26
27
Next »