OPAC

Your search

Subject: A* Language: Inglés Year: 2014 Document Type: Sin Especificar

Sort by Score Title Year -

111-120 from 148 results (0.076 seconds)

Title: Decoupling and context in new media art
Language: Inglés
Repository: 65
Subject: Art / New media art / Interactive art / HCI / Human-computer interaction / Computer music / Neo-colonial theory / Politics / Cognitive capitalism / Arte / Arte y nuevos medios / Arte interactivo / Interacción persona-computadora / IPC / Música por computadora / Teoría neocolonial / Política / Capitalismo cognitivo

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: A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis
Language: Inglés
Repository: 65
Subject: PROGRAMACION FUNCIONAL / ALF / TEORIA DE TIPOS / TYPE THEORY / FUNCTIONAL PROGRAMMING

Acceder
Title: GRASP heuristics for Wide Area Network design
Language: Inglés
Repository: 65
Subject: TOPOLOGICAL DESIGN / METAHEURISTIC / ACCESS NETWORK / BACKBONE NETWORK / SURVIVABILITY / GRASP / RNN

Acceder
Title: Tree models :algorithms and information theoretic properties
Language: Inglés
Repository: 65
Subject: Algoritmos / Tree Models

Acceder
Title: Towards secure distributed computations
Language: Inglés
Repository: 65
Subject: COMPUTACION DISTRIBUIDA / TYPE SAFE / ABSTRATION SAFETY / ALGORITMO DE CERTIFICACION / PCR / MARSHALLING

Acceder
Title: Hfusion : a fusion tool based on acid rain plus extensions
Language: Inglés
Repository: 65
Subject: Deforestation / Acid Rain / Fusion / Hylomorphism / Paramorphism / Functional Programming Languages / Generic Programming

Acceder
Title: Ant Colony Optimization para la resolución del Problema de Steiner Generalizado
Language: Inglés
Repository: 65
Subject: Ant Colony Optimization / Computación de alto desempeño / Problema de Steiner / Metaheurísticas

Acceder
Title: Agent-based methodology for developing agroecosystems simulations
Language: Inglés
Repository: 65
Subject: Sistemas Multi-Agente / Agro-ecosistema / Desarrollo de Software / Simulación

Acceder
Title: Topological properties for a wide area network planning and a dynamic programming approach for designing the access network
Language: Inglés
Repository: 65
Subject: Topological Design / Access Network / Backbone Network / Dynamic Programming with State-Space Relaxation / Diseño Topológico / Red de Acceso / Red Dorsal / Programación Dinámica con Relajación del Espacio de Estados

Acceder

« Previous 7 8 9 10 11 12 13 14 15 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search