Recursos de colección

RiuNet. Repositorio institucional de la Universitat de Valencia (89.348 recursos)

RiuNet es el Repositorio Institucional de la Universitat Politècnica de València, gestionado por la Biblioteca, cuyo objetivo es ofrecer acceso en Internet a la producción científica, académica y corporativa de la comunidad universitaria con la finalidad de aumentar su visibilidad y hacerla accesible y preservable.

Informes técnicos y otro material de investigación

Mostrando recursos 1 - 7 de 7

  1. Els boscos de la Safor

    Rodenas, Xavier; Sendra, Josep; Peiró, Jose Maria
    Un recorregut pels boscos de la Safor

  2. Els escriptors valencians i la llengua literària. I Jornades sobre llengua literària i els escriptors valencians actuals.

    Garcia Frasquet, Gabriel; Casanova, emili
    Actes de les primeres jornades sobre la llengua literària i els escriptors valencians actuals

  3. Els escriptors valencians i la llengua literària. I Jornades sobre llengua literària i els escriptors valencians actuals.

    Garcia Frasquet, Gabriel; Casanova, emili
    Actes de les primeres jornades sobre la llengua literària i els escriptors valencians actuals

  4. Els bolets de la Safor i zones limítrofes

    García Català, Santiago
    Un repàs per la diversitat fúngica de la Safor i les zones limítrofes. Conté una fitxa per a cada espècie on es troba el nom científic i vulgar, descripció, comestibilitat, hàbitat i observacions, junt a una foto i un mapa de localització.

  5. Don Paco, mestre de xicuelos i republicà

    Malonda Grau, Joan Baptista; Agulló Díaz, Mari Carmen
    HIstòria de Don Paco, Francisco Gregori Chuliá, mestre de Bellreguard afusellat l'any 1940. Un exemple paradigmàtic dels mestres republicans que implantaren pràctiques escolars innovadores i dignes de reconéixer i admirar. Aquest llibre tracta de recuperar la memòria de l'escola republicana i dels seus mestres.

  6. 77 Mirades a un mateix paisatge

    Ferrer Solivares, Enric; Monjo, Joan
    Llibre de poemes de Joan Monjo amb estudi introductori d'Enric Ferrer Solivares

  7. Abstract Diagnosis for tccp using a Linear Temporal Logic

    COMINI, MARCO; Titolo, Laura; Villanueva García, Alicia
    Automatic techniques for program verification usually suffer the well-known state explosion problem. Most of the classical approaches are based on browsing the structure of some form of model (which rep- resents the behavior of the program) to check if a given specification is valid. This implies that a part of the model has to be built, and some- times the needed fragment is quite huge. In this work, we provide an alternative automatic decision method to check whether a given property, specified in a linear temporal logic, is valid w.r.t. a tccp program. Our proposal (based on abstract interpreta- tion techniques)...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.