Handbook of discrete and combinatorial mathematics / Kenneth H. Rosen, editor-in-chief, John G. Michaels, project editor [and others].

Includes bibliographical references and index.

Foundations: Propositional and predicate logic / Jerrold W. Grossman ; Set theory / Jerrold W. Grossman ; Functions / Jerrold W. Grossman ; Relations / John G. Michaels ; Proof techniques / Susanna S. Epp ; Axiomatic program verification / David Riley ; Logic-based computer programming paradigms / Mukesh Dalal -- Counting methods : Summary of counting problems / John G. Michaels ; Basic counting techniques / Jay Yellen ; Permutations and combinations / Edward W. Packel ; Inclusion/exclusion / Robert G. Rieper ; Partitions / George E. Andrews ; Burnside/P�olya counting formula / Alan C. Tucker ; M�obius inversion counting / Edward A. Bender ; Young tableaux / Bruce E. Sagan -- Sequences : Special sequences / Thomas A. Dowling and Douglas R. Shier ; Generating functions / Ralph P. Grimaldi ; Recurrence relations / Ralph P. Grimaldi ; Finite differences / Jay Yellen ; Finite sums and summation / Victor S. Miller ; Asymptotics of sequences / Edward A. Bender ; Mechanical summation procedures / Kenneth H. Rosen -- Number theory : Basic concepts / Kenneth H. Rosen ; Greatest common divisors / Kenneth H. Rosen ; Congruences / Kenneth H. Rosen ; Prime numbers / Jon F. Grantham and Carl Pomerance ; Factorization / Jon F. Grantham and Carl Pomerance ; Arithmetic functions / Kenneth H. Rosen ; Primitive roots and quadratic residues / Kenneth H. Rosen ; Diophantine equations / Bart E. Goddard ; Diophantine approximation / Jeff Shalit ; Quadratic fields / Kenneth H. Rosen -- Algebraic structures / John G. Michaels : Algebraic models ; Groups ; Permutation groups ; Rings ; Polynomial rings ; Fields ; Lattices ; Boolean algebras -- Linear algebra : Vector spaces / Joel V. Brawley ; Linear transformations / Joel V. Brawley ; Matrix algebra / Peter R. Turner ; Linear systems / Barry Peyton and Esmond Ng ; Eigenanalysis / R. B. Bapat ; Combinatorial matrix theory / R. B. Bapat -- Discrete probability : Fundamental concepts / Joseph R. Barr ; Independence and dependence / Joseph R. Barr ; Random variables / Joseph R. Barr ; Discrete probability computations / Peter R. Turner ; Random walks / Patrick Jaillet ; System reliability / Douglas R. Shier ; Discrete-time Markov chains / Vidyadhar G. Kulkarni ; Queueing theory / Vidyadhar G. Kulkarni ; Simulation / Lawrence M. Leemis -- Graph theory : Introduction to graphs / Lowell W. Beineke ; Graph models / Jonathan L. Gross ; Directed graphs / Stephen B. Maurer ; Distance, connectivity, traversability / Edward R. Scheinerman ; Graph invariants and isomorphism types / Bennet Manvel ; Graph and map coloring / Arthur T. White ; Planar drawings / Jonathan L. Gross ; Topological graph theory / Jonathan L. Gross ; Enumerating graphs / Paul K. Stockmeyer ; Algebraic graph theory / Michael Doob ; Analytic graph theory / Stefan A. Burr ; Hypergraphs / Andreas Gyarfas -- Trees : Characterizations and types of trees / Lisa Carbone ; Spanning trees / Uri Peled ; Enumerating trees / Paul Stockmeyer -- Networks and flows : Minimum spanning trees / J. B. Orlin and Ravindra K. Ahuja ; Matchings / Douglas R. Shier ; Shortest paths / J. B. Orlin and Ravindra K. Ahuja ; Maximum flows / J. B. Orlin and Ravindra K. Ahuja ; Minimum cost flows / J. B. Orlin and Ravindra K. Ahuja ; Communication networks / David Simchi-Levi and Sunil Chopra ; Difficult routing and assignment problems / Bruce L. Golden and Bharat K. Kaku ; Network representations and data structures / Douglas R. Shier -- Partially ordered sets : Basic poset concepts / Graham Brightwell and Douglas B. West ; Poset properties / Graham Brightwell and Douglas B. West -- Combinatorial designs : Block designs / Charles J. Colbourn and Jeffrey H. Dinitz ; Symmetric designs and finite geometrics / Charles J. Colbourn and Jeffrey H. Dinitz ; Latin squares and orthogonal arrays / Charles J. Colbourn and Jeffrey H. Dinitz ; Matroids / James G. Oxley -- Discrete and computational geometry : Arrangements of geometric objects / Ileana Streinu ; Space filling / Karoly Bezdek ; Combinatorial geometry / J�anos Pach ; Polyhedra / Tamal K. Dey ; Algorithms and complexity in computational geometry / Jianer Chen ; Geometric data structures and searching / Dina Kravets ; Computational techniques / Nancy M. Amato ; Applications of geometry / W. Randolph Franklin -- Coding theory and cryptology / Alfred J. Menezes and Paul C. van Oorschot : Communication systems and information theory ; Basics of coding theory ; Linear codes ; Bounds for codes ; Nonlinear codes ; Convolutional codes ; Basics of cryptography ; Symmetric-key systems ; Public-key systems -- Discrete optimization : Linear programming / Beth Novick ; Location theory / S. Louis Hakimi ; Packing and covering / Sunil Chopra and David Simchi-Levi ; Activity Nets / S. E. Elmaghraby ; Game theory / Michael Mesterton-Gibbons ; Sperner’s lemma and fixed points / Joseph R. Barr -- Theoretical computer science : Computational models / Jonathan L. Gross ; Computability / William Gasarch ; Languages and grammars / Aarto Salomaa ; Algorithmic complexity / Thomas Cormen ; Complexity classes / Lane Hemaspaandra ; Randomized algorithms / Milena Mihail -- Information structures : Abstract datatypes / Charles H. Goldberg ; Concrete data structures / Jonathan L. Gross ; Sorting and searching / Jianer Chen ; Hashing / Viera Krnanova Proulx ; Dynamic graph algorithms / Joan Feigenbaum and Sampath Kannan.

"Handbook of Discrete and Combinatorial Mathematics presents a comprehensive collection of ready reference material for all of the important areas of discrete mathematics, including those essential to its applications in computer science and engineering." "Whether you're an engineer, computer professional, student, or someone interested in math, you will find this book incredibly useful."--Jacket.

English.