Related Books

Transactions on Computational Science XXIV
Language: en
Pages: 159
Authors: Marina L. Gavrilova
Categories: Computers
Type: BOOK - Published: 2014-12-06 - Publisher: Springer

GET EBOOK

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere an
Reversible Computation
Language: en
Pages: 255
Authors: Iain Phillips
Categories: Computers
Type: BOOK - Published: 2017-06-26 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 9th International Conference on Reversible Computation, RC 2017, held in Kolkata, India, in July 2017. The
Information Modelling and Knowledge Bases XXIV
Language: en
Pages: 376
Authors: Peter Vojtáš
Categories: Computers
Type: BOOK - Published: 2013-01-15 - Publisher: IOS Press

GET EBOOK

With the growth in our reliance on information systems and computer science information modeling and knowledge bases have become a focus for academic attention
STACS 90
Language: en
Pages: 324
Authors: Christian Choffrut
Categories: Computers
Type: BOOK - Published: 1990-02-07 - Publisher: Springer Science & Business Media

GET EBOOK

The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Association Franç
Data Refinement
Language: en
Pages: 439
Authors: W.-P. de Roever
Categories: Computers
Type: BOOK - Published: 1998-12-03 - Publisher: Cambridge University Press

GET EBOOK

The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulat