UPV

UPV

:: Iniciar sesión ::

Concolic Testing in CLP

Divulgación de las actividades científicas, tecnológicas y artísticas ocurridas en los tres campus de la UPV

[ Ver más vídeos de RTV ] [ Ver más Vídeos didácticos ]

Concolic Testing in Logic Programming (ICLP'15)

Concolic Testing in Logic Programming (ICLP'15)

37:22 · 2016

On the Completeness of Selective Unification in Concolic Testing of Logic Programs

On the Completeness of Selective Unification in Concolic Testing of Logic Programs

24:24 · 2016

Seguridad Vial. Accidentes in-itínere / in-misión.

Seguridad Vial. Accidentes in-itínere / in-misión.

10:09 · 2010

AVD. Unit 2. Concolic testing

AVD. Unit 2. Concolic testing

15:26 · 2017

Determinación en aguas de Carbonatos y Bicarbonatos

Determinación en aguas de Carbonatos y Bicarbonatos

6593:45 · 2010

Presentación de la asignatura de grafos, modelos y aplicaciones

Presentación de la asignatura de grafos, modelos y aplicaciones

2:22 · 2017

SEMINARIO INTERNACIONAL ESTRATEGIAS INTERVENCIÓN CONSERVACIÓN EN LOS CENTROS HISTORICOS. FERNANDO VEGAS, CAMILA MILETO

SEMINARIO INTERNACIONAL ESTRATEGIAS INTERVENCIÓN CONSERVACIÓN EN LOS CENTROS HISTORICOS. FERNANDO VEGAS, CAMILA MILETO

46:50 · 2016

Cartoon tutorial AHP

Cartoon tutorial AHP

11:47 · 2014

Implementación de una aplicación web JSF con gestión de eventos por cambio de valor

Implementación de una aplicación web JSF con gestión de eventos por cambio de valor

9:23 · 2016

Barnices 27-01-2014 parte2

Barnices 27-01-2014 parte2

: · 2015

VLC-CAMPUS

CAMPUS HABITAT

Universitat Politècnica de València © 2020 · Tel. (+34) 96 387 70 00