Søgning på underkategorier- og emner:
This book teaches GPU programming by introducing CPU multi-threaded programming and bases GPU massively-parallel programming on this foundation. The... Læs mere
This book addresses the significant challenge in designing applications to effectively use high-performance computing architectures and offers methods... Læs mere
Adding material on open source and agile development models, this second edition equips students with the fundamentals to prepare them for satisfying careers as... Læs mere
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