UPV

UPV

:: Sign in ::

Concolic Testing in CLP

Divulgación de las actividades científicas, tecnológicas y artísticas ocurridas en los tres campus de la UPV

[ More UPV TV videos ] [ See more educational videos ]

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

Derivatives of the inverse functions of sine, cosine, and tangent.

Derivatives of the inverse functions of sine, cosine, and tangent.

8:,0 · 2023

Iterative Algorithm Analysis: insertion sort

Iterative Algorithm Analysis: insertion sort

7:42 · 2024

AmpereHG_4: Vector diferencial de longitud en los puntos de la circunferencia exterior sobre los que se mostraba el campo magnético en la animación AmpereHG_3

AmpereHG_4: Vector diferencial de longitud en los puntos de la circunferencia exterior sobre los que se mostraba el campo magnético en la animación AmpereHG_3

0:03 · 2018

CONFERENCIA QUO VADIS

CONFERENCIA QUO VADIS

: · 2015

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

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

10:04 · 2020

Gráficas 2D. Curvas en coordenadas cartesianas (Forma explícita) con Mathematica

Gráficas 2D. Curvas en coordenadas cartesianas (Forma explícita) con Mathematica

7:08 · 2009

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