Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Appli

Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Ap...

Synthesis of Passive Networks: Theory and Methods Appropriate to the Realiza...

Logic Synthesis and Verification Algorithms

Polymer and Polymer-hybrid Nanoparticles : From Synthesis to Biomedical Appli...

Modern Methods of Organic Synthesis 4th Ed. Carruthers & Coldham-Cambridge Press

Polymer and Polymer-hybrid Nanoparticles : From Synthesis to Biomedical Appli...