Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 39 citing Discrete Mathematics and Its Applications.

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel - Mathematics - 2002 - 226 pages
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle ...
Limited preview - About this book

Data Access and Storage Management for Embedded Programmable Processors

Francky Catthoor, K. Danckaert - Computers - 2002 - 305 pages
Índice abreviado: 1. DTSE in programmable architectures 2. Related compiler work on data transfer and storage management 3. Global loop transformations 4. System-level storage ...
Limited preview - About this book

Fundamentals of the Theory of Computation: Principles and Practice

Raymond Greenlaw, H. James Hoover - Computers - 1998 - 336 pages
This text addresses some theoretical issues surrounding computer science. It provides an introduction to the theory of computation, and covers programming languages, finite ...
Limited preview - About this book

Computer-Supported Collaboration: With Applications to Software Development

Fadi P. Deek, James A. M. McHugh - Computers - 2003 - 250 pages
Computer-Supported Collaboration with Applications to Software Development reviews the theory of collaborative groups and the factors that affect collaboration, particularly ...
Limited preview - About this book

Service Provision: Technologies for Next Generation Communications

Kenneth J. Turner, Evan H. Magill, David J. Marples - Computers - 2004 - 366 pages
This book provides the first overview of the service technologies available to telecoms operators working in a post-convergence world. Previous books have focused either on ...
Limited preview - About this book

Generation of Multivariate Hermite Interpolating Polynomials

Santiago Alves Tavares - Mathematics - 2005 - 704 pages
Generation of Multivariate Hermite Interpolating Polynomials advances the study of approximate solutions to partial differential equations by presenting a novel approach that ...
Limited preview - About this book

Automata, Computability and Complexity: Theory and Applications

Elaine Rich - Computers - 2008 - 1099 pages
The theoretical underpinnings of computing form a standard part of almost every computer science curriculum. But the classic treatment of this material isolates it from the ...
Snippet view - About this book

  1. My library
  2. Help
  3. Advanced Book Search