![]() | Up a level |
- Library of Congress Subject Areas (6)
- Q Science (6)
- QA Mathematics (6)
- QA0075 Electronic computers. Computer science (6)
- QA0076 Computer software (6)
- QA0075 Electronic computers. Computer science (6)
- QA Mathematics (6)
- Q Science (6)
Article
Sam, Kin Meng and Chatwin, Chris (2019) Understanding Wechat users' motivations, attitudes and intention of reading promotional material. Journal of Information Technology Management, 30 (1). pp. 25-37. ISSN 1042-1319
Yan, Junhua, Du, Jun, Young, Yong, Chatwin, Christopher R, Young, Rupert C D and Birch, Philip (2018) Real time unmanned aerial vehicle tracking of fast moving small target on ground. The Journal of Electronic Imaging, 27 (5). 053010 1-12. ISSN 1017-9909
Conference Proceedings
Alabdullah, Bayan, Beloff, Natalia and White, Martin (2018) Rise of big data – issues and challenges. SCS-NCC' 2018 Saudi section 21st Saudi Computer Society National Computer Conference, Riyadh, Saudi Arabia, April 25-26, 2018. Published in: 2018 21st Saudi Computer Society National Computer Conference (NCC). 1-6. ISBN 9781538641118
Cordeiro, Lucas C, Kroening, Daniel and Schrammel, Peter (2018) Benchmarking of Java verification tools at the software verification competition (SV-COMP). The 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Florida, USA, Monday 5 November 2018. Published in: Software Engineering Notes. 43 (4) 55-56. Association for Computing Machinery ISSN 0163-5948
Malik, Viktor, Hruska, Martin, Schrammel, Peter and Vojnar, Tomas (2018) Template-based verification of heap-manipulating programs. fmcad.18 Formal Methods in Computer-Aided Design 2018, University of Texas, Austin, Texas, Oct 31 - Nov 2, 2018. Published in: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD 2018) Austin, Texas, USA, October 30 – November 2, 2018. 103-112. Institute of Electrical and Electronics Engineers ISBN 9780983567882
Trory, Anthony Michael, Howland, Kate and Good, Judith (2018) Designing for concreteness fading in primary computing. 17th Interaction Design and Children Conference, Trondheim, Norway, 19-22 June 2018. Published in: IDC '18 Proceedings of the 17th ACM Conference on Interaction Design and Children. 278-288. Association for Computing Machinery ISBN 9781450351522