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

>> Google Books

所蔵情報QRコード

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

資料種別:

図書

出版情報:

London : Imperial College Press
Singapore ; River Edge, NJ : Distributed by World Scientific, c1996

形態:

viii, 330 p. ; 23 cm

著者名:

ISBN:

9781860940316 [1860940315]

書誌ID:

BA29222132

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	Includes bibliographical references
主題:	Computer science--Congresses
言語:	英語

東工大ブックレビュー

類似資料:

1 図書 The Physiological Society : proceedings of the Scientific Meetings held at : Imperial College London, 13-14 December 1991, Manchester, 9-10 January 1992, … Physiological Society (Great Britain) Press Syndicate of the University of Cambridge	7 図書 3rd International Workshop on Graph and Model Transformations 2008 (GraMoT 08) : held at ICSE 2008 : Leipzig, Germany, 12 May 2008 International Workshop on Graph and Model Transformations, ACM Sigsoft, Association for Computing Machinery Association for Computing Machinery
2 図書 FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, … International Symposium of Formal Methods Europe, Gaudel, M.-C. (Marie-Claude), Woodcock, James Springer-Verlag	8 図書 Proceedings of the 1st International Conference on Human Factors in Manufacturing, 3-5 April 1984, London, UK (: UK ; : Netherlands) International Conference on Human Factors in Manufacturing, Lupton, Tom, IFS (Conferences) Ltd., Great Britain. Dept. of … IFS (Publications)
3 図書 Advances in computing science-ASIAN '97 : Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997 : proceedings Asian Computing Science Conference, Shyamasundar, Rudrapatna, 1950-, 上田, 和紀(1956-) Springer	9 図書 International Conference on Combustion in Engineering : 11-14 April 1983 Keble College, Oxford (pbk. : set ; pbk. : v. 1 ; pbk. : v. 2) International Conference on Combustion in Engineering (1983 : Keble College, Oxford), Institution of Mechanical … Published by Mechanical Engineering Publications for the Institution of Mechanical Engineers
4 図書 Graph-theoretic concepts in computer science : 22nd International Workshop, WG '96, Cadenabbia, Italy, June 12-14, 1996 : proceedings International Workshop on Graph-Theoretic Concepts in Computer Science, D'Amore, Fabrizio, Franciosa, Paolo G, … Springer	10 図書 The Physiological Society : proceedings of the Scientific Meetings held at : Charing Cross and Westminster Hospital Medical School, 10-11 Jan. 1991, Royal Free … Physiological Society (Great Britain) Physiological Society
5 図書 Applications of graph transformations with industrial relevance : International Workshop, AGTIVE '99, Kerkrade, the Netherlands, September 1-3, 1999 : … AGTIVE, Nagl, Manfred, 1944-, Schürr, Andreas, Münch, Manfred, 1971- Springer	11 図書 Second International Joint Conference on Artificial Intelligence : IJCAI-71, 1-3 September 1971, Imperial College, London International Joint Conference on Artificial Intelligence, British Computer Society Morgan Kaufmann
6 図書 Advances in computing and information--ICCI '90 : International Conference on Computing and Information, Niagara Falls, Canada, May 23-26, 1990 : proceedings (: gw ; : us) International Conference on Computing and Information, Akl, Selim G., Fiala, F., Koczkodaj, Waldemar W., 1951- Springer-Verlag	12 図書 Microscopy of semiconducting materials, 1987 : proceedings of the Institute of Physics Conference held at Oxford University, 6-8 April 1987 Cullis, A. G., Augustus, P. D., Royal Microscopical Society (Great Britain), Institute of Physics (Great Britain) Institute of Physics

1

2

3

4

5

6

7

8

9

10

11

12