Francisco Javier Oliver Villarroya

• Artículos de revistas (1)
• Colaboraciones en obras colectivas (4)
• Tesis (1)
• Tesis dirigidas (2)

• Artículos de revistas

  • Seleccionado

    Esquemas de tratamiento secuencial

    Francisco Javier Oliver Villarroya

    Ensayos: Revista de la Facultad de Educación de Albacete, ISSN-e 2171-9098, ISSN 0214-4824, Nº. 5, 1991, págs. 169-182

    • Texto completo
    

• Colaboraciones en obras colectivas

  • Seleccionado

    ¿Son adecuadas las encuestas que se usan en la universidad para recoger la opinión de los estudiantes, profesores y empleadores?

    José Miguel Carot Sierra , Francisco Javier Oliver Villarroya, Miguel Angel Fernández Prada

    Evaluación de la Calidad de la Investigación y de la Educación Superior: libro de resúmenes XIV FECIES / coord. por Tamara Ramiro Sánchez, María Teresa Ramiro Sánchez, María Paz Bermúdez Sánchez, 2017, ISBN 978-84-6972-781-2, págs. 172-172

    
  • Seleccionado

    An implementation of the MEB and CEB analysis for CSP

    María Luisa Llorens Agost, Francisco Javier Oliver Villarroya, Josep Silva, Salvador Tamarit

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 / Paqui Lucio (ed. lit.) , Ginés Damián Moreno Valverde (ed. lit.) , Ricardo Peña Marí (ed. lit.) , 2009, ISBN 978-84-692-4600-9, págs. 89-98

    
  • Seleccionado

    A semantics for tracing CSP

    María Luisa Llorens Agost, Francisco Javier Oliver Villarroya, Josep Silva, Salvador Tamarit

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 / Paqui Lucio (ed. lit.) , Ginés Damián Moreno Valverde (ed. lit.) , Ricardo Peña Marí (ed. lit.) , 2009, ISBN 978-84-692-4600-9, págs. 287-302

    
  • Seleccionado

    Immersió lingüística, cultural i acadèmica per a estudiants de Telecomunicació

    Francisco Javier Oliver Villarroya, Núria Llin Micó, María Angeles Lence Guilabert

    UNIVEST 09 [Recurs electrònic]: II Congrés Internacional "Claus per a la implicació de l'estudiant a la universitat" : Girona, 11-13/11/2009 / - AA.VV. (aut.), 2009, ISBN 978-84-8458-302-8

    • Resumen
    • Texto completo
    

• Tesis

  • Seleccionado

    Una extensión del lamda-cálculo para la modelización de procesos concurrentes

    Francisco Javier Oliver Villarroya

    Tesis doctoral dirigida por Isidro Ramos Salavert (dir. tes.) . Universitat Politècnica de València (1996).

    • Resumen
    

• Tesis dirigidas

  • Seleccionado

    Modelización de la concurrencia en sistemas distribuidos multiagente: autómatas cooperativos

    Carlos Herrero

    Tesis doctoral dirigida por Francisco Javier Oliver Villarroya (dir. tes.). Universitat Politècnica de València (2015).

    • Resumen
    • Tesis en acceso abierto en: RiuNet
    
  • Seleccionado

    Redes reconfigurables. Modelización y verificación

    María Luisa Llorens Agost

    Tesis doctoral dirigida por Francisco Javier Oliver Villarroya (dir. tes.). Universitat Politècnica de València (2003).

    • Resumen
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.