This monograph presents the still young, but already large and very active interdisciplinary realm of computer supported cooperative work (CSCW) in a systematic and well-balanced way. Besides technical progress also the cultural, social, legal, psychological and economic aspects of CSCW are discussed. The book makes accessible a wealth of information and culminates in the development and detailed discussion of a "Collaboratory" suitable to fulfil the needs of scientific cooperation in Europe. The book addresses CSCW research and development professionals as well as the general scientist interested in CSCW-based scientific cooperation. The bibliography with its more than 600 entries and the subject index are particularly comprehensive and helpful.

Planning and improving of production systems and manufacturing processes is a most complex task in engineering. In small and medium sized enterprises (SME's) it is usually carried out by a group of enterprise planners from different departments within a planning project. The main issue of this research is to overcome the logical and technical boundaries between the highly-interrelated modelling experts and their specific modelling tools and partial planning models as well as to efficiently coordinate their distributed, cooperative planning tasks. Therefore, a methodical integration concept as well as a groupware-based cooperation concept was developed. Now it is possible to combine the large number of sophisticated modelling tools, factory simulators as well as GPM tools, and to guarantee a seamless planning process. The conceptual ideas were implemented in a prototypical toolbox to show the technical realization of the flexible concepts for integration and cooperation support. (Back cover).

This publication presents the latest innovations and achievements of academic communities on Decision Support Systems (DSS). These advances include theory systems, computer-aided methods, algorithms, techniques and applications related to supporting decision making. The aim is to develop approaches for applying information systems technology to increase the effectiveness of decision making in situations where the computer system can support and enhance human judgements in the performance of tasks that have elements which cannot be specified in advance. Also it is intended to improve ways of synthesizing and applying relevant work from resource disciplines to practical implementation of systems that enhance decision support capability. The resource disciplines include: information technology, artificial intelligence, cognitive psychology, decision theory, organizational theory, operations research and modeling. Researchers come from the Operational Research area but also from Decision Theory, Multicriteria Decision Making methodologies, Fuzzy sets and modeling tools. Based on the introduction of Information and Communication Technologies in organizations, the decisional process is evolving from a mono actor to a multi actor situation in which cooperation is a way to make the decision.

"This book presents a wide range of the most current issues related to the planning, design, maintenance, and management of telecommunications and networking technologies and applications in organizations"--Provided by publisher.

This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liège, Belgium in July 1995. The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the three invited presentations. Originally oriented towards finite-state concurrent systems, CAV now covers all styles of verification approaches and a variety of application areas. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations. Beyond finite-state systems, real-time systems and hybrid systems are an important part of the conference.

This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in July 1995. Besides five invited lectures by distinguished researchers there are presented 19 full revised papers selected from a total of 58 submissions. The general theme is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; among the topics addressed are program transformation, program analysis, program verification, as well as convincing case studies.

This book constitutes the proceedings of the 11th International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC-11, held in Paris, France in July 1995. The volume presents five invited papers and 32 full revised research papers selected from a total of 68 submissions; it is focussed on research directed to the exploitation of algebraic techniques and methodologies for the application in coding and computer algebra. Among the topics covered are coding, cryptoloy, communication, factorization of polynomials, Gröbner bases, computer algebra, algebraic algorithms, symbolic computation, algebraic manipulation.