1
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops [E-Book] : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers /
Table of Contents: “...CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications -- What Does It Mean to Inhibit an Action? A Critical Discussion of Benjamin Libet's Veto in a Recent Study -- Regret from cognition to code...”

Full text 
Favorites
Saved in:
2
Proceedings of the 5th International Conference on Electrical Engineering and Information Technologies for Rail Transportation (EITRT) 2021 [E-Book] : Rail Transportation System Safety and Maintenance Technologies /
An, Min
2022

Full text 
Favorites
Saved in:
3
Proceedings of the 5th International Conference on Electrical Engineering and Information Technologies for Rail Transportation (EITRT) 2021 [E-Book] : Rail Transportation Information Processing and Operational Management Technologies /
An, Min
2022

Full text 
Favorites
Saved in:
4
Proceedings of the 5th International Conference on Electrical Engineering and Information Technologies for Rail Transportation (EITRT) 2021 [E-Book] : Novel Traction Drive Technologies of Rail Transportation /
An, Min
2022

Full text 
Favorites
Saved in:
5
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops [E-Book] : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers /
Table of Contents: “... study -- Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence -- An Interdisciplinary Model for Graphical Representation -- Information Retrieval from Semantic Memory: BRDL-based Knowledge Representation and Maude-based...”

Full text 
Favorites
Saved in:

Narrow Search Results