Buchs, Didier.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [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)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.