語系
Agha, Gul.
概要
作品: | 2 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Quantitative evaluation of systems13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016 : proceedings /
by:
(1998 :); Agha, Gul.; SpringerLink (Online service); Van Houdt, Benny.
(書目-電子資源)
Formal modelingactors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
by:
Agha, Gul.; Danvy, Olivier.; Meseguer, Jose.; SpringerLink (Online service)
(書目-電子資源)
Coordination models and languages12th international conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010 : proceedings /
by:
(1998 :); Agha, Gul.; Clarke, Dave.; SpringerLink (Online service)
(書目-電子資源)
Concurrent objects and beyondpapers dedicated to Akinori Yonezawa on the occasion of his 65th birthday /
by:
Agha, Gul.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
High performance computing.
Computing Methodologies.
Electronic data processing
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Machine theory
Programming Techniques.
Computer software
Operating Systems.
Computer systems
Reliability (Engineering)
Petri nets
Computation by Abstract Devices.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Models and Principles.
Information Systems Applications (incl.Internet)
Parallel processing (Electronic computers)
Computer Science.
Computer Communication Networks.
Computer networks
System Performance and Evaluation.
Probability and Statistics in Computer Science.
Simulation and Modeling.
Object-oriented programming (Computer science)