Vai al contenuto principale della pagina

Real-Time Applications, 1993 Workshop



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Real-Time Applications, 1993 Workshop Visualizza cluster
Pubblicazione: [Place of publication not identified], : IEEE Computer Society Press, 1993
Disciplina: 004/.33
Soggetto topico: Engineering & Applied Sciences
Computer Science
Note generali: Bibliographic Level Mode of Issuance: Monograph
Titolo autorizzato: Real-Time Applications, 1993 Workshop  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 996206161703316
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