Filteren
1
Sorteren
68 resultaten
Serie: Workshops in computing
paperbackEngels9783540196099
29-8-1990
Functional Programming is a relatively new area of computer science. These proceedings contain 25 papers representing an excellent snapshot of the current state of functional programming and are written by the leading computer scientists in this aera. Meer
paperbackEngels9783540196259
23-7-1990
The semantics of concurrent systems is one of the most vigorous areas of research in theoretical computer science, but suffers from disagree ment due to different, and often incompatible, attitudes towards abstracting non-sequential behaviour. Meer
paperbackEngels9783540196266
31-8-1990
Persistent object systems are systems which support the creation and manipulation of objects in a uniform manner, regardless of how long they persist. Meer
paperbackEngels9783540196273
24-9-1990
The mathematical concepts and notational conventions we know of as Z were first proposed around 1981. Its origins were in line with the objectives of the PRG - to establish a mathematical basis for program ming concepts and to verify the work by case studies with industry. Meer
paperbackEngels9783540196464
19-11-1990
During a short visit to Bremen in December 1989 John Rosenberg had several discussions with me about computer architecture. Although we had previously worked together for more than a decade in Australia we had not seen each other for over a year, following my move to Bremen in 1988. Meer
paperbackEngels9783540196488
11-2-1991
This book contains the majority of the papers presented at the 1990 Women into Computing Conference, together with selected papers from the 1989 and 1988 Conferences. Meer
paperbackEngels9783540196525
29-5-1991
In November 1989 we organised a workshop on software re-use, inviting members of the leading research teams across Europe. In retrospect, we realise that we missed a few research teams out, but nevertheless we did have a very fruitful workshop. Meer
paperbackEngels9783540196532
29-5-1991
This book contains the edited versions of papers presented at the 3rd Irish Conference on Artificial Intelligence and Cognitive Science, which was held at the University of Ulster at Jordanstown, Northern Ireland on 20-21 September 1990. Meer
paperbackEngels9783540196570
12-6-1991
This volume contains the proceedings ofthe 4th Refinement Workshop which was organised by the British Computer Society specialist group in Formal Aspects of Computing Science and held in Wolfson College, Cambridge, on 9-11 January, 1991. Meer
paperbackEngels9783540196594
30-4-1991
These proceedings contain the papers presented at a workshop on Designing Correct Circuits, jointly organised by the Universities of Oxford and Glasgow, and held in Oxford on 26-28 September 1990. Meer
paperbackEngels9783540196600
31-7-1991
It is many years since Landin, Burge and others showed us how to apply higher order techniques and thus laid some foundations for modern functional programming. Meer
paperbackEngels9783540196679
30-4-1991
The Third Glasgow Workshop on Functional Programming was held in Ullapool, Scotland, 13-15th August 1990. Members of the functional programming groups at Glasgow and Stirling University attended the workshop together with a small number of invited participants from other universities and industry. Meer
paperbackEngels9783540196723
31-7-1991
The approach described in [JonSl, JonS3a, JonS3b] set out to extend operation decom position methods for sequential programs - such as are used in VDM [Jon90] - to cover concurrent shared-variable systems. Meer
paperbackEngels9783540197355
9-4-1992
Declarative programming languages are based on sound mathematical foundations which means that they offer many advantages for software development. These advantages include their powerful descriptive capabilities, the availability of program analysis techniques and the potential for parallel execution. Meer
paperbackEngels9783540197362
9-4-1992
Architectures and tools are two important considerations in the construction of interactive computer systems. The former is concerned with the optimal structural organisation of systems and the latter with the effective support of the design and management of user interfaces. Meer
paperbackEngels9783540197881
28-8-1992
This book contains the eight invited papers presented at the workshop on Formal Aspects of Measurement held at South Bank University on 5th May 1991, organised by the British Computer Society's Special Interest Group on Formal Aspects of Computer Science (FACS). Meer
paperbackEngels9783540197997
30-8-1993
The annual Irish Conferences on Artificial Intelligence and Cognitive Science have become the major forum in Ireland for the discussion of various aspects of artificial intelligence. Meer
paperbackEngels9783540198000
30-4-1993
The Fifth International Workshop on Persistent Object Systems took place in the historic setting of Centro Studi "I Cappuccini" della Cassa di Risparmio di San Miniato. Meer
paperbackEngels9783540198024
12-7-1993
Despite the volume of research carried out into the design of database systems and the design of user interfaces, there is little cross-fertilization between the two areas. Meer
paperbackEngels9783540198031
30-4-1993
Database modelling is concerned with the design of reliable and efficient database systems. Three different approaches to modelling can be identified: structure-oriented, process-oriented, and behaviour-oriented. Meer