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

INMA JANSANA. JANSANA DE LA VILLA DE PAAAUW ARQUITECTES. EL CAMINO DE LA PLAYA Y EL PASEO MARITIMO DEL PRAT DE LLOBREGAT.

INMA JANSANA. JANSANA DE LA VILLA DE PAAAUW ARQUITECTES. EL CAMINO DE LA PLAYA Y EL PASEO MARITIMO DEL PRAT DE LLOBREGAT.

89:25 · 2019

Buzo cartesiano o medusa hidrodinámica

Buzo cartesiano o medusa hidrodinámica

5:36 · 2021

Diseño y dimensional de la red de transporte en un sistema de riego localizado. Datos de partida, topología y trazado

Diseño y dimensional de la red de transporte en un sistema de riego localizado. Datos de partida, topología y trazado

10:41 · 2017

Exposición stands _ Premios Instituto IDEAS 2010

Exposición stands _ Premios Instituto IDEAS 2010

5:31 · 2015

Nanomedicina para diagnosticar cáncer de próstata

Nanomedicina para diagnosticar cáncer de próstata

2:18 · 2024

Practica 2. Apartado 4.3. Motor DC

Practica 2. Apartado 4.3. Motor DC

17:55 · 2020

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