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 - Computers - 2002 - 218 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

K. Danckaert - Computers - 2002 - 305 pages
Data Access and Storage Management for Embedded Programmable Processors gives an overview of the state-of-the-art in system-level data access and storage management for ...
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. McHugh - Business & Economics - 2003 - 250 pages
With the development of networked computing and the increased complexity of applications and software systems development, the importance of computer-supported collaborative ...
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