OPAC

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

Your search

Query: INFORMATION SYSTEMS" Repository: 65 Language: in

Sort by Score Title Year -

11-15 from 15 results (0.032 seconds)

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: Splitting in the simulation of the network creation process
Language: in
Repository: 65
Subject: Network reliability / Monte Carlo simulation / Splitting

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: Comparing assignment algorithms for the Multi-Depot VRP
Language: in
Repository: 65
Subject: MULTI-DEPOT VEHICLE ROUTING PROBLEM / TRANSPORT PROBLEM / PROBLEMAS DEL TRANSPORTE / CLUSTERING / RUTEO DE VEHICULOS

Acceder
Title: A multi-objective metaheuristic approach for the transit network design problem
Language: in
Repository: 65
Subject: Transit Network Design Problem / Multi-objective Combinatorial Optimization / GRASP

Acceder

« Previous 1 2 Next »