Application and Theory of Petri Nets. Selected Papers from the First and Second European Workshop on Application and Theory of Petri Nets. Strasbourg, 23 - 26. September 1980. Bad Honnef, 28 - 30 September 1981. Informatik - Fachberichte N? 52

Graphes algorithmes logiciels

Computer Programs for Spelling Correction. An Experiment in Program Design. Lecture Notes in Computer Science N∫ 96

Graphtheoretic Concepts in Computer Science. Proceedings of the International Workshop WG 80 Bad Honnef, June 15-18, 1980. Lecture Notes in Computer Science N∫ 100

Automatic Differentiation: Techniques and Applications. Lecture Notes in Computer Science N∫ 120

The Munich Project Cip. Volume I: The Wide Spectrum Language Cip-L. Lecture Notes in Computer Science N∫ 183

A Relational Theory of Computing. Lecture Notes in Computer Science N∫ 82

The Adaptation of Virtual Man-Computer Interfaces to User Requirements in Dialogs. Lecture Notes in Computer Science N∫ 110

The Programming Language Ada. Reference Manual. Proposed Standard Document United States Department of Defense. Lecture Notes in Computer Science N∫ 106

Net Theory and Applications: Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979. Lecture Notes in Computer Science N∫ 84