語系
Bertogna, Marko.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Reliable software technologies - Ada-Europe 2016[electronic resource] :21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016 : proceedings /
by:
Bertogna, Marko.; Clark Conference ((2005 :); Pinho, Luis Miguel.; Quinones, Eduardo.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Multiprocessor scheduling for real-time systems[electronic resource] /
by:
Baruah, Sanjoy.; Bertogna, Marko.; Buttazzo, Giorgio.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Electronics and Microelectronics, Instrumentation.
Computer software
Multiprocessors.
Processor Architectures.
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Circuits and Systems.
Real-time data processing.
Engineering.
Computer Science.