Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: B | C | D | E | L | M | T

Number of items: 10.

B

Bowman, Howard, Bryans, Jeremy W., Derrick, John (2001) Analysis of a Multimedia Stream using Stochastic Process Algebra. Computer Journal, 44 (4). pp. 230-245. ISSN 0010-4620. (doi:10.1093/comjnl/44.4.230) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13625)

Boiten, Eerke Albert, Partsch, H.A., Tuijnman, D., Völker, N. (1992) How to produce correct software -- an introduction to formal specification and program development by transformations. Computer Journal, 35 (6). pp. 547-554. (doi:10.1093/comjnl/35.6.547) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21019)

C

Clark, Anthony, Evans, Andy, Kent, Stuart (2003) Aspect-Oriented Metamodelling. Computer Journal, 46 (5). pp. 566-577. ISSN 0010-4620. (doi:10.1093/comjnl/46.5.566) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13845)

Cavalcanti, Ana L. C., Woodcock, Jim (1998) A Weakest Precondition Semantics for Z. Computer Journal, 41 (1). pp. 1-15. ISSN 0010-4620. (doi:10.1093/comjnl/41.1.1) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21561)

D

Dick, A.J.J., Watson, Phil (1991) Order-sorted term rewriting. Computer Journal, 34 (1). pp. 16-19. ISSN 0010-4620. (doi:10.1093/comjnl/34.1.16) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21011)

E

Evered, Mark, Kölling, Michael, Schmolitzky, Axel (1995) A Flexible Object Invocation Language based on Object-Oriented Language Definition. Computer Journal, 38 (3). pp. 181-191. ISSN 0010-4620. (doi:10.1093/comjnl/38.3.181) (KAR id:21238)

L

Lamming, Mik G., Brown, Peter J. (1994) The Design of a Human Memory Prosthesis. Computer Journal, 37 (3). pp. 153-163. (doi:10.1093/comjnl/37.3.153) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21206)

M

Mingers, John (1988) Comparing Conceptual Models and Data Flow Diagrams. Computer Journal, 31 (4). pp. 376-379. ISSN 1460-2067. (doi:10.1093/comjnl/31.4.376) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:3784)

T

Timmis, Jon (2003) Membrane Computing: An Introduction (Book Review). Computer Journal, 46 (5). ISSN 0010-4620. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13901)

Thompson, Simon, Lins, Rafael D. (1992) The categorical multi-combinator machine - cmcm. Computer Journal, 35 (2). pp. 170-176. ISSN 0010-4620. (doi:10.1093/comjnl/35.2.170) (KAR id:22255)

This list was generated on Tue Apr 23 22:34:44 2024 BST.