Computer Science

New books from university presses

Sort
by publisher Sort
by title Sort
randomly API CSV

(1) Automated Deduction in Nonclassical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics
by Lincoln A. Wallen
ISBN: 9780262231442

MIT Press
View at publisher

(2) Computation Structures
by Stephen A. Ward and Robert H. Halstead
ISBN: 9780262730884

MIT Press
View at publisher

(3) Single-Layer Wire Routing and Compaction
by F. Miller Maley
ISBN: 9780262132503

MIT Press
View at publisher

(4) TEDIUM and the Software Process
by Bruce I. Blum
ISBN: 9780262022941

MIT Press
View at publisher

« »