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
(23)
Show More
Show Less
Author
Show More
Show Less
Subject
Simulación
(2)
ABSTRATION SAFETY
(1)
ALGORITMO DE CERTIFICACION
(1)
AMÉRICA LATINA
(1)
ANTROPOLOGIA FORENSE
(1)
Agro-ecosistema
(1)
Algoritmos
(1)
Alternating-time temporal logic (ATL)
(1)
Art
(1)
Arte
(1)
Show More
Show Less
Year
2014
(23)
1202
(17)
2015
(5)
2010
(4)
2011
(3)
2006
(2)
2007
(2)
2008
(1)
2009
(1)
2012
(1)
Show More
Show Less
Document Type
Sin Especificar
(20)
Reporte
(2)
Artículo
(1)
Show More
Show Less
Language
Inglés
(23)
Show More
Show Less
Your search
Query:
INFORMATION SYSTEMS"
Language:
Inglés
Repository:
65
Year:
2014
Sort by
Score
Title
Year
-
1-10 from
23
results
(0.013 seconds)
Title:
Tree models :algorithms and information theoretic properties
Language:
Inglés
Repository:
65
Subject:
Algoritmos
/
Tree Models
Acceder
Title:
Almost global stability of dynamical systems
Language:
Inglés
Repository:
65
Acceder
Title:
On some dynamic properties of electrical power systems : sobre algunas propiedades dinámicas de los sistemas eléctricos de potencia
Language:
Inglés
Repository:
65
Acceder
Title:
Models and algorithms for the optimal design of bus routes in public transportation systems
Language:
Inglés
Repository:
65
Subject:
Transporte Público.
/
Diseño Óptimo de Recorridos y Frecuencia de Buses
/
TNDP
/
Programación Lineal Entera Mixta
/
Heurísticas
/
Caso de Prueba Real
/
Public Transportation
/
Optimal Design of Bus Routes and Frequencies
/
Mixed Integer Linear Programming
/
Heuristics
/
Real Test Case
Acceder
Title:
Pension systems in Latin America: concepts and measurements of coverage
Language:
Inglés
Repository:
65
Subject:
COBERTURA
/
SISTEMAS DE PENSIONES
/
AMÉRICA LATINA
Acceder
Title:
Formal analysis of security models for mobile devices, virtualization platforms and domain name systems
Language:
Inglés
Repository:
65
Subject:
Modelos formales
/
Prioridades de seguridad
/
Asistente de pruebas Coq
/
JME-MIDP
/
Virtualización
/
DNSSEC
Acceder
Title:
UML 2.0 interactions with OCL/RT constraints
Language:
Inglés
Repository:
65
Subject:
Behavioral specification
/
Real-time systems
/
Unified Modeling Language
/
UML
Acceder
Title:
Estimation and control techniques in power converters
Language:
Inglés
Repository:
65
Acceder
Title:
Modelling and analysis of neurons coupled by electrical synapses
Language:
Inglés
Repository:
65
Subject:
BIOENGINEERING
/
NEUROSCIENCE
Acceder
Title:
Formalizing alternating-time temporal logic in the coq proof assistant
Language:
Inglés
Repository:
65
Subject:
Alternating-time temporal logic (ATL)
Acceder
« Previous
1
2
3
Next »