Filteren
1
Sorteren
Pagina 3 van
68 resultaten
Serie: Workshops in computing
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
paperbackEngels9783540198642
28-1-1994
This volume contains extended versions of papers presented at the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93) held in Louvain-la-Neuve in July 1993. 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
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
paperbackEngels9783540199489
25-4-1995
The papers that appear in this volume are refereed versions of presenta tions made at the third Neural Computation and Psychology Workshop, held at Stirling University, Scotland, from 31 August to 2 September 1994. 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
paperbackEngels9783540197805
6-8-1992
In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x = x + 1 defined over the real numbers; there is no value of x which satisfies it. Meer
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
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
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
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
paperbackEngels9783540197836
21-12-1992
Since its conception nearly 20 years ago, logic programming has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. Meer
paperbackEngels9783540197850
21-12-1992
This book contains the edited versions of papers presented at the Fourth Irish Conference on Artificial Intelligence and Cognitive Science (AICS'91), which was held at University College, Cork, Ireland on 19-20 September 1991. 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