Proof, Language, and Interaction

• Hardcover | Foundations of Computing
• This collection of original essays reflects the breadth of current research in computer science. Lees meer

Dynamic Logic

David Harel, Dexter Kozen, Jerzy Tiuryn

• Paperback | Engels | Foundations of Computing
• This book provides the first comprehensive introduction to Dynamic Logic. Among the many approaches to formal reasoning about programs, Dynamic Logic ... Lees meer

The Formal Semantics of Programming Languages

Glynn Winskel

• Paperback | Engels | Foundations of Computing
• The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantic... Lees meer

Foundations for Programming Languages

John C Mitchell

• Hardcover | Engels | Foundations of Computing
• Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to stu... Lees meer

Computability and Complexity

Neil D. Jones

• Hardcover | Foundations of Computing
• The aim of this text is to build a bridge between computability and complexity theory and other areas of computer science, especially programming. It ... Lees meer

Circuit Complexity and Neural Networks

Ian Parberry

• Hardcover | Foundations of Computing
• This text addresses the important question of how well neural networks scale, that is, how fast the computation time and number of neurons grow as the... Lees meer

Basic Category Theory for Computer Scientists

Benjamin C Pierce

• Paperback | Engels | Foundations of Computing
• Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, i... Lees meer

Theoretical Aspects of Object-Oriented Programming

• Hardcover | Foundations of Computing
• This book brings together the most important contributions to its development to date, focusing in particular on how advances in type systems and sema... Lees meer

Theoretical Aspects of Object-Oriented Programming

• Paperback | Foundations of Computing
• This book brings together the most important contributions to its development to date, focusing in particular on how advances in type systems and sema... Lees meer

Logic and Information Flow

• Hardcover | Foundations of Computing
• This text contains contributions from logicians, theoretical computer scientists, philosophers, and semanticists. It addresses, from the perspective o... Lees meer

Exploring Interior-Point Linear Programming

Ami Arbel

• Paperback | Engels | Foundations of Computing
• Linear programming is widely used in industry to solve complex planning and resource allocation problems. This book provides practitioners, as well as... Lees meer

Algorithmic Number Theory

Eric (University of Wisconsin) Bach, Jeffrey (University of Waterloo) Shallit

• Paperback | Foundations of Computing
• Algorithmic Number Theory provides a thorough introduction to the design and analysis of algorithms for problems from the theory of numbers. Although ... Lees meer

The Structure of Typed Programming Languages

David A. Schmidt

• Paperback | Foundations of Computing
• The text is unique in its tutorial presentation of higher-order lambda calculus and intuitionistic type theory. Lees meer

Complexity Issues in VLSI

Frank Thomson Leighton

• Paperback | Engels | Foundations of Computing
• This book solves several mathematical problems in the areas of Very Large Scale Integration (VLSI) and parallel computation. In particular, it describ... Lees meer