OPAC

Your search

Query: INFORMATION SYSTEMS" Year: 2014 Repository: 65 Document Type: Sin Especificar

Sort by Score Title Year -

21-30 from 60 results (0.021 seconds)

Title: Una semántica formal de primitivas de modificación de estados de sistemas orientados a objetos.
Language: Español
Repository: 65
Subject: OBJECT ORIENTED SYSTEMS / PRIMITIVAS DE MODIFICACION DE ESTADOS

Acceder
Title: Estimation and control techniques in power converters
Language: Inglés
Repository: 65

Acceder
Title: Exportación de servicios en el IVA
Language: Español
Repository: 65
Subject: DECRETO 220/98 / EXPORTACIÓN DE SERVICIOS / RECINTO ADUANERO / LEY 18.083

Acceder
Title: Análisis modal y transitorio de sistemas eléctricos con incorporación de energía eólica a gran escala
Language: Español
Repository: 65

Acceder
Title: Modelling cache expiration dates policies in content networks
Language: in
Repository: 65
Subject: Peer-to-peer networks / Mathematical programming / Optimization

Acceder
Title: Modelling and analysis of neurons coupled by electrical synapses
Language: Inglés
Repository: 65
Subject: BIOENGINEERING / NEUROSCIENCE

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: Formalizing alternating-time temporal logic in the coq proof assistant
Language: Inglés
Repository: 65
Subject: Alternating-time temporal logic (ATL)

Acceder
Title: Recovering historical climate records using artificial neural networks in GPU
Language: Inglés
Repository: 65
Subject: Artificial neural networks / Image processing / Climate records / GPU

Acceder
Title: Splitting in the simulation of the network creation process
Language: in
Repository: 65
Subject: Network reliability / Monte Carlo simulation / Splitting

Acceder

« Previous 1 2 3 4 5 6 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search