UPV

UPV

:: Sign in ::

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

[ More UPV TV videos ] [ See more educational videos ]

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

AMA-T3

2:48 · 2025

Malas hierbas de otoño-invierno en cítricos

Malas hierbas de otoño-invierno en cítricos

11:50 · 2022

Diseño y cálculo de las bases de soportes en tracción

Diseño y cálculo de las bases de soportes en tracción

9:56 · 2008

Organizar un proyecto según la norma UNE 157001

Organizar un proyecto según la norma UNE 157001

8:36 · 2022

Emulando estrategias de la naturaleza para diseñar estructuras de edificios optimizadas - Introducción

Emulando estrategias de la naturaleza para diseñar estructuras de edificios optimizadas - Introducción

5:59 · 2008

Presentación del libro OFICIO Y MEDIDA.VICENTE MANUEL VIDAL VIDAL MONOGRAFIASETSA-UPV#02.

Presentación del libro OFICIO Y MEDIDA.VICENTE MANUEL VIDAL VIDAL MONOGRAFIASETSA-UPV#02.

84:48 · 2022

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