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
65
(3)
Show More
Show Less
Author
Show More
Show Less
Subject
Calculus of Inductive Constructions
(1)
Coq
(1)
Formal specification
(1)
GESTION DE CALIDAD
(1)
Interactive Mobile Devices
(1)
Java Micro Edition
(1)
MIDP 2.0
(1)
MULTI SOURCE INFORMATION SYSTEM
(1)
Mobile Information Device Profile
(1)
QUALITY MANAGEMENT
(1)
Show More
Show Less
Year
1202
(3)
2014
(3)
2003
(1)
2006
(1)
2008
(1)
Show More
Show Less
Document Type
Sin Especificar
(3)
Show More
Show Less
Language
in
(3)
Show More
Show Less
Your search
Query:
PHYSICAL PROPERTIES
Document Type:
Sin Especificar
Repository:
65
Year:
1202
Language:
in
Sort by
Score
Title
Year
-
1-3 from
3
results
(0.012 seconds)
Title:
Quality management in MSIS
Language:
in
Repository:
65
Subject:
MULTI SOURCE INFORMATION SYSTEM
/
QUALITY MANAGEMENT
/
GESTION DE CALIDAD
Acceder
Title:
A formal specification of the MIDP 2.0 security model
Language:
in
Repository:
65
Subject:
Calculus of Inductive Constructions
/
Formal specification
/
MIDP 2.0
/
Security
/
Coq
Acceder
Title:
A Certified Access Controller for JME-MIDP 2.0 enabled Mobile Devices
Language:
in
Repository:
65
Subject:
Java Micro Edition
/
Interactive Mobile Devices
/
Mobile Information Device Profile
Acceder
« Previous
1
Next »