UPV

UPV

:: Iniciar sessió ::

On the Completeness of Selective Unification in Concolic Testing of Logic Programs

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

The Effect of Logic Block Functionality on Area Efficiency

The Effect of Logic Block Functionality on Area Efficiency

9:57 · 2020

5.21 Search on the Internet. Exercise of electronic procedures in the Spanish Ministry of Education

5.21 Search on the Internet. Exercise of electronic procedures in the Spanish Ministry of Education

2:30 · 2024

Facilitation of Hands-on Learning to Foster Innovation in Universities by Tapio Koskinen at the 5th CARPE Conference

Facilitation of Hands-on Learning to Foster Innovation in Universities by Tapio Koskinen at the 5th CARPE Conference

107:44 · 2019

Invitación para Pep Torres

Invitación para Pep Torres

1:49 · 2014

RSE: sesión T12; 23 nov 2021

RSE: sesión T12; 23 nov 2021

56:28 · 2021

Relacion de aspecto

Relacion de aspecto

4:45 · 2015

Carlos Barahona - Combinando cuantitativa y cualitativa en la elaboración de estadí

Carlos Barahona - Combinando cuantitativa y cualitativa en la elaboración de estadí

11:08 · 2015

Poli [Papers]. REVISTAS DE INVESTIGACIÓN.Editadas por profesorado ETSA-UPV

Poli [Papers]. REVISTAS DE INVESTIGACIÓN.Editadas por profesorado ETSA-UPV

13:24 · 2024

Quédate 2018. Presentación.

Quédate 2018. Presentación.

4:01 · 2019

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