Filteren
1
Sorteren
68 resultaten
Serie: Workshops in computing
paperbackEngels9783540196082
10-7-1990
This volume contains the texts of papers presented at the Second Irish Conference on Artificial Intelligence and Cognitive Science, held at Dublin City University in September 1989. 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
paperbackEngels9783540196358
19-11-1990
The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com puter Systems (FM89} was an invitational workshop that brought together repre sentatives from the research, commercial and governmental spheres of Canada, the United Kingdom, and the United States. 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
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
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
paperbackEngels9783540197331
13-1-1992
Performance engineering is a fast-moving field where advances in technology mean that new issues constantly need to be addressed. In response to this, the UK Computer and Telecommunications Performance Engineering workshops were set up in 1985 to provide a valuable opportunity for the discussion and exchange of ideas. 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
paperbackEngels9783540197423
25-2-1992
Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. Meer
paperbackEngels9783540197522
27-10-1992
Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations. Meer
paperbackEngels9783540197577
6-8-1992
Code Generation - Concepts, Tools, Techniques is based upon the proceedings of the Dagstuhl workshop on code generation which took place from 20-24 May 1991. Meer
paperbackEngels9783540198970
16-8-1994
The Software Engineering and Knowledgebase Systems (SOFfEKS) Research Group of the Department of Computer Science, Concordia University, Canada, organized a workshop on Incompleteness and Uncertainty in Information Systems from October 8-9, 1993 in Montreal. Meer
paperbackEngels9783540199106
13-12-1994
A brief survey of the major DBMS and HeI conference proceedings over the past 10 years will reveal isolated pockets of research in database user interfaces but little sense of being swept along with the general advances in DBMS technology and Hel. Meer
paperbackEngels9783540199120
21-3-1995
The Sixth International Workshop on Persistent Object Systems was held at Les Mazets des Roches near Tarascon, Provence in southern France from the fifth to the ninth of September 1994. Meer
paperbackEngels9783540199144
21-3-1995
This is the proceedings of the seventh annual workshop held by the Glasgow Functional Programming Group. The purpose of the workshop is to provide a focus for new research, to foster research contacts with other functional language researchers, and to provide a platform for research students to develop their presentation skills. Meer
paperbackEngels9783540199458
29-9-1995
The International Workshop on Temporal Databases held in Zurich, Switzerland, 17-18 September 1995 brought together researchers from academic and industrial institutions with database practitioners interested in keeping up with the state-of-the-art developments in the management of temporal data. Meer
paperbackEngels9783540199472
1-6-1995
Recent developments in computer visualisation mean that it is now possible to combine computer-generated image sequences with real video, in real time, for broadcast quality production. Meer