# Foundations of Computing

## Showing results 1-10 of 26

Filter Results OPEN +

Semantics of Programming Languages

### Semantics of Programming Languages

#### Structures and Techniques

ISBN: 9780262570954

Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory...

### Complexity Issues in VLSI

#### Optimal Layouts for the Shuffle-Exchange Graph and Other Networks

ISBN: 9780262621786

This book solves several mathematical problems in the areas of Very Large Scale Integration (VLSI) and parallel computation. In particular, it describes optimal layouts for the shuffle-exchange graph,...

### Algorithmic Number Theory

#### Efficient Algorithms

ISBN: 9780262526296

Algorithmic Number Theory provides a thorough introduction to the design and analysis of algorithms for problems from the theory of numbers. Although not an elementary textbook, it includes over 300 exercises with suggested solutions. Every theorem not proved in the text or left as an exercise has a reference in the notes section that appears at the end of each chapter.

The Formal Semantics of Programming Languages

### The Formal Semantics of Programming Languages

#### An Introduction

ISBN: 9780262731034

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages....

### The Stable Marriage Problem

#### Structure and Algorithms

ISBN: 9780262515528

This book probes the stable marriage problem and its variants as a rich source of problems and ideas that illustrate both the design and analysis of efficient algorithms. It covers the most recent...

### Dynamic Logic

ISBN: 9780262527668

This book provides the first comprehensive introduction to Dynamic Logic.

Circuit Complexity and Neural Networks

### Circuit Complexity and Neural Networks

ISBN: 9780262525640

Neural networks usually work adequately on small problems but can run into trouble when they are scaled up to problems involving large amounts of input data. Circuit Complexity and Neural Networks...

Theoretical Aspects of Object-Oriented Programming

### Theoretical Aspects of Object-Oriented Programming

#### Types, Semantics, and Language Design

ISBN: 9780262526326

This book brings together the most important contributions to its development to date, focusing in particular on how advances in type systems and semantic models can contribute to new language designs.

The Structure of Typed Programming Languages

### The Structure of Typed Programming Languages

ISBN: 9780262691710

The text is unique in its tutorial presentation of higher-order lambda calculus and intuitionistic type theory.

From Logic to Logic Programming

### From Logic to Logic Programming

ISBN: 9780262041423

This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together...