for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This undergraduate introduction to computational complexity gives a wide perspective on two central issues in theoretical computer... Læs mere
A guide to understanding and implementing multi-core, concurrent, distributed, real-time, and embedded applications. With an accessible... Læs mere
A rigorous, self-contained introduction to structural operational semantics and how to use it to describe, reason about and... Læs mere
Data modelling was hypothesised to be the salvation of an organisation's data problems. This book aims to... Læs mere
This 1991 book gives an overview of different areas of research in nonmonotonic reasoning. The guiding principles are: clarification of the... Læs mere
This book presents the proceedings of the Distributed Ada '89 Symposium... Læs mere
This book presents the rationale behind the design and development of the programming language Ada. The materials incorporating corrections to... Læs mere
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.
The authors describe here a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times. Consequently the ability to specify code and verify program correctness can be improved.
MUSE ranks as one of the best developed and most completely structured human factors methods. This book reviews the motivation for developing MUSE, and provides... Læs mere
The book covers the topic of concurrent programming using Concurrent ML (CML), an extension of the functional language Standard ML. The book is a practical 'how-to' book... Læs mere
This is a book for anyone who uses Fortran, from the novice learner to advanced expert. It describes best practices for programmers, scientists, engineers, computer... Læs mere