Vai al contenuto principale della pagina

Third International Workshop on Real-Time Computing Systems and Applications : proceedings, October 30-November 1, 1996, Seoul, Korea



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Third International Workshop on Real-Time Computing Systems and Applications : proceedings, October 30-November 1, 1996, Seoul, Korea Visualizza cluster
Pubblicazione: [Place of publication not identified], : IEEE Computer Society Press, 1996
Disciplina: 004/.33
Soggetto topico: Real-time data processing - Congresses
Engineering & Applied Sciences
Computer Science
Note generali: Bibliographic Level Mode of Issuance: Monograph
Titolo autorizzato: Third International Workshop on Real-Time Computing Systems and Applications : proceedings, October 30-November 1, 1996, Seoul, Korea  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 996204908903316
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Real time programming [[electronic resource] ] : languages, specification and verification / / R.K. Shyamasundar, S. Ramesh
Shyamasundar Rudrapatna <1950->
Real-time database systems [[electronic resource] ] : architecture and techniques / / edited by Kam-Yiu Lam, Tei-Wei Kuo
Formal Techniques in Real-Time and Fault-Tolerant Systems [[electronic resource] ] : 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings / / edited by Anders P. Ravn, Hans Rischel
Formal Techniques in Real-Time and Fault-Tolerant Systems [[electronic resource] ] : 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings / / edited by Mathai Joseph
Formal Techniques in Real-Time and Fault-Tolerant Systems [[electronic resource] ] : Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings / / edited by Jan Vytopil