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

Reconocimiento y algunas características físicas de los sustratos

Reconocimiento y algunas características físicas de los sustratos

11:27 · 2008

Seminario Habitar Cooperativo (I).

Seminario Habitar Cooperativo (I)."Derecho a la vivienda y cooperativas en cesión de uso".Julia Gomar- Julia Pineda (Crearqció Coop. V)

56:03 · 2020

Física 1. Lección 4. Problema 14 con carga interior

Física 1. Lección 4. Problema 14 con carga interior

7:34 · 2020

Tecnología de Máquinas ¿ 2020 ¿ TM - Clase 05 ¿ Tramo 07 de 11

Tecnología de Máquinas ¿ 2020 ¿ TM - Clase 05 ¿ Tramo 07 de 11

10:11 · 2020

Teorema de inclusión - exclusión en teoría de conjuntos

Teorema de inclusión - exclusión en teoría de conjuntos

6:17 · 2016

MOOC Office 365. Salir de un grupo

MOOC Office 365. Salir de un grupo

2:08 · 2019

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