Abstract is missing.
- Computer Network Software Design Based on Abstract ObjectsA. I. Ilushin, A. N. Myamlin, V. S. Shtarkman. 23-28
- Physiology for Man Computer Cooperation in Knowledge ProcessingAndré Bisseret. 113-120
- Logic ProgrammingRobert A. Kowalski. 133-145
- Automated Label Inspection ApparatusTatsuo Yamamura. 169-172
- Future Microprocessor TrendsTomihiro Matsumura. 213-217
- Design of a Transport Layer Protocol for a Special Purpose LANW. Ansaldi, C. Boccalini, M. Olobardi, A. M. Traverso. 283-291
- Basis for Program OptimizationVictor N. Kasyanov. 315-320
- A Tool for Communication Protocols ValidationGeorges Mitaut, Daniel Duclos. 395-400
- Testing and Diagnosis Aids for Higher Level ProtocolsAlfred Gießler. 407-420
- Methodology and Tools for Qualitative Protocols ValidationJean-Francois Billiard. 445-454
- The Routing Certification SystemGeorge A. Harvey. 465-476
- Implementation and Engineering of a Production-Oriented DBMSPeter Schnell. 637-646
- Viewing Computing Systems Within a Social ContextStarr Roxanne Hiltz. 647-655
- Speech Processing on a Personal Computer to Help Deaf ChildrenHubert Crepy, Bertrand Denoix, Francis Destombes, Gilbert Rouquie, Jean-Pierre Tubach. 669-671
- New Issues of Computer Privacy in the EightiesAlan F. Westin. 733-739
- Microprocessors as Agents of De-IndustrializationFrederic E. Lamond. 775-780
- MOBILE: An Office Automation MethodologyM. Marcus, E. Moulhade, J. J. Roubière, P. Dumas, G. Du Roure. 787-792
- System Analysis and Design Considerations for Large Integrated Computer Networks in Developing Countries - A Case StudyN. C. Gupta. 833-838
- Educating the Information GenerationNorman Longworth. 877-881
- LPA Programming, a New Tool for EducationGérard A. Langlet. 897-899
- Man-Machine Methods for Solving Large-Scale Economic Planning ProblemsV. L. Makarov. 943-950