Jump to main content

yr 〜
yr

Search results 4

Refinement : 4th Workshop : Jan 1991, Cambridge, UK.

Refinement : 4th Workshop : Jan 1991, Cambridge, UK.
Paper図書
Published in collaboration with the British Computer Society [by] Springer-Verlagc1991.<M17-92-1302>
National Diet Library
  • Author HeadingBritish Computer Society. Specialist Group in Formal Aspects of Computing Science.

6th Refinement Workshop : proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994

6th Refinement Workshop : proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994
Paper図書
David Till (ed.)Springer-Verlagc1994
Other Libraries in Japan

Active and real-time database systems (ARTDB-95) : proceedings of the First International Workshop on Active and Real-Time Database Systems : Skövde, Sweden, 9-11 June 1995

Active and real-time database systems (ARTDB-95) : proceedings of the First International Workshop on Active and Real-Time Database Systems : Skövde, Sweden, 9-11 June 1995
Paper図書
Mikael Berndtsson and Jörgen Hansson (eds)Springerc1996
Other Libraries in Japan

4th Refinement Workshop : proceedings of the 4th Refinement Workshop

4th Refinement Workshop : proceedings of the 4th Refinement Workshop
Paper図書
organised by BCS-FACS, 9-11 January 1991, Cambridge ; Joseph M. Morris and Roger C. Shaw, edsSpringer-Verlagc1991
Other Libraries in Japan

Reached to the end of result.

RSS