Søgning på underkategorier- og emner:
The main purpose of the text is to present the student with just enough of the R language, machine learning algorithms, and... Læs mere
This book is ideal for translators, technical writers and subject specialists who are interested in exploring the potential of a corpus-based approach to teaching and learning LSP.
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.
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
Written by acknowledged experts, for advanced students and researchers in mathematical logic and computer science, this volume provides a detailed, self-contained coverage of... Læs mere
This 1998 book is a beginner's guide to problem solving with computers that shows how to quickly prototype a program for a particular... Læs mere
This book is for an undergraduate course on data structures, presenting the basic principles of OOP and GUI programming with Java. By integrating the... Læs mere
This 2004 book provides students and professional programmers with a concise yet comprehensive view of the role memory plays in all aspects of programming and... Læs mere