This book is an effective, concise text for students and researchers that combines the tools of dynamic programming with numerical techniques and simulation-based econometric methods. Doing so, it br
The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this i
A comprehensive survey of the theory and applications of meta-programming, covering problems of representation and of soundness and correctness of interpreters, analysis and evaluation of meta-logic p
Scheme is a general-purpose programming language, descended from Algol and Lisp, widely used in computing education and research and a broad range of industrial applications. This thoroughly updated
Foreword by Bjarne Stroustrup Software is generally acknowledged to be the single greatest obstacle preventing mainstream adoption of massively-parallel computing. While sequential applications are ro
Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of program
Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of program
Synthetic biology, which aims to design and build organisms that serve human needs,has potential applications that range from producing biofuels to programming human behavior. Theemergence of this new
Synthetic biology, which aims to design and build organisms that serve human needs,has potential applications that range from producing biofuels to programming human behavior. Theemergence of this new
An Introduction to Distributed Algorithms takes up some of the main concepts and algorithms, ranging from basic to advanced techniques and applications, that underlie the programming of distributed-me
"An Introduction to Distributed Algorithms" takes up some of the main concepts and algorithms, ranging from basic to advanced techniques and applications, that underlie the programming of distributed-
The contributors take up applications of logic programming, logic programming and databases, theory of logic and functional programming, parallel executing of logic programs, implementation of logic p
