My Library

Model reduction and approximation : theory and algorithms

Philadelphia : SIAM, Society for Industrial and Applied Mathematics, 2017. 2017

Discrete structures, logic, and computability

Hein, James L
Burlington, MA : World Headquarters/Jones & Bartlett Learning, [2016] 2016

Machine learning models and algorithms for big data classification : thinking with examples for effective learning

Suthaharan, Shan
New York : Springer Science+Business Media, 2016 2016

Introduction to mathematical proof : a transition to advanced mathematics

Roberts, Charles E., 1942-
Boca Raton : CRC Press, Taylor & Francis Group, [2015] 2015

Discrete structures with contemporary applications

Stanoyevitch, Alexander
Boca Raton, FL : CRC Press, c2011. 2011

Discrete mathematics and its applications

Rosen, Kenneth H.
Boston : McGraw-Hill , 2007. 2007

Introduction to the theory of computation

Sipser, Michael
Boston : Thomson Course Technology, 2006 2006

An introduction to formal languages and automata

Linz, Peter
Boston : Jones and Bartlett, 2006. 2006

Foundations of algorithms using C++ pseudocode

Neapolitan, Richard E
Sudbury, Mass. : Jones and Bartlett Publishers, 2004 2004

Learning Bayesian networks

Neapolitan, Richard E
Upper Saddle River, N.J. : Pearson Prentice Hall, 2004 2004

Discrete mathematical structures : Theory and applications

Malik, D. S
Boston, MA. : Thomson Course Technology , 2004 2004

Introduction to languages and the theory of computation

Martin, John C
Dubuque, Iowa : McGraw-Hill, 2003 2003

Reasoning about uncertainty

Halpern, Joseph Y., 1953-
Cambridge, Mass. : MIT Press, 2003 2003

Logic and language models for computer science

Hamburger, Henry, 1940-
Upper Saddle River, N.J. : Prentice Hall, 2002 2002

An introduction to formal languages and automata

Linz, Peter
Boston : Jones and Bartlett, 2001. 2001

Introduction to automata theory, languages, and computation

Hopcroft, John E., 1939-
bOSTON : Addison Wesley, 2001 2001

Self-checking and fault-tolerant digital design

Lala, Parag K., 1948-
San Francisco : Morgan Kaufmann, 2001 2001

Elements of the theory of computation

Lewis, Harry R
Upper Saddle River, N.J. : Prentice-Hall, 1998. 1998

The Essence of Logic

Kelly, John J
Harlow (England) : Prentice Hall , 1997 1997

A first course in formal language theory

Rayward-Smith, V. J
London ; New York : McGraw-Hill Book Co., 1995. 1995

Introduction to digital logic design

Hayes, John P
Reading, Mass. : Addison-Wesley, 1993. 1993

Logic design theory

Biswas, Nripendra Nath, 1928-
New Delhi : Prentice-Hall of India , 1993 1993

Digital logic and state machine design

Comer, David J
Fort Worth : Saunders , 1990 1990

An engineering approach to digital design

Fletcher, William I.
Englewood Cliffs : Prentice-Hall , 1980. 1980