UPV

UPV

:: Iniciar sessió ::

Concolic Testing in CLP

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 ]

Concolic Testing in Logic Programming (ICLP'15)

Concolic Testing in Logic Programming (ICLP'15)

37:22 · 2016

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

Concolic Testing

9:24 · 2024

Seguridad Vial. Accidentes in-itínere / in-misión.

Seguridad Vial. Accidentes in-itínere / in-misión.

10:09 · 2010

Introducir datos de elementos de evaluación web AquaRating

Introducir datos de elementos de evaluación web AquaRating

5387:45 · 2013

ARM_KV2(4)

5:18 · 2023

Plataforma Jira III

Plataforma Jira III

2:58 · 2009

Tutorial Logic Pro X: Efectos MIDI: Arpeggiator

Tutorial Logic Pro X: Efectos MIDI: Arpeggiator

4:57 · 2015

Medallas XXV años de la UPV

Medallas XXV años de la UPV

64:06 · 2022

Transversal IV_Grupo 06_Stories_4.mp4

Transversal IV_Grupo 06_Stories_4.mp4

0:07 · 2021

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