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

Guardado en:

Bibliografiske detaljer
Autores Corporativos:	Imperial College of Science, Technology and Medicine. Department of Computing, Imperial College Department of Computing Workshop on Theory and Formal Methods
Andre forfattere:	Edalat, Abbas, Jourdan, Sofia, McCusker, Guy
Format:	Procedimiento de la Conferencia
Sprog:	English
Udgivet:	London : Imperial Collge Press 1996
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

Proceedings of the International Workshop on Soft Computing in Remote Sensing Data Analysis
Udgivet: (1996)

Proceedings of the third session /

Database systems for advanced applications '95 : proceedings of the Fourth International Conference on Database Systems for Advanced Applications, Singapore, April 10-13, 1995
Udgivet: (1995)

Circuit theory with computer methods
af: Wing, Omar
Udgivet: (1978)

Network analysis; theory and computer methods
af: Jensen, Randall W.
Udgivet: (1974)

Proceedings of the 4th Workshop on PASA '96, parallel systems & algorithms
Udgivet: (1997)

Proceedings of the Tenth Joint Workshop on Electron Cyclotron Emission and Electron Cyclotron Heating
Udgivet: (1997)

Parallel and distributed signal and image integration problems : proceedings of the Indo-US Workshop
Udgivet: (1995)

Sanitation in developing countries : proceedings of a workshop on training held in Lobatse, Botswana,
Udgivet: (1981)

New trends in fuzzy systems : proceedings of the International Joint Workshop on Current Issues Fuzzy Technologies/Methods and Environments for Planning and Programming, CIFT/MEP '96
Udgivet: (1998)

Fifty-third Annual Report: 1st april 1982- 31st march 1983 /

Christ and Apollo
af: Lynch, William F.
Udgivet: (1960)

Bological effects in the hydrological cycle : Proceedings of the Third International Seminar for Hydrology Professors

The last temptation of Christ
af: Kazantzakis, Nikos
Udgivet: (1960)

Science et christ
af: Teilhard de Chardin, Pierre
Udgivet: (1965)

Science et christ
af: Teilhard de Chardin, Pierre
Udgivet: (1965)

Science et christ
af: Teilhard de Chardin, Pierre
Udgivet: (1965)

Cybernetics, simulation, and conflict resolution; proceedings of the third annual symposium of the American Society for Cybernetics.
Udgivet: (1971)

Attack on the church: persecution of the catholic church in Nicaragua

Proceedings of the NSF/UCR U.S.-Costa Rica Workshop on the Costa Rica Earthquakes of 1990-1991 : effects on soils and structures
af: Leon, Roberto T.
Udgivet: (1993)

Oxford Advanced learner’s dictionary of current english / Albert Sydney Hornby ; Sally Wehmeier, editor
af: Hornby, Albert Sydney
Udgivet: (2005)

Oxford Advanced learner’s dictionary of current english / Albert Sydney Hornby ; Sally Wehmeier, editor
af: Hornby, Albert Sydney
Udgivet: (2005)

Oxford Advanced learner's dictionary of current english / Albert Sydney Hornby ; Joanna Turnbull, editora.
af: Hornby, Albert Sydney
Udgivet: (2010)

Oxford Advanced learner's dictionary of current english / Albert Sydney Hornby ; Joanna Turnbull, editora.
af: Hornby, Albert Sydney
Udgivet: (2010)

Oxford Advanced learner's dictionary of current english / Albert Sydney Hornby ; Joanna Turnbull, editora.
af: Hornby, Albert Sydney
Udgivet: (2010)

Oxford Advanced learner's dictionary of current english / Albert Sydney Hornby ; Joanna Turnbull, editora.
af: Hornby, Albert Sydney
Udgivet: (2010)

Oxford Advanced learner's dictionary of current english / Albert Sydney Hornby ; Joanna Turnbull, editora.
af: Hornby, Albert Sydney
Udgivet: (2010)

The formal method in literary scholarship /
af: Bakhtin, M. M. (Mikhail Mikhailovich), 1895-1975
Udgivet: (1978)

Computer simulation for engineers
af: Stephenson, Robert E., 1919-
Udgivet: (1971)

Computers in the environmental sciences
af: Tarrant, John R
Udgivet: (1973)

The Popular Church in Chacarita /
af: Edelman, Marc
Udgivet: (1989)

Histoire du Christ / Paul - Henri Michel
af: Papini, Giovanni
Udgivet: (1922)

The College Antology
af: Blair, Walter y Gerber, John
Udgivet: (1955)

The formal method in literary scholarship = El método formal en los estudios literarios /
af: Medvedev, P. N. (Pavel Nikolaevich), 1891-1938
Udgivet: (1978)

Standardized development of computer software
af: Tausworthe, Robert C.
Udgivet: (1977)

Matrix computer analysis of structures.
af: Rubinstein, Moshe F
Udgivet: (1966)

The Church and Revolution: Cuba and Nicaragua
af: Crahan, Margaret E.

The Church and Revolution: Cuba and Nicaragua
af: Crahan, Margaret E.

Nicaragua - a church divided

Old church slavonic grammar
af: Lunt, Horace G.
Udgivet: (1959)