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

Match Empleo 2021. Leroy Merlín

Match Empleo 2021. Leroy Merlín

15:45 · 2021

7- Jornada Cátedra Maderamen. D.Francisco Arriaga Martitegui.Estabilidad global y nudos en estructuras de madera.

7- Jornada Cátedra Maderamen. D.Francisco Arriaga Martitegui.Estabilidad global y nudos en estructuras de madera.

59:50 · 2021

Diego Azqueta - Medio Ambiente y Desarrollo (parte 1 de 4)

Diego Azqueta - Medio Ambiente y Desarrollo (parte 1 de 4)

4:26 · 2014

Android 4.4 KitKat

Android 4.4 KitKat

13:33 · 2013

Com crear preguntes a JUMBLE?

Com crear preguntes a JUMBLE?

3:32 · 2017

Atoll - Predicciones

Atoll - Predicciones

9:09 · 2014

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