| 000 | 01348naa a2200157 a 4500 | ||
|---|---|---|---|
| 003 | AR-LpUFIB | ||
| 005 | 20240131183044.0 | ||
| 007 | ta | ||
| 008 | 230201nuuuu xx dr 000 0 ||| d | ||
| 024 | 8 | _aDIF004156 | |
| 040 |
_aAR-LpUFIB _bspa _cAR-LpUFIB |
||
| 100 | 1 |
_aRegis, Germán E. _9255536 |
|
| 245 | 1 | 0 |
_aVerificación de propiedades temporales de diseños CommUnity : _bUn caso de estudio |
| 773 |
_7nnam _aCongreso Argentino de Ciencias de la Computación (11er : 2005 : Concordia) - Encuentro de Tesistas de Posgrado (8º : 2005 : Concordia) - Escuela Internacional de Informática CACIC (9ª : 2005 : Concordia) - Universidad Nacional de Entre Ríos - Jornadas Internacionales de Administración e Informática (4ª : 2005 : Concordia) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Ateneo de Profesores Universitarios de Computación (13er : 2005 : Concordia) - Workshop de Computación Gráfica Imágenes y Visualización (3er : 2005 : Concordia) - Workshop de Ingeniería de Software y Base de Datos (2º : 2005 : Concordia) - Workshop de Procesamiento Distribuido y Paralelo (6º : 2005 : Concordia) - Workshop de Agentes y Sistemas Inteligentes (6º : 2005 : Concordia) - Workshop de Tecnología Informática Aplicada en Educación (4º : 2005 : Concordia) _tCACIC 2005 [CD-ROM] _oDIF-02522 |
||
| 942 | _cCP | ||
| 999 |
_c846248 _d846248 |
||