R. E. A. Mason (Ed.):
Information Processing 83,
Proceedings of the IFIP 9th World Computer Congress,
Paris,
France,
September 19-23,
1983. North-Holland/IFIP,
1983,
ISBN 0-444-86729-5
On the Design of ADA (Invited Paper)
Formal and Informal Models of Office Activity (Invited Paper)
Models of Communication Architectures
VLSI
Net Theory of Systems and Processes
Applications I
Trends in Office Workstations Design
Computing in High Energy Physics (Invited Paper)
- Paolo Zanella:
Computing in High-Energy Physics: Facing a New Generation of Experiments.
79-88 BibTeX
Image Manipulation in the Office
Programming Methodology
Physiology for Man Computer Cooperation in Knowledge Processing (Invited Paper)
Applications - II
Logic Programming (Invited Paper)
Database System Design for High Performance (Invited Paper)
The Power of Computational Automata
Microprocessor Applications
Elements of Distributed Systems
Computer Science Education
First Steps Towards Inferential Programming (Invited Paper)
Future Microprocessor Trends (Invited Paper)
Program Environments
Query Evaluation
Universal Relation Interfaces for Database Systems (Invited Paper)
Formulating Human Purposes - Meta-Engineering Computers for People (Invited Paper)
Functional Programming
VLSI and the Foundations of Computation (Invited Paper)
Computer Art
On Protocol Engineering (Invited Paper)
Logic Programming - I
Program Transformations and Optimization
Specification and Design of (Parallel) Programs (Invited Paper)
Program Synthesis and Verification
- J. M. Barzdin:
Some Rules of Inductive Inference and their Use for Program Synthesis.
333-338 BibTeX
- Ali Mili:
The Bottom up Analysis of While Statements: Strongest Invariant Functions.
339-343 BibTeX
Naive Denotational Semantics (Invited Paper)
Database Machines
Architectural Concepts for High-Performance,
General-Purpose Computers (Invited Paper)
- Gene M. Amdahl:
Architectural Concepts for High-Performance, General-Purpose Computers.
369-373 BibTeX
Expectations of Standardization (Invited Paper)
Multi-Processing
Studys of Communications Protocols
Abstraction Complexity
Logics and Programming
Ease of Use:
A System Design Challenge (Invited Paper)
Computing in the Developing Countries of Asia (Invited Paper)
Semantics of Parallel Programs
Compiler Development - I
Computers in Developing and Developed Countries - A Contrast
Distributed Programs
Applications of Artificial Intelligence Techniques to Office Automation Systems (Invited Paper)
CAD Techniques
Types,
Abstraction and Parametric Polymorphism (Invited Paper)
Local Networking of Personal Computers (Invited Paper)
Physical Database Organization
Dataflow Machines
Office Work Suuport
Microprocessors in System Design
Nineteen Eighty Four?
The Architectures in the Fifth Generation Computers (Invited Paper)
Data Base Applications
Programming Environments
Prolog in Practice (Invited Paper)
Implementation and Engineering of a Production-Oriented DBMS (Invited Paper)
Viewing Computing Systems Within a Social Context (Invited Paper)
What Good is Temporal Logic? (Invited Paper)
Man-Machine Speech Communications
Facsimile Processing and Communications
Computer Architecture - I
Database Models
Rencontres:
Getting Together With Computers.
New Issues of Computer Privacy in the Eighties (Invated Paper)
On Real-Time Distributed Computing (Invited Paper)
Information Retrival
The nu-Conversion and an Analytic Semantics (Invated Paper)
Computers and National Development
Models for Systems and Organizations
Recovery Algorithms for Database Systems (Invited Paper)
Specification Languages
Computer Architecture - II
Applications - II
- N. C. Gupta:
System Analysis and Design Considerations for Large Integrated Computer Networks in Developing Countries - A Case Study.
833-838 BibTeX
- Michael Szabo, Dale H. Bent:
An Assessment of the State of the Art of Computer Based Learning Systems Design.
839-845 BibTeX
Comparison of Concurrency Control Methods Using Analytic Models (Invited Paper)
Algebra of Algorithms,
Data Structures and Parallel Computation (Invited Paper)
Some Linear-Time Algorithms for Systolic Arrays (Invited Paper)
Educating the Information Generation (Invited Paper)
Process in Computer Networks (Invited Paper)
Impact of Computers on the Young and the Naive
Advances in the Exploitation of Sparsity (Invited Paper)
Logic Programming - II
Development of a Tracking and Data Acquisition System for Spacecraft (Invited Paper)
Compiler Development - II
Man-Machine Methods for Solving Large-Scale Economic Planning Problems (Invited Paper)
- V. L. Makarov:
Man-Machine Methods for Solving Large-Scale Economic Planning Problems.
943-950 BibTeX
Understanding ALGOL:
The View of a Recent Convert to Denotational Semantics (Invited Paper)
- Albert R. Meyer:
Understanding ALGOL: The View of a Recent Convert to Denotational Semantics.
951-961 BibTeX
Copyright © Sat May 16 23:22:33 2009
by Michael Ley (ley@uni-trier.de)