Books like Mathematical Foundations of Computer Science Sets, Relations, and Induction

#1

Where Mathematics, Computer Science, Linguistics and Biology Meet

Gheorghe Păun

Themes: Combinatorics • Discrete Mathematics • Logic

#2

The Discrete Mathematical Charms of Paul Erd?s A Simple Introduction

Vašek Chvátal

Themes: Combinatorics • Discrete Mathematics • History & Philosophy

#3

Finite and Algorithmic Model Theory

Javier Esparza

Themes: Discrete Mathematics • Logic • History & Philosophy

#4

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

Richard J. Lipton

Themes: Discrete Mathematics • Logic • History & Philosophy

#5

Logical Methods In Honor of Anil Nerode’s Sixtieth Birthday

John N. Crossley

Themes: Discrete Mathematics • Logic • History & Philosophy

#6

Mathematical Principles of Fuzzy Logic

Vilém Novák

Themes: Discrete Mathematics • Logic • History & Philosophy

#7

Finite Automata, Formal Logic, and Circuit Complexity

Howard Straubing

Themes: Discrete Mathematics • Logic • History & Philosophy

#8

Parallel Computing Numerics, Applications, and Trends

Roman Trobec

Themes: Number Systems • Numerical Analysis • Discrete Mathematics

#9

The Handbook of Graph Algorithms and Applications Applications

Krishnaiyan Thulasiraman

Themes: Number Systems • Combinatorics • Numerical Analysis

#10

Finite Fields Normal Bases and Completely Free Elements

Dirk Hachenberger

Themes: Discrete Mathematics • Logic • History & Philosophy

#11

Mathematical Logic for Computer Science

Mordechai Ben-Ari

Themes: Discrete Mathematics • Logic • History & Philosophy

#12

Limits to Parallel Computation P-completeness Theory

Raymond Greenlaw

Themes: Numerical Analysis • Discrete Mathematics • Programming

#13

Basic Simple Type Theory

J. Roger Hindley

Themes: Discrete Mathematics • Logic • Programming

#14

Beginning Julia Programming For Engineers and Scientists

Sandeep Nagar

Themes: Discrete Mathematics • Logic • Programming

#15

Nondifferentiable Optimization and Polynomial Problems

N.Z. Shor

Themes: Combinatorics • Discrete Mathematics • Programming

#16

A Guide to MATLAB For Beginners and Experienced Users

Brian R. Hunt

Themes: Numerical Analysis • Discrete Mathematics • Programming

#17

Modeling Languages in Mathematical Optimization

Josef Kallrath

Themes: Numerical Analysis • Discrete Mathematics • Programming

#18

Modern Graph Theory

Béla Bollobás

Themes: Combinatorics • Discrete Mathematics • Programming

#19

Fuzzy Relational Systems Foundations and Principles

Radim Belohlávek

Themes: Logic • History & Philosophy • Programming

#20

How to Prove It A Structured Approach

Daniel J. Velleman

Themes: Discrete Mathematics • Logic • Programming

#21

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

O. Maimon

Themes: Logic • History & Philosophy • Programming

#22

Structured Matrices and Polynomials Unified Superfast Algorithms

Victor Pan

Themes: Numerical Analysis • Discrete Mathematics • Programming

#23

Parallel-Vector Equation Solvers for Finite Element Engineering Applications

Duc T. Nguyen

Themes: Numerical Analysis • Discrete Mathematics • Programming

#24

Algorithms for Large Scale Linear Algebraic Systems: Applications in Science and Engineering

Gabriel Winter Althaus

Themes: Numerical Analysis • Discrete Mathematics • Programming