Search research publications and outputs

  1. Other report › Research
  2. A Z Patterns Catalogue I: specification and refactorings, v0.1

    Stepney, S., Polack, F. & Toyn, I., 1 Jan 2003, Department of Computer Science, University of York. (Department of Computer Science Technical Report series; vol. YCS-2003-349)

    Research output: Book/ReportOther report

  3. A Z Patterns Catalogue II: definitions and laws, v0.1

    Valentine, S. H., Stepney, S. & Toyn, I., 1 Oct 2004, Department of Computer Science, University of York. (Department of Computer Science Technical Report; vol. YCS-2004-383)

    Research output: Book/ReportOther report

  4. A search-based approach to the automated design of security protocols

    Hao, C., Clark, JA. & Jacob, J. L., 2004, YCS-2004-376 ed. Department of Computer Science, University of York. 102 p. (York Computer Science Technical Report Series ("Yellow Reports"); vol. YCS , no. YCS-2004-376)

    Research output: Book/ReportOther report

  5. A survey of authentication protocol literature: Version 1.0

    Clark, J. A. & Jacob, J. L., 1997, Citeseer.

    Research output: Book/ReportOther report

  6. An Evaluation of the Ten15 Persistent Store

    Blanchard, T. D. & McDermid, J. A., 1992, Department of Computer Science, University of York. (York Computer Science Technical Report Series ("Yellow Reports"); no. YCS-1992-187)

    Research output: Book/ReportOther report

  7. Analysis of Dependable Computing Systems

    Nicholson, M. & McDermid, J. A., 1994, Department of Computer Science, University of York. (Computer Science Technical Report Series; vol. YCS-1994-245)

    Research output: Book/ReportOther report

  8. Automatic test-data generation for testing simulink models

    Zhan, Y. & Clark, J. A., 2004, Department of Computer Science, University of York. 16 p. (York Computer Science Technical Report ; vol. YCS, no. YCS-2004-382)

    Research output: Book/ReportOther report

  9. Breaking the Model: finalisation and a taxonomy of security attack

    Stepney, S., Clark, J. A. & Chivers, H., 2004, Department of Computer Science, University of York. 20 p. (York Computer Science Technical Report; vol. YCS, no. YCS-2004-371)

    Research output: Book/ReportOther report

  10. CSP/FDR2 to Handel-C translation

    Stepney, S., 1 Jun 2003, The Department of Computer Science, University of York. (Department of Computer Science Technical Report; vol. YCS-2003-357)

    Research output: Book/ReportOther report

  11. Formalizing anonymity: A review

    Wright, J., Stepney, S., Clark, J. A. & Jacob, J. L., 2005, YCS-2005-389 ed. Department of Computer Science, University of York. 64 p. (York Computer Science Technical Report Series; vol. YCS, no. YCS-2005-389)

    Research output: Book/ReportOther report

  12. Incremental Type Checking in Z

    Vasconcelos, A. M. L. D. & McDermid, J. A., 1 Dec 1992, Department of Computer Science, University of York. (Computer Science Technical Report Series; vol. YCS-1992-185)

    Research output: Book/ReportOther report

  13. Security Zonal Analysis

    Srivratanakul, T., Clark, J. A. & Polack, F., 2004, Department of Computer Science, University of York. 43 p. (York Computer Science Technical Report)

    Research output: Book/ReportOther report

  14. Situation coverage – a coverage criterion for testing autonomous robots

    Alexander, R., Hawkins, H. R. & Rae, A. J., Feb 2015, Department of Computer Science, University of York. 21 p.

    Research output: Book/ReportOther report

  15. The DeCCo Project Papers I: Z Specification of Pasp

    Stepney, S. & Nabney, I. T., 1 Jun 2003, Department of Computer Science, University of York. (Computer Science Technical Report series; vol. YCS-2002-358)

    Research output: Book/ReportOther report

  16. The DeCCo Project Papers II: Z Specification of Asp

    Stepney, S. & Nabney, I. T., 1 Jun 2003, Department of Computer Science, University of York. (Computer Science Technical Report; vol. YCS-2002-359)

    Research output: Book/ReportOther report

  17. The DeCCo Project Papers III: Z Specification of Compiler Templates

    Stepney, S. & Nabney, I. T., 1 Jun 2003, Department of Computer Science, University of York. (Computer Science Technical Report Series; vol. YCS-2002-361)

    Research output: Book/ReportOther report

  18. The DeCCo Project Papers IV: Z Specification of Linker and Hexer

    Stepney, S., 1 Jun 2003, Department of Computer Science, University of York. (Computer Science Technical Report Series; vol. YCS-2002-361)

    Research output: Book/ReportOther report

  19. The DeCCo Project Papers V: Compiler Correctness Proofs

    Stepney, S., 1 Jun 2003, Department of Computer Science, University of York. (Computer Science Technical Report series; vol. YCS-2003-362)

    Research output: Book/ReportOther report

  20. The DeCCo Project Papers VI: Z to Prolog DCTG translation guidelines

    Stepney, S., 1 Jun 2003, Department of Computer Science, University of York. (Computer Science Technical Report; vol. YCS-2003-363)

    Research output: Book/ReportOther report

  21. The Probe Project

    Blanchard, T. D. & McDermid, J. A., 1992, The Department of Computer Science, University of York. (York Computer Science Technical Report Series ("Yellow Reports"); no. YCS-1992-167)

    Research output: Book/ReportOther report

  22. Writing Effective Security Abuse Cases

    Srivratanakul, T., Clark, J. A. & Polack, F., 2004, Department of Computer Science, University of York. 52 p. (York Computer Science Technical Report; vol. YCS, no. YCS-2004-375)

    Research output: Book/ReportOther report

  23. \Isetl-sc \Linda: Parallel Programming with Bags

    Douglas, A., Wood, A. & Rowstron, A., 1995, Department of Computer Science, University of York. (Computer Science Technical Report Series; vol. YCS-1995-257)

    Research output: Book/ReportOther report

  24. Commissioned report › Research
  25. Interpretations of Probability, Nonstandard Analysis and Confirmation Theory

    Cussens, J., 1991, King's College, London.

    Research output: Book/ReportCommissioned report

  26. Learning Worst-Case Execution Time Loop Bounds with Inductive Logic Programming

    Kazakov, D., Bate, I., Muggleton, S. (ed.) & Otero, R. (ed.), 1 Aug 2006, Santiago de Compostela: University of Corunna.

    Research output: Book/ReportCommissioned report

  27. Mapping employment focussed services for disabled people

    Arksey, H., Thornton, P. & Williams, J., 2002, London: Social Research Branch, Department for Work and Pensions. (Department for Work and Pensions In-house Report)

    Research output: Book/ReportCommissioned report

  28. Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, ASSURE '13, San Francisco, California, USA, May 19, 2013

    Denney, E. (ed.), Habli, I. (ed.), Kelly, T. (ed.), Knight, J. C. (ed.) & Pai, G. (ed.), 2013, IEEE Computer Society Press.

    Research output: Book/ReportCommissioned report

  29. Security Assurance Cases: Motivation and the State of the Art

    Alexander, R., Hawkins, R. D. & Kelly, T., Apr 2011, Department of Computer Science, University of York.

    Research output: Book/ReportCommissioned report

  30. Therapeutic community effectiveness: a systematic international review of therapeutic community treatment for people with personality disorders and mentally disordered offenders

    Lees, J., Manning, N. & Rawlings, B., Oct 1999, York: University of York. 124 p.

    Research output: Book/ReportCommissioned report

  31. Women's Current Pension Arrangements: Information from the General Household Survey

    Hutton, S., Williams, J. & Kennedy, S., 1997, Department of Social Security, London: Social Research Branch. (DSS In house report)

    Research output: Book/ReportCommissioned report

  32. Anthology › Research
  33. Narrating Complexity

    Walsh, R. (ed.) & Stepney, S. (ed.), 2018, London: Springer.

    Research output: Book/ReportAnthology

  34. Proceedings of the Tenth Workshop on Energy Methods in Computer Vision and Pattern Recognition

    Pelillo, M. (ed.) & Hancock, E. R., Mar 2018, Berlin: Springer. 500 p. (Lecture Notes in Computer Science; vol. 10746)

    Research output: Book/ReportAnthology

  35. Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications: 19th Iberoamerican Congress, CIARP 2014, Puerto Vallarta, Mexico.

    Bayro Corrochano, E. (ed.) & Hancock, E. R. (ed.), 3 Dec 2014, Heidelberg: Springer. 1050 p. (Lecture Note in Computer Science; vol. 8827)

    Research output: Book/ReportAnthology

  36. Similarity-Based Pattern Recognition - Second International Workshop, SIMBAD 2013, York, UK, July 3-5, 2013. Proceedings

    Hancock, E. R. & Pelillo, M., 2013, Springer Berlin / Heidelberg. (Lecture Notes in Computer Science,; vol. 7953)

    Research output: Book/ReportAnthology

  37. Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings

    Bai, X., Hancock, E. R. (ed.), Ho, T. K. (ed.), Wilson, R. C. (ed.), Biggio, B. (ed.) & Robles-Kelly, A., 2018, SPRINGER. 540 p. (Lecture Notes in Computer Science)

    Research output: Book/ReportAnthology

  38. Book › Research
  39. 3D Imaging, Analysis and Applications

    Pears, N. E. (ed.), Liu, Y. (ed.) & Bunting, P. (ed.), 2012, Springer. 500 p.

    Research output: Book/ReportBook

  40. Absent fathers?

    Bradshaw, J., Stimson, C., Skinner, C. & Williams, J., 1999, London: Routledge. 258 p.

    Research output: Book/ReportBook

  41. Advances in Artificial Life: 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005, Proceedings

    Capcarrère, M. S., Freitas, A. A., Bentley, P. J., Johnson, C. G. & Timmis, J., 2005, Springer. (Lecture Notes in Artificial Intelligence; vol. 3630)

    Research output: Book/ReportBook

  42. An information theoretic approach to learning generative graph prototypes

    Han, L., Hancock, E. R. & Wilson, R. C., 2011, Springer. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

    Research output: Book/ReportBook

  43. Analysing Systems: determining requirements for object-oriented development

    MacLean, R., Stepney, S., Smith, S., Tordoff, N., Gradwell, D., Hoverd, T. & Katz, S., 1994, Prentice Hall.

    Research output: Book/ReportBook

  44. Animal Social Networks

    Krause, J., James, R., Franks, D. W. & Croft, D. P., 2015, Oxford: Oxford University Press.

    Research output: Book/ReportBook

  45. Applications of functional programming

    Runciman, C. (ed.) & Wakeling, D. (ed.), 1995, UCL Press.

    Research output: Book/ReportBook

  46. Applied Computing: Second Asian Applied Computing Conference, AACC 2004, Kathmandu, Nepal, October 29-31, 2004. Proceedings

    Manandhar, S. (ed.), Austin, J. (ed.), Desai, U. B. (ed.), Oyanagi, Y. (ed.) & Talukder, A. K. (ed.), 2004, Springer. (Lecture Notes in Computer Science; vol. 3285)

    Research output: Book/ReportBook

  47. Architectural Design

    Buxton, J. N., McDermid, J. A. & McDermid, J. A. (ed.), 1991, Oxford: Butterworth Heinemann.

    Research output: Book/ReportBook

  48. Artificial Immune Systems: Second International Conference, ICARIS 2003, Edinburgh, UK, September 1-3, 2003, Proceedings

    Timmis, J. (ed.), Bentley, P. J. (ed.) & Hart, E. (ed.), 2003, Springer. (Lecture Notes in Computer Science; vol. 2787)

    Research output: Book/ReportBook

  49. Artificial Immune Systems: Proceedings of the Third International Conference, ICARIS 2004, Catania, Sicily,

    Nicosia, G., Cutello, V., Bentley, P. & Timmis, J., 2004, Springer. (LNCS; vol. 3239)

    Research output: Book/ReportBook

  50. Artificial Immune Systems: 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010. Proceedings

    Hart, E. (ed.), McEwan, C. (ed.), Timmis, J. (ed.) & Hone, A. (ed.), 2010, Springer. (Lecture Notes in Computer Science; vol. 6209)

    Research output: Book/ReportBook

  51. Artificial Immune Systems, 8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009. Proceedings

    Andrews, P. S. (ed.), Timmis, J. (ed.), Owens, N. D. L. (ed.), Aickelin, U. (ed.), Hart, E. (ed.), Hone, A. (ed.) & Tyrrell, A. M. (ed.), 2009, Springer. (Lecture Notes in Computer Science; vol. 5666)

    Research output: Book/ReportBook

  52. Artificial Immune Systems: A New Computational Approach

    Castro, L. N. D. & Timmis, J., 2002, Springer.

    Research output: Book/ReportBook

  53. Artificial Immune Systems: Second International Conference, ICARIS 2003

    Timmis, J., Bentley, P. & Hart., E., 2003, Springer. (LNCS; vol. 2787)

    Research output: Book/ReportBook

  54. Artificial immune systems - a new computational intelligence paradigm

    Castro, L. N. D. & Timmis, J., 2002, Springer.

    Research output: Book/ReportBook

  55. Communicating Process Architectures 2008

    Welch, P. H. (ed.), Stepney, S. (ed.), Polack, F. (ed.), Barnes, F. R. M. (ed.), McEwan, A. A. (ed.), Stiles, G. S. (ed.), Broenink, J. F. (ed.) & Sampson, A. T. (ed.), 2008, IOS Press. (Concurrent Systems Engineering Series; vol. 66)

    Research output: Book/ReportBook

  56. Community Equipment: Use and needs of disabled children and their families

    Beresford, B., Williams, J. & Lawton, D., 2002, University of York, York: Social Policy Research Unit.

    Research output: Book/ReportBook

  57. Computational Matter

    Stepney, S. (ed.), Rasmussen, S. (ed.) & Amos, M. (ed.), 1 Aug 2018, Springer. 348 p. (Natural Computing )

    Research output: Book/ReportBook

  58. Concurrent and real-time programming in Ada

    Burns, A. & Wellings, A. J., 2007, Cambridge University Press. 467 p.

    Research output: Book/ReportBook

  59. Disability Survey 2000: Survey of young people with a disability and sport

    Finch, N., Lawton, D., Williams, J. & Sloper, P., 2001, London: Sport England.

    Research output: Book/ReportBook

  60. Distributed, Parallel and Biologically Inspired Systems: 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

    Hinchey, M. (ed.), Kleinjohann, B. (ed.), Kleinjohann, L. (ed.), Lindsay, P. A. (ed.), Rammig, F. J. (ed.), Timmis, J. (ed.) & Wolf, M. (ed.), 2010, Springer. (IFIP Advances in Information and Communication Technology; vol. 329)

    Research output: Book/ReportBook

  61. Distributed, embedded and real-time java systems

    Higuera-Toledano, M. T. & Wellings, A. J., 2012, SPRINGER-VERLAG BERLIN. 378 p.

    Research output: Book/ReportBook

  62. Doing Better Statistics in Human-Computer Interaction

    Cairns, P. A., Feb 2019, Cambridge University Press. 250 p.

    Research output: Book/ReportBook

  63. Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

    George, C. (ed.), Liu, Z. (ed.) & Woodcock, J. (ed.), 2007, Springer. (Lecture Notes in Computer science; vol. 4710)

    Research output: Book/ReportBook

  64. Dynamic Resource Allocation in Embedded, High-Performance and Cloud Computing

    Soares Indrusiak, L., Dziurzanski, P. & Singh, A. K., Oct 2016, Delft: River Publishers. 178 p.

    Research output: Book/ReportBook

  65. ESEC '89: 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings

    Ghezzi, C. (ed.) & McDermid, J. A. (ed.), 1989, Springer. (Lecture Notes in Computer science; vol. 387)

    Research output: Book/ReportBook

  66. ESEC'89 — Proceedings of the Second European Conference on Software Engineering

    Ghezzi, C. & McDermid, J. A., 1989, Springer-verlag. (Lecture Notes in Computer Science)

    Research output: Book/ReportBook

  67. Education and Training for Safety-Critical Systems Practitoners

    McDermid, J. A. & Wichmann, B. A. (ed.), 1992, John Wiley & Sons.

    Research output: Book/ReportBook

  68. Emotion in Video Game Soundtracking

    Williams, D. A. H. & Lee, N., 21 Mar 2018, 1 ed. New York: Springer. 180 p. (International Series on Computer Entertainment and Media Technology)

    Research output: Book/ReportBook

  69. FM 2009: Formal Methods, Second World Congress

    Cavalcanti, A. (ed.) & Dams, D. (ed.), 2009, Springer. (Lecture Notes in Computer Science; vol. 5850)

    Research output: Book/ReportBook

  70. FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

    Wing, J. M. (ed.), Woodcock, J. (ed.) & Davies, J. (ed.), 1999, Springer. (Lecture Notes in Computer Science)

    Research output: Book/ReportBook

  71. FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

    Wing, J. M. (ed.), Woodcock, J. (ed.) & Davies, J. (ed.), 1999, Springer. (Lecture Notes in Computer Science; vol. 1709)

    Research output: Book/ReportBook

  72. FME '93 - Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings

    Woodcock, J. (ed.) & Larsen, P. G. (ed.), 1993, Springer. (Lecture Notes in Computer Science; vol. 670)

    Research output: Book/ReportBook

  73. Feature point matching using a hermitian property matrix

    Haseeb, M. & Hancock, E. R., 2011, Springer. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

    Research output: Book/ReportBook

  74. Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

    Jones, C. B. (ed.), Liu, Z. (ed.) & Woodcock, J. (ed.), 2007, Springer. (Lecture Notes in Computer Science; vol. 4700)

    Research output: Book/ReportBook

  75. Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods, ICFEM 2009

    Breitman, K. (ed.) & Cavalcanti, A. (ed.), 2009, Springer. (Lecture Notes in Computer Science; vol. 5885)

    Research output: Book/ReportBook

  76. Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

    Dong, J. S. (ed.) & Woodcock, J. (ed.), 2003, Springer. (Lecture Notes in Computer Science; vol. 2885)

    Research output: Book/ReportBook

  77. Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers

    Oliveira, M. V. M. (ed.) & Woodcock, J. (ed.), 2009, Springer. (Lecture Notes in Computer Science; vol. 5902)

    Research output: Book/ReportBook

  78. Four methods for maintenance scheduling

    Smith, A., Clark, J. A. & Burke, EK., 1997, Citeseer.

    Research output: Book/ReportBook

  79. Games User Research

    Drachen, A., Nacke, L. E. & Mirza-Babaei, P., 25 Jan 2018, London: Oxford: Oxford University Press. 560 p.

    Research output: Book/ReportBook

  80. Gender and poverty in Britain

    Bradshaw, J., Finch, N., Kemp, P., Mayhew, E. & Williams, J., 2003, Manchester: Equal Opportunities Commission. (Working paper series)

    Research output: Book/ReportBook

  81. Global thoughts, local designs: INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, Revised Selected Papers

    Clemmensen, T. (ed.), Rajamanickam, V. (ed.), Dannenmann, P. (ed.), Petrie, H. (ed.) & Winckler, M. (ed.), 2018, Cham, Switzerland: Springer. 188 p. (Lecture Notes in Computer Science)

    Research output: Book/ReportBook

  82. Graph Transformation: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

    de Lara, J. (ed.) & Plump, D. (ed.), 2017, (Accepted/In press) Springer. 231 p. (Lecture Notes in Computer Science; vol. 10373)

    Research output: Book/ReportBook

  83. Graph characterization via backtrackless paths

    Aziz, F., Wilson, R. C. & Hancock, E. R., 2011, Springer. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

    Research output: Book/ReportBook

  84. Graph-Based Methods in Computer Vision: Developments and Applications

    Xiao, B., Cheng, J. & Hancock, E. R., Jul 2012, IGI Global. 410 p.

    Research output: Book/ReportBook

  85. Handbook of Research on Embedded Systems Design

    Bagnato, A., Soares Indrusiak, L., Quadri, I. R. & Rossi, M., 2014, Hershey: IGI Global. 520 p.

    Research output: Book/ReportBook

  86. High integrity compilation - a case study

    Stepney, S., 1993, Prentice Hall.

    Research output: Book/ReportBook

  87. High order structural matching using dominant cluster analysis

    Ren, P., Wilson, R. C. & Hancock, E. R., 2011, Springer. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

    Research output: Book/ReportBook

  88. Inductive Logic Programming: Proceedings of the 10th International Conference

    Cussens, J. (ed.) & Frisch, A. M. (ed.), 2000, Springer. (Lecture Notes in Artificial Intelligence; no. 1866)

    Research output: Book/ReportBook

  89. Inspired by Nature: Essays Presented to Julian F. Miller on the Occasion of his 60th Birthday

    Stepney, S. (ed.) & Adamatzky, A. (ed.), 31 Oct 2017, SPRINGER. 400 p. (Emergence, Complexity and Computation)

    Research output: Book/ReportBook

  90. Integrated Project Support Environments

    McDermid, J. A., 1985, Peter Peregrinus Limited.

    Research output: Book/ReportBook

  91. Learning Language in Logic

    Cussens, J. & Dzeroski, S., 2000, Springer. 301 p.

    Research output: Book/ReportBook

  92. Life Cycle Support in the Ada Environment

    McDermid, J. A. & Ripken, K., 1984, Cambridge University Press. 259 p.

    Research output: Book/ReportBook

  93. Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings

    Bird, R. S. (ed.), Morgan, C. (ed.) & Woodcock, J. (ed.), 1993, Springer. (Lecture Notes in Computer Science; vol. 669)

    Research output: Book/ReportBook

  94. Model Driven Architecture - Foundations and Applications: 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings

    Paige, R. F. (ed.), Hartman, A. (ed.) & Rensink, A. (ed.), 2009, Springer. (Lecture Notes in Computer Science; vol. 5562)

    Research output: Book/ReportBook

  95. Mutual information criteria for feature selection

    Zhang, Z. & Hancock, E. R., 2011, Springer. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

    Research output: Book/ReportBook

  96. Neural Computing: An Introduction

    Jackson, T. & Beale, R., 1990, Bristol: Adam Hilger. 240 p.

    Research output: Book/ReportBook

Previous 1 2 Next