Buchs, Didier.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Application and Theory of Petri Nets and Concurrency = 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings /
by:
Buchs, Didier.; SpringerLink (Online service); Carmona, Josep.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Application and Theory of Petri Nets and Concurrency = 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings /
by:
Buchs, Didier.; Carmona, Josep.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Computer science—Mathematics.
Data Structures and Information Theory.
Computer logic.
Algorithm Analysis and Problem Complexity.
Design and Analysis of Algorithms.
Information theory.
Discrete mathematics.
Software engineering.
Computer science.
Data Structures.
Data structures (Computer science).
Discrete Mathematics in Computer Science.
Algorithms.
Logics and Meanings of Programs.
Computer Science Logic and Foundations of Programming.