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

Buscar en Internet. Información administrativa Perú

Buscar en Internet. Información administrativa Perú

2:27 · 2017

'Per' i 'per a'

'Per' i 'per a'

11:10 · 2009

Sistema de planos acotados: procedimiento de cálculo de movimientos de tierras en explanaciones inclinadas a pendiente constante

Sistema de planos acotados: procedimiento de cálculo de movimientos de tierras en explanaciones inclinadas a pendiente constante

11:55 · 2020

Jam a la playa

4:54 · 2023

01_DEFINICIÓN CAD

01_DEFINICIÓN CAD

20:28 · 2020

Equilibrio Hardy-Weinberg

Equilibrio Hardy-Weinberg

8:29 · 2015

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