UPV

UPV

:: Iniciar sesión ::

Concolic Testing in Logic Programming (ICLP'15)

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 ]

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 in CLP

Concolic Testing in CLP

15:55 · 2020

Reversible Computations in Logic Programming

Reversible Computations in Logic Programming

20:13 · 2020

Programming Logic and Languages: event-driven programming

Programming Logic and Languages: event-driven programming

4:37 · 2015

Presentación General

Presentación General

2:56 · 2005

Diseño de subunidades de riego localizado utilizando DimSub. Exportación de resultados de un sector para el dimensionado de la red de transporte

Diseño de subunidades de riego localizado utilizando DimSub. Exportación de resultados de un sector para el dimensionado de la red de transporte

8:42 · 2019

Video2G

9:50 · 2018

superposicion de música diegetica en montaje paralelo

superposicion de música diegetica en montaje paralelo

2:28 · 2015

Mech

7:52 · 2015

Sistema térmico orden 4: dimensionamiento de actuadores (rég. perm., poliedros)

Sistema térmico orden 4: dimensionamiento de actuadores (rég. perm., poliedros)

10:24 · 2021

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