[Lecture Notes in Computer Science] NASA Formal Methods Volume 11460 (11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings) || Data Independence for Software Transactional Memory
- 作者Badger, Julia M.; Rozier, Kristin Yvonne
- 文件大小441.77KB
- 发表时间2019
- DOI10.1007/978-3-030-20652-9_18
- 页码263-279
同作者推荐
Visualizing the Semantic Web ||Geroimenko, Vladimir; Chen, Chaomei · 2006
Visualizing the Semantic Web ||Geroimenko, Vladimir; Chen, Chaomei · 2003
Dictionary of XML Technologies and the Semantic Web ||Geroimenko, Vladimir · 2004
[Springer Series on Cultural Computing] Augmented Reality Art ||Geroimenko, Vladimir · 2014
[Springer Series on Cultural Computing] Augmented Reality Art ||Geroimenko, Vladimir · 2018
Visualizing Information Using SVG and X3D || Visualizing Complex NetworksGeroimenko, Vladimir; Chen, Chaomei · 2005
Augmented Reality Games I (Understanding the Pokémon GO Phenomenon) ||Geroimenko, Vladimir · 2019
Augmented Reality Games II (The Gamification of Education, Medicine and Art) ||Geroimenko, Vladimir · 2019