語系
Agha, Gul.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal modeling = actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
by:
Danvy, Olivier.; Agha, Gul.; SpringerLink (Online service); Meseguer, Jose.
(書目-語言資料,印刷品)
Quantitative evaluation of systems = 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016 : proceedings /
by:
Agha, Gul.; SpringerLink (Online service); Van Houdt, Benny.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings /
by:
SpringerLink (Online service); Agha, Gul.; Van Houdt, Benny.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Formal methods (Computer science)
Petri nets
Computer logic.
Computer Communication Networks.
System Performance and Evaluation.
Computer networks
Programming Techniques.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer simulation.
Probability and Statistics in Computer Science.
Mathematical statistics.
Simulation and Modeling.
Computer systems
Reliability (Engineering)
Computer system failures.
Computers.
Machine theory
Programming Languages, Compilers, Interpreters.
Computer software
Computation by Abstract Devices.