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

Régimen Transitorio - Tema 2 Circuitos de 1er orden

Régimen Transitorio - Tema 2 Circuitos de 1er orden

56:51 · 2020

Presentación módulo 3 ¿Cómo hacer un guión?

Presentación módulo 3 ¿Cómo hacer un guión?

1:25 · 2016

Curso de ingeniería del software para sistemas embebidos. Modulo 16. Parte 1. Depuración del software.

Curso de ingeniería del software para sistemas embebidos. Modulo 16. Parte 1. Depuración del software.

12:29 · 2016

Programming example: Drawing Lines

Programming example: Drawing Lines

1:36 · 2019

Valoracion de inmuebles historico-artisticos

Valoracion de inmuebles historico-artisticos

11:43 · 2015

Práctica 6 Panorámica

Práctica 6 Panorámica

0:07 · 2014

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