The Library
Items where Department is "Faculty of Science, Engineering and Medicine > Science > Computer Science"
Up a level |
Number of items: 18.
Amos, Martyn, Gibbons, Alan (Alan M.) and Hodgson, D. A. (1996) Error-resistant implementation of DNA computations. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Beynon, Meurig, Cartwright, Richard, Cartwright, Alan and Yung, Yun Pui (1996) Abstract geometry for design in an empirical modelling context. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Beynon, Meurig, Ness, Paul Edward and Russ, Steve (1996) Worlds before and beyond words. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Craig, Iain D. (1996) Multi-agent systems : a risk to freedom. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Goldberg, Leslie Ann, Goldberg, Paul W., Phillips, Cynthia A. and Sorking, Gregory B. (1996) Constructing computer virus phylogenies. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Goldberg, Leslie Ann, Hart, W. E. and Wilson, D. B. (1996) Learning foraging thresholds for lizards. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Goldberg, Leslie Ann and Jerrum, Mark (1996) Randomly sampling molecules. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Goldberg, Leslie Ann, Paterson, Michael S., Srinavasan, Aravind and Sweedyk, Elizabeth (1996) Better approximation guarantees for job-shop scheduling. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Hoek, W. van der (Wiebe) and Rijke, Maarten de (1996) Interleaved contractions. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Janowski, Tomasz and Joseph, Mathai (1996) Dynamic scheduling in the presence of faults : specification and verification. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Joy, Mike and Luck, Michael (Michael M.) (1996) A user-friendly on-line submissions system. In: 4th Annual Conference on the Teaching of Computing, Dublin, Eire, 27-29 Aug 1996 pp. 92-95.
Kerbyson, D. J., Harper, J. S., Craig, A. (Adam) and Nudd, G. R. (1996) PACE : A toolset to investigate and predict performance in parallel systems. In: European Parallel Tools Meeting, ONERA, Paris, 23-25 Oct 1996
Kurtonina, Natasha and Rijke, Maarten de (1996) Directed simulations. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Levy, Ian Karl and Wilson, Roland (1996) Advances in predictive wavelet transform image coding. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Pu, Ida Mengyi and Gibbons, Alan (Alan M.) (1996) Matricial space-economy with constant access-time. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Rijke, Maarten de (1996) A note on graded modal logic. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Rijke, Maarten de and Kurtonina, Natasha (1996) Bisimulations for temporal logic. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
Wahab, Matthew (1996) The semantics of TLA on the PVS theorem prover. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)