Computation and Reasoning: A Type Theory for Computer Science by Zhaohui Luo (En

Structural Dynamics : Theory and Computation, Second Edition by Mario Paz, D1

Computation and Reasoning - A Type Theory for Computer Science by Zhaohui Luo

Mathematics and Computation: A Theory Revolutionizing Technology and Science by

Computation and Reasoning: A Type Theory for Computer Science by Zhaohui Luo (En

Introduction to Automata Theory, Languages and Computation Addison-Wesley series

Mathematics and Computation: A Theory Revolutionizing Technology and Science by

Integrated Matrix Analysis Of Structures: Theory And Computation by Paz & Leigh