【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Impact of the Release of the New "NDL Search" on CiNii Services

Imperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing

ID:DA07999029

Search authors sharing the same name

Search Results1-3 of 3

1

Advances in theory and formal methods of computing : proceedings of the third Imperial College workshop, Christ Church, Oxford, 1-3 April 1996

editors, A. Edalat, S. Jourdan, G. McCusker

Imperial College Press , Distributed by World Scientific c1996

Available at 4 libraries
2

Theory and formal methods of computing 94 : proceedings of the second Imperial College workshop

editors, C. Hankin, I. Mackie, R. Nagarajan

Imperial College Press , Distributed by World Scientific c1995

Available at 4 libraries
3

Theory and formal methods 1993 : proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993

Geoffrey Burn, Simon Gay and Mark Ryan (eds.)

Springer-Verlag c1993 Workshops in computing

: us : acid-free , : gw : acid-free

Available at 11 libraries

Search this author

Related Authors