UPV

UPV

:: Iniciar sessió ::

Concolic Testing in Logic Programming (ICLP'15)

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 ]

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

mundo mio

0:10 · 2014

Digitalization pillars in water engineering models

Digitalization pillars in water engineering models

6:12 · 2025

2022-ADEQO-Tema 6-1

2022-ADEQO-Tema 6-1

60:,0 · 2023

Pérdida de sabor en tomate

Pérdida de sabor en tomate

9:24 · 2017

Lectura y Visualización Mallado Dominio Plano con Mathematica - v2017 - 1 de 2

Lectura y Visualización Mallado Dominio Plano con Mathematica - v2017 - 1 de 2

10:01 · 2018

M5_U5_01_Definición y asignación de laminado compuesto a piezacomponente

M5_U5_01_Definición y asignación de laminado compuesto a piezacomponente

5:37 · 2020

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