Connecting you to content on EBSCOhost

Works matching IS 00104620 AND DT 1994 AND VI 37 AND IP 4

Results: 23

1

Review: Book Review.

Published in:

Computer Journal, 1994, v. 37, n. 4, p. 355

By:

Martin, G. R.

Publication type:

Article

2

Review: Book Review.

Published in:

Computer Journal, 1994, v. 37, n. 4, p. 354

By:

Gibbins, N. M.

Publication type:

Article

3

Review: Book Review.

Published in:

Computer Journal, 1994, v. 37, n. 4, p. 353

By:

Rao, P. V. S.

Publication type:

Article

4

Review: Book Review.

Published in:

Computer Journal, 1994, v. 37, n. 4, p. 352

By:

Green, P.

Publication type:

Article

5

Review: Book Review.

Published in:

Computer Journal, 1994, v. 37, n. 4, p. 352

By:

Anthony, D.

Publication type:

Article

6

Review: Book Review.

Published in:

Computer Journal, 1994, v. 37, n. 4, p. 351

By:

Larner, A.

Publication type:

Article

7

Review: Book Review.

Published in:

Computer Journal, 1994, v. 37, n. 4, p. 351

By:

Larner, A.

Publication type:

Article

8

Review: Book Review.

Published in:

Computer Journal, 1994, v. 37, n. 4, p. 350

By:

Kirkham, C. C.

Publication type:

Article

9

Review: Book Review.

Published in:

Computer Journal, 1994, v. 37, n. 4, p. 350

By:

Gibson, M. B. M.

Publication type:

Article

10

Review: Book Review.

Published in:

Computer Journal, 1994, v. 37, n. 4, p. 349

By:

Mukherjee, P.

Publication type:

Article

11

Review: Book Review.

Published in:

Computer Journal, 1994, v. 37, n. 4, p. 349

By:

Mukherjee, P.

Publication type:

Article

12

Review: Book Review.

Published in:

Computer Journal, 1994, v. 37, n. 4, p. 348

By:

Lodaya, K.

Publication type:

Article

13

Review: Book Review.

Published in:

Computer Journal, 1994, v. 37, n. 4, p. 347

By:

Craig, I.

Publication type:

Article

14

Review: Book Review.

Published in:

Computer Journal, 1994, v. 37, n. 4, p. 346

By:

Ramanujam, R.

Publication type:

Article

15

Review: Book Review.

Published in:

Computer Journal, 1994, v. 37, n. 4, p. 346

By:

Dančk, V.

Publication type:

Article

16

Process Algebra with Iteration and Nesting.

Published in:

Computer Journal, 1994, v. 37, n. 4, p. 243

By:

Bergstra, J. A.;
Bethke, I.;
Ponse, A.

Publication type:

Article

17

An Approach to the Run-Time Monitoring of Parallel Programs.

Published in:

Computer Journal, 1994, v. 37, n. 4, p. 333

By:

Cai, W.;
Turner, S. J.

Publication type:

Article

18

A Correctness Proof of a One-bit Sliding Window Protocol in μCRL.

Published in:

Computer Journal, 1994, v. 37, n. 4, p. 289

By:

Bezem, M. A.;
Groote, J. F.

Publication type:

Article

19

A Theory for Simulators.

Published in:

Computer Journal, 1994, v. 37, n. 4, p. 279

By:

Korver, H.

Publication type:

Article

20

An Algebraic Semantics of Basic Message Sequence Charts.

Published in:

Computer Journal, 1994, v. 37, n. 4, p. 269

By:

Mauw, S.;
Reniers, M. A.

Publication type:

Article

21

Basic Process Algebra with Iteration: Completeness of its Equational Axioms.

Published in:

Computer Journal, 1994, v. 37, n. 4, p. 259

By:

Fokkink, W.;
Zantema, H.

Publication type:

Article

22

Compression of Digital Images by Block Truncation Coding: A Survey.

Published in:

Computer Journal, 1994, v. 37, n. 4, p. 308

By:

Fränti, P.;
Nevalainen, O.;
Kaukoranta, T.

Publication type:

Article

23

Decidable Subsets of CCS.

Published in:

Computer Journal, 1994, v. 37, n. 4, p. 233

By:

Christensen, S.;
Hirshfeld, Y.;
Moller, F.

Publication type:

Article