InstitucionesPeriodo de publicación recogido
|
|
|
Desarrollo de titulaciones conjuntas en los sistemas de e-learning
Sandra Aguirre, Joaquín Salváchua, Juan Quemada, Antonio Fumero, Antonio Tapiador del Dujo
8th International Symposium on Computers in Education: proceedings : october 24-26th, León, Spain / coord. por Luis Panizo Alonso, Lidia Sánchez González, Baltasar Fernández Manjón, Martín Llamas Nistal, Vol. 2, 2006, ISBN 84-9773-302-9, págs. 81-88
Practical testing of LOTOS specifications witch infinite traces
S. Pavón, David Larrabeiti López, Juan Quemada
V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia. Vigo, junio de 1997 / coord. por Manuel J. Fernández Iglesias, Martín Llamas Nistal, José Juan Pazos Arias, 1997, ISBN 84-8158-065-1, págs. 293-306
Un nuevo enfoque para la verificación de relaciones basadas en la bisimulación
Manuel J. Fernández Iglesias, Martín Llamas Nistal, Juan Carlos Burguillo Rial, Juan Quemada
V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia. Vigo, junio de 1997 / coord. por Manuel J. Fernández Iglesias, Martín Llamas Nistal, José Juan Pazos Arias, 1997, ISBN 84-8158-065-1, págs. 307-320
Normalización de expresiones LOTOs bajo equivalencia de prueba
Juan Quemada, Martín Llamas Nistal, Manuel J. Fernández Iglesias
IX Simposium Nacional : Las Palmas de Gran Canaria, 21-23 de septiembre de 1994 / coord. por Manuel J. Betancor García, Rafael Pérez-Jiménez, Eugenio Jiménez Yguacel, Vol. 2, 1994, págs. 1174-1178
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. 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.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados