1
by Date, C. J.
Published 2019
Apress

2
by Date, C. J.
Published 2012
O'Reilly Media

4
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... -- Toward a Formal Macroset Theory -- Normal Forms of Grammars, Finite Automata, Abstract Families...

5
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... -- Foundations of Satisfiability Modulo Theories -- Logical Form as a Determinant of Cognitive Processes...

6
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... VIII: Theory -- Closed-Form Formulas for Private Watermarking Capacities of Laplacian Sources...