(Ilmumisaeg: 06-Apr-1995, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540199014)
As the costs of power and timing become increasingly difficult to manage in traditional synchronous systems, designers are being forced to look at asynchronous alternatives. Based on reworked and expanded papers from the VII Banff Higher Order Worksh...Loe edasi...
(Ilmumisaeg: 01-Dec-1995, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540760153)
This is the latest volume in the Workshops in Computing series and contains papers to be presented at the Third International Workshop on Deontic Logic in Computer Science (DEON 96) to be held in Sesimbra, Portugal 11 - 13 January 1996. It co...Loe edasi...
(Ilmumisaeg: 13-Oct-1995, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540199823)
This book is the proceedings of the Structures in Concurrency Theory workshop (STRICT) that was held from 11 th to l3th May 1995 in Berlin, Germany. Concurrency Theory deals with formal aspects of concurrent systems. Original papers had been sought...Loe edasi...
(Ilmumisaeg: 21-Mar-1995, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540199144)
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 t...Loe edasi...
(Ilmumisaeg: 16-Jun-1994, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540198796)
The Glasgow Functional Programming Workshops have been held annually since 1988, and provide an invaluable opportunity for the discussion of unresolved research issues, and for the presentation of current results. This volume is based on the proceedi...Loe edasi...
(Ilmumisaeg: 28-Jan-1994, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540198642)
This volume contains the papers from the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93), held in Louvain-la-Neuve, Belgium, from 7-9 July 1993. Logic program synthesis and transformation play a vital role in th...Loe edasi...
(Ilmumisaeg: 09-Apr-1992, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540197362)
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 mana...Loe edasi...
(Ilmumisaeg: 06-Aug-1992, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540197577)
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. The aim of the workshop was to evaluate current methods of code generation and to ind...Loe edasi...
(Ilmumisaeg: 23-Jul-1990, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540195818)
Papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland--Pref. This volume contains papers presented at the BCS-FACS Workshop on Specif...Loe edasi...
(Ilmumisaeg: 19-Nov-1990, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540196464)
This volume presents the Proceedings of the International Workshop on Computer Architecures to Support Security and Persistence of Information, which was held in Bremen, West Germany, from 8 to 11 May 1990. The papers provide state-of-the-art details...Loe edasi...
