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.

A

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

C

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

M

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

S

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

T

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

Y

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 Wed Nov 20 00:12:13 2019 GMT.