Bruce Gilchrist (Ed.):
Information Processing 77,
Proceedings of the IFIP Congress 77,
Toronto,
Canada,
August 8-12,
1977. North-Holland,
1977,
ISBN 0-7204-0755-9
Future Directions in Computer Architecture
Software Studies I
Pattern Recognition and Artificail Intelligence
Educating in Computing I
Theories of Programs and Languages
New Methods for Information Systems Development
Finite Elements Methods
- Michel Bernadou:
Conforming Finite Element Methods for Shell Problems with Numerical Integration.
91-96
- Michel Bercovier:
A Family of Finite Elements with Penalisation for the Numerical Solution of Stokes and Navier-Stokes Equations.
97-101
- Owe Axelsson, Uno Nävert:
On a Graphical Package for Nonlinear Partial Differential Equation Problems.
103-108
Future Directions in Information Management
Programming Languages
Data Base Theory
Distributed Processing
Graphics
Numerical Analysis
Computer Aided Instruction
Impact of Information Systems on Organisations
Modelling and Analysis of Data Networks
Pattern Recognition and Process Control
Effects OF Information Technology on Organisation Structures
- Richard L. Nolan:
Restructuring the Data Processing Organization for Data Resource Management.
261-265
Trends and Developments in CAD
Foundations for Proofs about Programs
- J. W. de Bakker:
Semantics and the Foundations of Program Proving.
279-284
- Andrzej Blikle:
An Analytic Approach to the Verification of Iterative Programs.
285-290
Software Studies II
Routing and Congestion Control in Switched Data Networks
- Wyn L. Price:
Adaptive Routing in Store-and-Forward Networks and the Importance of Load Splitting.
309-313
- J. W. Wong, M. S. Unsoy:
Analysis of Flow Control in Switched Data Networks.
315-320
- Harry Rudin:
On Alternate Routing in Circuit-Switched Data Networks.
321-326
Future of Data Management
Computer Assisted Training
Process Control
Techniques in CAD I
- James N. Hanson:
The Analysis of CAMS by Computer Aided Algebraic and Symbol Manipulation.
373-376
- Alina Golka:
A Computer System for the Synthesis of Reinforced Concrete Frames.
377-381
- Gérard Courtieux, Daniel Guibert:
Using a Conversational Translator Writing System for Generating Computer Aided Design Systems in Architecture.
383-387
Data Base Studies I
Fault Tolerance
- Algirdas Avizienis:
Fault-Tolerant Computing-Progress, Problems and Prospects.
405-420
- Kumar Subramanian:
A Model for Concurrent Diagnosis in a Microprogrammable System Using a Dynamic Test Scheme.
421-426
Distributed Data Switching
Telecommunications Management
- Michael L. Ford:
Business Problems in Planning of International Data Communications Networks.
437-439
Data Base Studies II
Data Networks:
Past,
Present and Future
- Paul Baran:
Some Perspectives on Networks-Past, Present and Future.
459-464
- Hubert Zimmermann:
The Cyclades Experience-Results and Impacts.
465-469
Performance Evaluation
Computational Algorithms
- J. A. van Hulzen, R. P. Hettich:
Approximation with a Class of Rational Functions.
487-492
- David Y. Y. Yun:
Fast Algorithm for Rational Function Integration.
493-498
- Sady Maurin:
An Application of a Component by Component Splitting up Scheme to the Hamilton-Jacobi Equation.
499-502
Organisational Productivity - The Role of Information Technology
- Paul A. Strassmann:
Organisational Productivity-The Role of Information Technology.
503-508
Packet Networks - Issues,
Experiences,
Choices
Program Translation
Future Potentials in Computer Communication
System Performance
Programming Support Systems
Data Bases and Business Systems
- Edgar H. Sibley:
The Impact of Database Technology on Business Systems.
589-596
Education in Computing II
Soft Hardware
Graphics in Software Engineering
Interactive Approaches to Corporate Planning and Control
- Ian P. Sharp:
Interactive Approaches to Corporate Planning and Control with Particular Reference to the use of APL.
641-642
Hardware Aids to Software
Computerized Evaluation and Computational Learning
Specialized Computer Services
CAD - Perspectives and Prospects
Decision Support Systems
- Michel R. Klein:
Finsim - A Decision Support System for Financial Planning and Engineering.
705-710
- J. A. M. Wolters:
Computer Based Planning and Modelling System.
711-716
- Trygve Reenskaug:
Prokon/Plan-A Modelling Tool for Project Planning and Control.
717-721
Logic and Proofs for Programs
System Programming
Automated Design in Electronics
Verification and Programming
- David C. Luckham:
Program Verification and Verification Oriented Programming.
783-793
- Malcolm C. Newey:
Proving Properties of Assembly Language Programs.
795-799
Impact of Information Systems on Organisations II
Operating Systems
Complexity Theory
- Gerd Wechsung:
A Nonlinear Lower Bound for the Formula Complexity of Certain Boolean Functions.
831-833
- Donald A. Alton:
"Natural" Complexity Measures and a Subrecursive Speed-up Theorem.
835-838
- Rusins Freivalds:
Probabilistic Machines Can Use Less Running Time.
839-842
Palallel Architectures
Programming Methodology
- David Lorge Parnas:
The Use of Precise Specification in the Development of Software.
861-867
- Anita K. Jones:
The Narrowing Gap Between Language Systems and Operating Systems.
869-873
Systems for Public Planning and Control
Techniques in CAD II
- Zsuzsanna Markusz:
How to Design Variants of Flats Using Programming Language PROLOG Based on Mathematical Logic.
885-889
- Henri G. Marchand:
Algorithmic Macro Design System for Shift Registers.
891-895
- D. B. Jarvis:
LSI by CAD Out of Daisy.
897-900
New Approaches to Systems Integrity
- David J. Lewis:
System Quality Through Development Audit.
901-904
- K. K. Wong:
A New Approach for Risk Analysis and Control - The UK Experience.
905-910
- H. J. Will, H. Brussel:
ACL - A Conversational Language for Audit Intelligence.
911-915
Numerical Methods in Mathematical Physics and in Control Theory
Formal Theories of Programs and Parallelism
Distributed Systems - Operational and Privacy Requirements
- James C. Emery:
Managerial and Economic Issues in Distributed Computing.
945-955
- Rein Turn:
Implementation of Privacy Protection Requirements.
957-962
Programming Systems
Concepts in Parallel Programs
Copyright © Mon Mar 15 03:41:34 2010
by Michael Ley (ley@uni-trier.de)
