Works matching IS 0010-4620 AND VI 35 AND IP 5 AND DT 1992
Results: 32
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:
- Publication type:
- Article
Book Review.
- Published in:
- Computer Journal, 1992, v. 35, n. 5, p. 539, doi. 10.1093/comjnl/35.5.539
- By:
- 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
Indexing for Multi-Attribute Retrieval.
- Published in:
- Computer Journal, 1992, v. 35, n. 5, p. 535, doi. 10.1093/comjnl/35.5.535
- By:
- 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
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:
- 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:
- 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:
- 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:
- 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
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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
CASE Technology.
- Published in:
- Computer Journal, 1992, v. 35, n. 5, p. 430, doi. 10.1093/comjnl/35.5.430
- By:
- 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:
- 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:
- 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