Vai al contenuto principale della pagina

Proceedings : Second International Workshop on Real-Time Computing Systems and Applications, October 25-27, 1995, Tokyo, Japan



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Proceedings : Second International Workshop on Real-Time Computing Systems and Applications, October 25-27, 1995, Tokyo, Japan Visualizza cluster
Pubblicazione: [Place of publication not identified], : IEEE Computer Society Press, 1995
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: Proceedings : Second International Workshop on Real-Time Computing Systems and Applications, October 25-27, 1995, Tokyo, Japan  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910872740403321
Lo trovi qui: Univ. Federico II
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