Works matching IS 00104620 AND DT 1992 AND VI 35 AND IP 5

Results: 32

The Role of Data Reification in Program Refinement: Origins, Synthesis and Appraisal.

Published in:

Computer Journal, 1992, v. 35, n. 5, p. 451, doi. 10.1093/comjnl/35.5.451

By:

Clement, T.

Publication type:

Article

ML for the Working Programme.

Published in:

Computer Journal, 1992, v. 35, n. 5, p. 450-a, doi. 10.1093/comjnl/35.5.450-a

By:

Berry, Dave

Publication type:

Article

Neural Network Parallel Computing.

Published in:

Computer Journal, 1992, v. 35, n. 5, p. 450, doi. 10.1093/comjnl/35.5.450

By:

Quinlan, P.

Publication type:

Article

Book Review.

Published in:

Computer Journal, 1992, v. 35, n. 5, p. 539, doi. 10.1093/comjnl/35.5.539

By:

Dyckhoff, Roy

Publication type:

Article

Announcement.

Published in:: Computer Journal, 1992, v. 35, n. 5, p. 539-a, doi. 10.1093/comjnl/35.5.539-a
Publication type:: Article

Indexing for Multi-Attribute Retrieval.

Published in:

Computer Journal, 1992, v. 35, n. 5, p. 535, doi. 10.1093/comjnl/35.5.535

By:

Jamison, B.;
Olariu, S.

Publication type:

Article

Additional Papers.

Published in:: Computer Journal, 1992, v. 35, n. 5, p. 538, doi. 10.1093/comjnl/35.5.538
Publication type:: Article

Announcement.

Published in:: Computer Journal, 1992, v. 35, n. 5, p. 537, doi. 10.1093/comjnl/35.5.537
Publication type:: Article

A Short Note on Doubly-Linked List Reorganizing Heuristics†.

Published in:

Computer Journal, 1992, v. 35, n. 5, p. 533, doi. 10.1093/comjnl/35.5.533

By:

Ng, D. T. H.;
Oommen, B. J.

Publication type:

Article

A Survey of the Teaching of Programming to Computing Undergraduates in U.K. Universities and Polytechnics.

Published in:

Computer Journal, 1992, v. 35, n. 5, p. 530, doi. 10.1093/comjnl/35.5.530

By:

Furber, David

Publication type:

Article

Flexible Arrays: Evaluation of the B-Tree Based System.

Published in:

Computer Journal, 1992, v. 35, n. 5, p. 527, doi. 10.1093/comjnl/35.5.527

By:

Challab, D. J.

Publication type:

Article

A Parallel Solution to the Approximate String Matching Problem.

Published in:

Computer Journal, 1992, v. 35, n. 5, p. 524, doi. 10.1093/comjnl/35.5.524

By:

Bertossi, A. A.;
Luccio, F.;
Pagli, L.;
Lodi, E.

Publication type:

Article

Non-determinism in Functional Languages.

Published in:

Computer Journal, 1992, v. 35, n. 5, p. 514, doi. 10.1093/comjnl/35.5.514

By:

Søndergaard, H.;
Sestoft, P.

Publication type:

Article

Integration of Information Systems Using an Object-Oriented Approach.

Published in:

Computer Journal, 1992, v. 35, n. 5, p. 501, doi. 10.1093/comjnl/35.5.501

By:

Czejdo, B.;
Taylor, M. C.

Publication type:

Article

Announcements.

Published in:: Computer Journal, 1992, v. 35, n. 5, p. 513, doi. 10.1093/comjnl/35.5.513
Publication type:: Article

Announcement.

Published in:: Computer Journal, 1992, v. 35, n. 5, p. 500, doi. 10.1093/comjnl/35.5.500
Publication type:: Article

Modelling Offices Through Discourse Analysis: A Comparison and Evaluation of SAMPO with OSSAD and ICN.

Published in:

Computer Journal, 1992, v. 35, n. 5, p. 492, doi. 10.1093/comjnl/35.5.492

By:

Auramäki, E.;
Hirschheim, R.;
Lyytinen, K.

Publication type:

Article

Protocol Design and Implementation Using Formal Methods*.

Published in:

Computer Journal, 1992, v. 35, n. 5, p. 478, doi. 10.1093/comjnl/35.5.478

By:

van Sinderen, M.;
Pires, L. Ferreira;
Vissers, C. A.

Publication type:

Article

The Rudiments of Algorithm Refinement.

Published in:

Computer Journal, 1992, v. 35, n. 5, p. 441, doi. 10.1093/comjnl/35.5.441

By:

Woodcock, J. C. P.

Publication type:

Article

Functional Programming with Hope.

Published in:

Computer Journal, 1992, v. 35, n. 5, p. 491, doi. 10.1093/comjnl/35.5.491

By:

Paulson, L. C.

Publication type:

Article

Announcement.

Published in:: Computer Journal, 1992, v. 35, n. 5, p. 477-a, doi. 10.1093/comjnl/35.5.477-a
Publication type:: Article

Informatization in the Public Sector.

Published in:

Computer Journal, 1992, v. 35, n. 5, p. 477, doi. 10.1093/comjnl/35.5.477

By:

Leeming, A.

Publication type:

Article

Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications.

Published in:

Computer Journal, 1992, v. 35, n. 5, p. 468, doi. 10.1093/comjnl/35.5.468

By:

Ehrig, H.;
Mahr, B.;
Orejas, F.

Publication type:

Article

Special Issue on Spatial Data – Call for Papers.

Published in:: Computer Journal, 1992, v. 35, n. 5, p. 467, doi. 10.1093/comjnl/35.5.467
Publication type:: Article

Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development.

Published in:

Computer Journal, 1992, v. 35, n. 5, p. 460, doi. 10.1093/comjnl/35.5.460

By:

Ehrig, H.;
Mahr, B.;
Classen, I.;
Orejas, F.

Publication type:

Article

Logic as a Formal Method.

Published in:

Computer Journal, 1992, v. 35, n. 5, p. 431, doi. 10.1093/comjnl/35.5.431

By:

Galton, A.

Publication type:

Article

Real-time Transaction Processin.

Published in:

Computer Journal, 1992, v. 35, n. 5, p. 430-a, doi. 10.1093/comjnl/35.5.430-a

By:

Thainisch, P.

Publication type:

Article

CASE Technology.

Published in:

Computer Journal, 1992, v. 35, n. 5, p. 430, doi. 10.1093/comjnl/35.5.430

By:

Ince, D.

Publication type:

Article

Classical Logic: a Crash Course for Beginners.

Published in:

Computer Journal, 1992, v. 35, n. 5, p. 424, doi. 10.1093/comjnl/35.5.424

By:

Galton, A.

Publication type:

Article

Announcements.

Published in:: Computer Journal, 1992, v. 35, n. 5, p. 423, doi. 10.1093/comjnl/35.5.423
Publication type:: Article

Formal Methods – Mathematics, Theory, Recipes or what?

Published in:

Computer Journal, 1992, v. 35, n. 5, p. 419, doi. 10.1093/comjnl/35.5.419

By:

Cooke, J.

Publication type:

Article

Editorial – Formal Methods: What? Why? and When?

Published in:

Computer Journal, 1992, v. 35, n. 5, p. 417, doi. 10.1093/comjnl/35.5.417

By:

Cooke, John

Publication type:

Article