Search research publications and outputs

  1. 2021
  2. Advances in Robotics, Automation and Data Analytics

    Liu, P., Jessnor Arif, M. J., Khairuddin, I. M., Mohd Razman, M. A., Ab. Nasir, A. F., Abdul Karim, M. S., Jaafar, A. A., Hong, L. W., Abdul Majeed, A. P. P. & Myung, H., 11 Mar 2021, Springer. 429 p.

    Research output: Book/ReportBook

  3. 2020
  4. 3D Imaging, Analysis and Applications, Second Edition

    Liu, Y. (ed.), Pears, N. E. (ed.), Rosin, P. (ed.) & Huber, P. (ed.), 12 Sep 2020, Second ed. Switzerland: Springer Nature Switzerland AG. 736 p.

    Research output: Book/ReportBook

  5. Safety Assurance Objectives for Autonomous Systems

    Alexander, R., Asgari, H., Ashmore, R., Banks, A., Bongirwar, R., Bradshaw, B., Bragg, J., Clegg, J., Fenn, J., Harper, C., Harvey, D., Johnson, N., Menon, C., Rivett, R. S., Ryan, P., Sujan, M., Tudor, N. & Tushingham, S., Feb 2020, 2.0 ed. Safety Critical Systems Club. 112 p.

    Research output: Book/ReportBook

  6. 2019
  7. Doing Better Statistics in Human-Computer Interaction

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

    Research output: Book/ReportBook

  8. Safety Assurance Objectives for Autonomous Systems

    Alexander, R., Ashmore, R., Banks, A., Bradshaw, B., Bragg, J., Clegg, J., Harper, C., Menon, C., Rivett, R. S., Ryan, P., Tudor, N., Tushingham, S., Birch, J., Burski, L., Coley, T., Lewis, N., Neal, K., Price, A., Reid, S., Simpson, A. & 1 others, Steel, R., Feb 2019, 1.0 ed. Safety Critical Systems Club. 66 p.

    Research output: Book/ReportBook

  9. 2018
  10. Computational Matter

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

    Research output: Book/ReportBook

  11. 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

  12. 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

  13. 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

  14. 2017
  15. 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

  16. 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

  17. 2016
  18. 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

  19. Universal Design 2016: Learning from the Past, Designing for the Future

    Petrie, H., Darzentas, J. S., Walsh, T., Swallow, D. M., Sandoval Guzman, L. F. & Power, C. D., 21 Aug 2016, IOS Press. 704 p. (Studies in Health Technology and Informatics)

    Research output: Book/ReportBook

  20. Why Engagement Matters: Cross-disciplinary perspectives of user engagement in digital media

    O'Brien, H. (ed.) & Cairns, P. A. (ed.), Jun 2016, Springer. 222 p.

    Research output: Book/ReportBook

  21. Proceedings of the 3rd International Workshop on Model-Driven Engineering on and for the Cloud

    Paige, R. F., Cabot, J., Brambilla, M. & Hill, J. H., 2016, CEUR Workshop Proceedings. 42 p.

    Research output: Book/ReportBook

  22. Resource-aware automotive control systems design: A cyber-physical systems approach

    Chang, W. & Chakraborty, S., 2016, Foundations and Trends in Electronic Design Automation.

    Research output: Book/ReportBook

  23. 2015
  24. Animal Social Networks

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

    Research output: Book/ReportBook

  25. 2014
  26. 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

  27. 2012
  28. 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

  29. 3D Imaging, Analysis and Applications

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

    Research output: Book/ReportBook

  30. Distributed, embedded and real-time java systems

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

    Research output: Book/ReportBook

  31. 2011
  32. Outlier and Anomaly Detection: A Survey of Outlier and Anomaly Detection Methods

    Hodge, V. J., 11 Nov 2011, Lambert Academic Publishing.

    Research output: Book/ReportBook

  33. 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

  34. 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

  35. 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

  36. 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

  37. 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

  38. Pattern Recognition: Third Mexican Conference, MCPR 2011, Cancun, Mexico, June 29 - July 2, 2011. Proceedings

    Trinidad, J. F. M. (ed.), Carrasco-Ochoa, J. A. (ed.), Brants, C. B-Y. (ed.) & Hancock, E. R. (ed.), 2011, Springer. (Lecture Notes in Computer Science; vol. 6718)

    Research output: Book/ReportBook

  39. Proceedings of the 2011 Workshop on Dependable Systems of Systems

    Despotou, G. (ed.), 2011, University of York, United Kingdom.

    Research output: Book/ReportBook

  40. Refractive index estimation of naturally occurring surfaces using photometric stereo

    Saman, G. & 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

  41. 2010
  42. 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

  43. 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

  44. Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, SSPRSPR 2010, Cesme, Izmir, Turkey, August 18-20, 2010. Proceedings

    Hancock, E. R. (ed.), Wilson, R. C. (ed.), Windeatt, T. (ed.), Ulusoy, I. (ed.) & Escolano, F. (ed.), 2010, Springer. (Lecture Notes in Computer Science; vol. 6218)

    Research output: Book/ReportBook

  45. Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007

    Borba, P. (ed.), Cavalcanti, A. (ed.), Sampaio, A. (ed.) & Woodcock, J. (ed.), 2010, Springer. (Lecture Notes in Computer Science; vol. 6153)

    Research output: Book/ReportBook

  46. The Epsilon Book

    Kolovos, D., Rose, L., Paige, R. & Garcia-Dominguez, A., 2010, Eclipse.

    Research output: Book/ReportBook

  47. Theoretical Aspects of Computing - ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

    Cavalcanti, A. (ed.), Déharbe, D. (ed.), Gaudel, M-C. (ed.) & Woodcock, J. (ed.), 2010, Springer. (Lecture Notes in Computer Science; vol. 6255)

    Research output: Book/ReportBook

  48. Unconventional Computation: 9th International Conference, UC 2010, Tokyo, Japan, June 21-25, 2010. Proceedings

    Calude, C. S. (ed.), Hagiya, M. (ed.), Morita, K. (ed.), Rozenberg, G. (ed.) & Timmis, J. (ed.), 2010, Springer. (Lecture Notes in Computer Science; vol. 6079)

    Research output: Book/ReportBook

  49. 2009
  50. 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

  51. 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

  52. 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

  53. 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

  54. 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

  55. Proceedings of the Workshop on AOP and Meta-Data for Software Evolution

    Oriol, M., Cazzola, W., Chiba, S. & Saake, G., 2009, ACM Digital Library.

    Research output: Book/ReportBook

  56. Real-time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX

    Burns, A. & Wellings, A. J., 2009, ADDISON-WESLEY PUBL CO. (International computer science series)

    Research output: Book/ReportBook

  57. 2008
  58. 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

  59. Objects, Components, Models and Patterns: 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings

    Paige, R. F. (ed.) & Meyer, B. (ed.), 2008, Springer. (Lecture notes in Business Information Processing; vol. 11)

    Research output: Book/ReportBook

  60. Practical Distributed Processing

    Brooke, P. J. & Paige, R. F., 2008, Springer. 262 p. (Undergraduate Topics in Computer Science)

    Research output: Book/ReportBook

  61. Remove this!

    Nasios, N. & Bors, AG., 2008, en.scientificcommons.org.

    Research output: Book/ReportBook

  62. Research Method for Human-Computer Interaction

    Cairns, P. A. (ed.) & Cox, A. L. (ed.), 2008, Cambridge University Press. 264 p.

    Research output: Book/ReportBook

  63. Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

    Shankar, N. (ed.) & Woodcock, J. (ed.), 2008, Springer. (Lecture Notes in Computer Science; vol. 5295)

    Research output: Book/ReportBook

  64. 2007
  65. Concurrent and real-time programming in Ada

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

    Research output: Book/ReportBook

  66. 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

  67. 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

  68. Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

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

    Research output: Book/ReportBook

  69. Unconventional Computing 2007: Bristol, UK, July 2007

    Adamatzky, A. (ed.), Bull, L. (ed.), Costello, B. D. L. (ed.), Stepney, S. (ed.) & Teuscher, C. (ed.), 2007, Luniver Press.

    Research output: Book/ReportBook

  70. 2006
  71. Theoretical Aspects of Computing: ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings

    Barkaoui, K. (ed.), Cavalcanti, A. (ed.) & Cerone, A. (ed.), 2006, Springer. (Lecture Notes in Computer Science; vol. 4281)

    Research output: Book/ReportBook

  72. Unconventional Computation: 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings

    Calude, C. S., Dinneen, M. J., Paun, G., Rozenberg, G. & Stepney, S., 2006, Springer. (Lecture Notes in Computer Science; vol. 4135)

    Research output: Book/ReportBook

  73. 2005
  74. 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

  75. 2004
  76. 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

  77. 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

  78. 2003
  79. 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

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

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

    Research output: Book/ReportBook

  81. 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

  82. 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

  83. ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

    Bert, D. (ed.), Bowen, J. P. (ed.), King, S. (ed.) & Waldén, M. A. (ed.), 2003, Springer. (Lecture Notes in Computer Science; vol. 2651)

    Research output: Book/ReportBook

  84. 2002
  85. Artificial Immune Systems: A New Computational Approach

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

    Research output: Book/ReportBook

  86. Artificial immune systems - a new computational intelligence paradigm

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

    Research output: Book/ReportBook

  87. 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

  88. 2001
  89. 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

  90. 2000
  91. 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

  92. Learning Language in Logic

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

    Research output: Book/ReportBook

  93. 1999
  94. Absent fathers?

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

    Research output: Book/ReportBook

  95. 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

  96. 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

  97. 1997
  98. Four methods for maintenance scheduling

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

    Research output: Book/ReportBook

  99. 1996
  100. 1995
  101. μKernel service for dynamic load balancing

    Grigoras, D. & Calinescu, R., 1 Dec 1995, Amsterdam, Netherlands: IOS Press. 11 p.

    Research output: Book/ReportBook

  102. Applications of functional programming

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

    Research output: Book/ReportBook

  103. Z in practice

    Barden, R., Stepney, S. & Cooper, D., 1995, Prentice Hall. (BCS practitioner series)

    Research output: Book/ReportBook

  104. 1994
  105. 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

  106. 1993
  107. 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

  108. High integrity compilation - a case study

    Stepney, S., 1993, Prentice Hall.

    Research output: Book/ReportBook

  109. 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

  110. 1992
  111. Education and Training for Safety-Critical Systems Practitoners

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

    Research output: Book/ReportBook

  112. Software Engineer's Reference Book

    McDermid, J. A., 1992, 1 ed. Oxford: Butterworth Heinemann.

    Research output: Book/ReportBook

  113. Software Engineering Environments: Automated Support for Software Engineering

    Brown, A. W., Earl, A. N. & McDermid, J. A., 1992, London: McGraw-Hill Book Company.

    Research output: Book/ReportBook

  114. 1991
  115. Architectural Design

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

    Research output: Book/ReportBook

  116. 1990
  117. Neural Computing: An Introduction

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

    Research output: Book/ReportBook

  118. 1989
  119. 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

  120. 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

  121. Software Design Methods: Characteristics and Choice

    McDermid, J. A. & Davies, A. C. (ed.), 1989, Butterworth Scientific.

    Research output: Book/ReportBook

  122. 1985
  123. Integrated Project Support Environments

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

    Research output: Book/ReportBook

  124. 1984
  125. Life Cycle Support in the Ada Environment

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

    Research output: Book/ReportBook