Books like Finite Automata, Formal Logic, and Circuit Complexity

#1

The P=NP Question and Gödel’s Lost Letter

Richard J. Lipton

Themes: Discrete Mathematics • Algorithms • Logic

#2

Logical Methods In Honor of Anil Nerode’s Sixtieth Birthday

John N. Crossley

Themes: Data Processing • Discrete Mathematics • Logic

#3

Soft Computing for Knowledge Discovery Introducing Cartesian Granule Features

James G. Shanahan

Themes: Algorithms • Logic • History & Philosophy

#4

Knowledge Discovery and Data Mining The Info-Fuzzy Network (IFN) Methodology

O. Maimon

Themes: Algorithms • Logic • History & Philosophy

#5

Mathematical Principles of Fuzzy Logic

Vilém Novák

Themes: Discrete Mathematics • Algorithms • Logic

#6

Finite and Algorithmic Model Theory

Javier Esparza

Themes: Discrete Mathematics • Algorithms • Logic

#7

Cognitive Engineering A Distributed Approach to Machine Intelligence

Amit Konar

Themes: Data Processing • Discrete Mathematics • Algorithms

#8

Mathematical Logic for Computer Science

Mordechai Ben-Ari

Themes: Discrete Mathematics • Logic • History & Philosophy

#9

Finite Fields Normal Bases and Completely Free Elements

Dirk Hachenberger

Themes: Discrete Mathematics • Logic • History & Philosophy

#10

Algorithms for Computer Algebra

Keith O. Geddes

Themes: Data Processing • Discrete Mathematics • Algorithms

#11

Nonblocking Electronic and Photonic Switching Fabrics

Wojciech Kabacinski

Themes: Discrete Mathematics • Algorithms • Information Technology

#12

Primality Testing and Integer Factorization in Public-Key Cryptography

Song Y. Yan

Themes: Discrete Mathematics • Algorithms • Information Technology

#13

Mathematical Foundations of Computer Science Sets, Relations, and Induction

Peter A. Fejer

Themes: Discrete Mathematics • Logic • History & Philosophy

#14

The Algorithm Design Manual

Steven S. Skiena

Themes: Discrete Mathematics • Algorithms • Information Technology

#15

Secure Broadcast Communication In Wired and Wireless Networks

Adrian Perrig

Themes: Discrete Mathematics • Algorithms • Information Technology

#16

Ontology Learning for the Semantic Web

Alexander Maedche

Themes: Discrete Mathematics • Algorithms • Information Technology

#17

Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms

Abel Gomes

Themes: Data Processing • Discrete Mathematics • Algorithms

#18

Modern Graph Theory

Béla Bollobás

Themes: Discrete Mathematics • Algorithms • Information Technology

#19

Genetic Programming Theory and Practice III

Tina Yu

Themes: Discrete Mathematics • Algorithms • Information Technology

#20

Fuzzy Relational Systems Foundations and Principles

Radim Belohlávek

Themes: Algorithms • Logic • History & Philosophy

#21

High Performance Discovery In Time Series Techniques and Case Studies

Dennis Elliott Shasha

Themes: Discrete Mathematics • Algorithms • Information Technology

#22

Parallel-Vector Equation Solvers for Finite Element Engineering Applications

Duc T. Nguyen

Themes: Discrete Mathematics • Algorithms • Information Technology

#23

Knowledge Discovery and Measures of Interest

Robert Hilderman

Themes: Discrete Mathematics • Algorithms • Information Technology

#24

How to Prove It A Structured Approach

Daniel J. Velleman

Themes: Discrete Mathematics • Algorithms • Logic