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

Envolvente de tensión en una línea de transmisión: ROE y longitud de onda

Envolvente de tensión en una línea de transmisión: ROE y longitud de onda

10:36 · 2023

MIDI 2

0:24 · 2023

Stop Motion

2:07 · 2015

Producción y postproducción de los créditos para la serie Gandía Horror Story Insectum

Producción y postproducción de los créditos para la serie Gandía Horror Story Insectum

1:54 · 2024

EXPLICACION_P4+P5

EXPLICACION_P4+P5

44:36 · 2024

Seccions de superfícies

Seccions de superfícies

9:38 · 2014

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