OPAC

Your search

Language: in Document Type: Sin Especificar Year: 2014 Year: 1202

Sort by Score Title Year -

1-10 from 67 results (0.008 seconds)

Title: Internal program extraction in the calculus of inductive constructions
Language: in
Repository: 65
Subject: CALCULUS OF CONSTRUCTIONS

Acceder
Title: Predicting the performance of a parallel heuristic solution for the Steiner Tree Problem
Language: in
Repository: 65
Subject: PERFORMANCE ESTIMATION / PARALLEL / PETRI NET MODELS / STEINER TREE / COMBINATORIAL OPTIMIZATION

Acceder
Title: A GRASP algorithm for designing a Wide Area Network backbone
Language: in
Repository: 65
Subject: METAHEURISTICA / DISEÑO TOPOLOGICO / SURVIVABILITY

Acceder
Title: Quality management in MSIS
Language: in
Repository: 65
Subject: MULTI SOURCE INFORMATION SYSTEM / QUALITY MANAGEMENT / GESTION DE CALIDAD

Acceder
Title: An approach to subroutine elimination
Language: in
Repository: 65
Subject: BYTE CODE VERIFIERS / SUBROUTINES / JAVA CARD / CQQ / FORMAL PROOFS

Acceder
Title: An OCL - based semantics of system state modification primitives
Language: in
Repository: 65
Subject: SEMANTICS / SYSTEM STATE MODIFICATION PRIMITIVES / OCL / UML / USE TOOL

Acceder
Title: A generic version of scanf programmed in C5
Language: in
Repository: 65
Subject: Dynamic Typing / Dependent Pair Type / Generic Programming / Earley algorithm

Acceder
Title: The C5 Programming Language
Language: in
Repository: 65

Acceder
Title: Domination Invariant of a Diameter Constrained Network Reliability Model
Language: in
Repository: 65
Subject: Graph theory / Domination / Diameter-constrained network reliability

Acceder
Title: Adaptative sampling strategies for Quickselect
Language: in
Repository: 65

Acceder

« Previous 1 2 3 4 5 6 7 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search