rexyuan's To-Read Pile See stats for rexyuan's To-Read Pile

Collapse Up Next section Up Next (0)

No books added

Expand filter menu Filter list (6 books)

6 books

More OCaml: Algorithms, Methods, and Diversions by John Whitington

More OCaml: Algorithms, Methods, and Diversions

John Whitington

218 pages • missing pub info (editions)

nonfiction computer science informative medium-paced
An Introduction to Description Logic by Carsten Lutz, Franz Baader, Ian Horrocks

An Introduction to Description Logic

Carsten Lutz, Franz Baader, Ian Horrocks

260 pages • missing pub info (editions)

nonfiction computer science
How to Prove It: A Structured Approach by Daniel J. Velleman

How to Prove It: A Structured Approach

Daniel J. Velleman

319 pages • first pub 1994 (editions)

nonfiction mathematics science challenging informative slow-paced
Plural Logic by Timothy Smiley, Alex Oliver

Plural Logic

Timothy Smiley, Alex Oliver

352 pages • missing pub info (editions)

nonfiction philosophy informative medium-paced
An Introduction to Formal Languages and Automata by Peter Linz

An Introduction to Formal Languages and Automata

Peter Linz

450 pages • first pub 1990 (editions)

nonfiction computer science reference informative slow-paced
Principles of Model Checking by Christel Baier, Joost-Pieter Katoen

Principles of Model Checking

Mit Press

Joost-Pieter Katoen, Christel Baier

975 pages • missing pub info (editions)

nonfiction computer science science informative medium-paced