(Ilmumisaeg: 25-Nov-1997, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540762270)
The papers from the First East-European Symposium on Advances in Databases and Information Systems are available on-line at http://ewic.springer.co.uk/. This booklet provides the passwords needed to access the Web site. Purchase of the booklet entit...Loe edasi...
(Ilmumisaeg: 25-Nov-1997, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540762287)
The papers from the 2nd International Workshop on the Theory and Practice of Algebraic Specifications are available on-line at http://ewic.springer.co.uk/. This booklet provides the passwords needed to access the Web site. Purchase of the booklet ent...Loe edasi...
(Ilmumisaeg: 29-Oct-1997, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540762157)
The aim of this workshop, held in Ilkley, Yorkshire in July 1997, was to provide an informal atmosphere for the exchange of ideas in order to contribute to fundamental research in the use of formal methods for the development of concurrent, real-tim...Loe edasi...
(Ilmumisaeg: 11-Sep-1997, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540761969)
As of 1996 the Workshops in Computing series has been published on-line. This work provides the passwords needed to access the papers from the first Irish Workshop on Formal Methods. It covers topics within the general area of formal methods, theo...Loe edasi...
(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: 9783540199830)
The areas of active and real-time databases have seen a tremendous growth of interest in the past few years, particularly with regard to their support of time-critical and embedded applications. ARTDB-95 provided, therefore, an important forum for re...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: 01-Dec-1995, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540760146)
The Workshops in Computing series is the result of a collaborative venture between the British Computer Society and Springer-Verlag. It is international in scope.Each volume is based on the proceedings of a specialist workshop and is designed to...Loe edasi...
Sylvain Fraisse, Franca Garzotto, Tomas Isakowitz, Jocelyne Nanard, Marc Nanard
Sari: Workshops in Computing
(Ilmumisaeg: 15-Nov-1995, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540199854)
The Workshops in Computing series is the result of a collaborative venture between the British Computer Society and Springer-Verlag. It is international in scope.Each volume is based on the proceedings of a specialist workshop and is designed to...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: 29-Sep-1995, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540199458)
This volume contains papers presented at the International Workshop on Temporal Databases, held in Zurich, Switzerland, from 17-18 September 1995. The papers cover a wide range of topics from the highly theoretical through to reports on how temporal...Loe edasi...
(Ilmumisaeg: 01-Jun-1995, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540199472)
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. This will not only revolutionise the broadcast industry, by maki...Loe edasi...
(Ilmumisaeg: 25-Apr-1995, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540199489)
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....Loe edasi...
