語系
Vicario, Enrico.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal Modeling and Analysis of Timed Systems = 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings /
by:
Sankaranarayanan, Sriram.; Vicario, Enrico.; SpringerLink (Online service)
(書目-電子資源)
New frontiers in quantitative methods in informatics = 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017 : revised selected papers /
by:
Vicario, Enrico.; SpringerLink (Online service); Balsamo, Simonetta.; InfQ (Workshop) (2017 :); Marin, Andrea.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Optical pattern recognition.
Formal methods (Computer science)
Computer science- Mathematics
Computer simulation
Computer networks- Mathematical models
Computer Science.
Probability and Statistics in Computer Science.
Computer Communication Networks.
System Performance and Evaluation.
Image processing- Digital techniques.
Temporal automata
System analysis
Computer Applications.