Publications index

Roy L. Crole, Andy Gordon

International Workshop on Computer Science Logic | January 1995

Lecture Notes in Computer Science

ISBN: 978-3-540-60017-6 (Print) 978-3-540-49404-1 (Online)

Ken Hinckley, John C. Goble, Randy Pausch, Neal F. Kassell

Proc. SPIE Medical Imaging '95: Image Display | January 1995

Andrew Birrell

January 1995

Slides for a talk

Yuri Gurevich

Specification and Validation Methods | Published by Oxford University Press | 1995 | Specification and Validation Methods edition

Richard Harper, Abigail Sellen

EPC-1995-109 | January 1995

Published by RXRC Cambridge Technical Report

C. Heath, P. Luff, Abigail Sellen

S. Emmott (Ed.) Information superhighways: Multimedia users and futures, London: Academic Press | 1995 | S. Emmott (Ed.) Information superhighways: Multimedia users and futures, London: Academic Press edition

Project

Xuedong Huang, Alex Acero, Fil Alleva, Mei-Yuh Hwang, Li Jiang, Milind Mahajan

Proc. of the Int. Conf. on Acoustics, Speech, and Signal Processing | January 1995

PM Sansom, SL Peyton Jones, Simon Peyton Jones

22nd ACM Symposium on Principles of Programming Languages (POPL'95) | January 1995

22nd ACM Symposium on Principles of Programming Languages (POPL'95)

Christopher Bishop, C. Legleye

Advances in Neural Information Processing Systems | January 1995

Advances in Neural Information Processing Systems

Jim Gray

January 1995