Sökt på: Sökresultat
totalt 8 träffar
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, …
Mereology and the Sciences
This volume is the first systematic and thorough attempt to investigate the relation and the possible applications of mereology to contemporary science. It gathers contributions …
Mereology and the Sciences
This volume is the first systematic and thorough attempt to investigate the relation and the possible applications of mereology to contemporary science. It gathers contributions …
Open Problems in Philosophy of Sciences
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, …
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, …
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, …
Mereology and the Sciences
This volume is the first systematic and thorough attempt to investigate the relation and the possible applications of mereology to contemporary science. It gathers contributions …