Journal of research on computing in education
International Society for Technology in Education (ISTE), 2018
 Majalah, Jurnal, Buletin
Transactions on computational science XV ; special issue on advances in autonomic computing : formal engineering methods for nature-inspired computing systems
edited by Marina L. Gavrilova, C.J. Kenneth Tan, Cong-Vinh Phan
Springer-Verlag, 2012
 eBooks
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures
edited by Elena Giachino, Reiner Hähnle, Frank S. Boer and Marcello M. Bonsangue
Springer, 2013
 Buku Teks
Hildebrandt, Darlene Myers
Computing information directory:a comprehensive guide to the computing literature
Computing Information Directoy, 1995
 Buku Referensi
Arthur Tatnall, editor
Reflections on the history of computing: preserving memories and sharing stories
Springer, 2012
 eBooks