- Understanding and Changing the World: From Information to Knowledge and IntelligenceSifakis, Joseph
Hardcover - Programs as Diagrams: From Categorical Computability to Computable CategoriesPavlovic, Dusko
Hardcover - Systemverilog for Verification: A Guide to Learning the Testbench Language FeaturesTumbush, Greg
Hardcover (3rd ed)