Items where Subject is "QA0076 Computer software"

Up a level
Export as [feed] Atom [feed] RSS
Group by: Authors | Item Type
Jump to: A | C | M | S | T | Y
Number of items at this level: 6.


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


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


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


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

This list was generated on Sat Feb 4 00:09:44 2023 GMT.