Separation Logic for High-level Synthesis - 9783319532219

Winterstein - Separation Logic for High-level Synthesis - New paperbac - X555z

Andrew Rushton - VHDL for Logic Synthesis - New Hardback - X555z

Khalid - Domain Specific High-Level Synthesis for Cryptographic Worklo - X555z

Separation Logic for High-level Synthesis - 9783319850948

Villanueva - Logic-Based Program Synthesis and Transformation 32nd I - X555z

Sonenberg - Protein Synthesis and Translational Control - New hardback - X555z

VHDL for Logic Synthesis Rushton, Andrew: