UPV

UPV

:: Iniciar sessió ::

Concolic Testing in CLP

Divulgació de les activitats científiques, tecnològiques i artístiques ocorregudes en els tres campus de la UPV

[ Veure més vídeos de UPV TV ] [ Veure més vídeos didàctics ]

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

Concolic Testing

Concolic Testing

9:24 · 2024

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

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

10:09 · 2010

Futuro con la IA

Futuro con la IA

4:21 · 2024

Construcción de un programa ejecutable - I

Construcción de un programa ejecutable - I

10:34 · 2009

Datos Estadísticos

Datos Estadísticos

4:01 · 2020

Etude Schaefferienne EF1 RTPP

Etude Schaefferienne EF1 RTPP

1:39 · 2014

Filtrando los datos mostrados en la tabla dinámica

Filtrando los datos mostrados en la tabla dinámica

3:42 · 2013

CoppeliaSim (V-REP): Resolución de laberintos siguiendo la pared de un lado.

CoppeliaSim (V-REP): Resolución de laberintos siguiendo la pared de un lado.

10:52 · 2020

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