Søgning på underkategorier- og emner:
Combining knowledge with strategies, this is the first comprehensive book on data structure in programming contests. It is... 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.
The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.
First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving program behaviour.
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.
Written in a fun, accessible style, this step-by-step guide teaches non-programmers the key aspects of Unix... 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
To make a computer do a calculation, however simple, you must describe every step of that calculation in a language the computer can understand: this description is called a program.... Læs mere
An introduction to functional programming and its associated systems. A unique feature is its use of the language Haskell for teaching both... Læs mere
This book may be used as a self-contained manual for BBC-BASIC, the main language of the BBC Microcomputer and Master Series Computers. Information is presented in a form handy for reference.
C is one of the most popular programming languages. It is flexible, efficient, and highly portable, and can be used to write many different types of programs - from compilers and assemblers... Læs mere