Logic-based Program Synthesis And Transformation 29th International

Maribel Fernández | Logic-based Program Synthesis And Transformation |

Logic-based Program Synthesis And Transformation Peter J. Stuckey (u.

Sandro Etalle | Logic Based Program Synthesis And Transformation |

Michael Hanus | Logic-based Program Synthesis And Transformation |

Danny De Schreye | Logic-based Program Synthesis And Transformation |

Hirohisa Seki (u. A.) | Logic-based Program Synthesis And

Ricardo Peña (u. A.) | Logic-based Program Synthesis And

Maurizio Proietti | Logic Program Synthesis And Transformation |

Franco Turini (u. A.) | Logic Program Synthesis And Transformation

Memory-based Logic Synthesis 2832

Logic Synthesis For Fsm-based Control Units 1697

Memory-based Logic Synthesis | Tsutomu Sasao | Englisch | Taschenbuch

Logic Synthesis For Fpga-based Control Units Structural Decomposition

Memory-based Logic Synthesis Tsutomu Sasao Taschenbuch Paperback Xii

Logic Synthesis And Verification 2333