Proceedings, 1987 Symposium on Logic Programming - 1987 - 530 pages |

Proceedings, IEEE Symposium on FPGAs for Custom Computing Machines, April 17-19, 1996, Napa Valley, California by Kenneth L. Pocek, Jeffrey M. Arnold, IEEE Computer Society. Technical Committee on Computer Architecture - 1996 - 235 pages |

Programmable Logic Controllers by William Bolton - 1996 - 175 pages |

Programmable logic design guide by National Semiconductor Corporation, National Semiconductor Corporation. Bipolar Memory - 1985 - 377 pages |

Programmable logic handbook by Intel Corporation - 1988 - 419 pages |

Programming Logic and Design by Joyce Farrell - 2012 - 358 pages |

Programming Logic and Design by Joyce Farrell - 2012 - 666 pages |

Programming Logic and Design by Joyce Farrell - 2010 - 364 pages |

Programming Logic and Design by Joyce Farrell - 2010 - 364 pages |

Programming Logic And Design, Introductory by Joyce Farrell - 2005 - 360 pages |

Projection in Constraint Logic Programming by Andreas Fordan - 1999 - 145 pages |

Routability-driven technology mapping for lookup table-based FPGAs by Martine Schlag, Jackson Kong, Pak K. Chan, University of California, Santa Cruz. Computer Research Laboratory - 1992 - 19 pages |

Routing, Placement, and Partitioning - 1994 - 293 pages |

Routing, placement, and partitioning by George Winston Zobrist - 1994 - 293 pages |

Selected reprints on logic design for testability by Constantin C. Timoc - 1984 - 315 pages |

Signaturanalyse by Lutz Voelkel, Jurgen Pliquett, Jürgen Pliquett - 1989 - 223 pages |

Signaturanalyse by Lutz Voelkel, Jurgen Pliquett, Jürgen Pliquett - 1989 - 223 pages |

Specifying message passing and time-critical systems with temporal logic by Ron Koymans - 1992 - 164 pages |

Spectral-based multi-way FGPA partitioning by Pak K. Chan, Martine Schlag, Jason Y. Zien, University of California, Santa Cruz. Computer Research Laboratory - 1994 - 11 pages |

Systolic Array Processors by J. V. McCanny, John McWhirter, Earl E. Swartzlander - 1989 - 652 pages |

Systolic array processors by J. V. McCanny, John McWhirter, Earl E. Swartzlander - 1989 - 652 pages |

Temporal logic by Dov M. Gabbay, Ian Hodkinson, Mark A. Reynolds - 1994 - 653 pages |

The Haskell road to logic, maths and programming by Kees Doets, Jan van Eijck - 2004 - 426 pages |

The Logic Programming Tutor by Joclyn Paine - 1992 - 365 pages |

The Origins of Digital Computers - 1982 - 580 pages |

The programmable logic data book by Texas Instruments Incorporated - 1990 |

Theoretical issues in the implementation of programming languages by Marvin Harry Solomon - 1977 - 204 pages |

Transducers for microprocessor systems by John Charles Cluley - 1985 - 107 pages |

Type-Theoretical Grammar by Aarne Ranta - 1994 - 226 pages |

Type-Theoretical Grammar by Aarne Ranta - 1994 - 226 pages |

Verifying concurrent processes using temporal logic by Brent T. Hailpern - 1982 - 208 pages |

Verilog HDL synthesis by Jayaram Bhasker - 1998 - 215 pages |

Virtual Leadership by Jaclyn Kostner - 2010 |

Workshop record - 1992 - 87 pages |

1

**2**