Browsing “Logic Design” (Showing 41 - 60 of 479 results)

Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgium, 21-24 September 1992

15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013, Proceedings

9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings

19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV

Third International Workshop, DLMIA 2017, and 7th International Workshop, ML-CDS 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedings

Diagnosis Correction and Repair

Aspects of New Paradigms and Technologies in Parallel Computing

The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings

On Searching and Extracting Strings from Compressed Textual Data

16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part II

Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised Selected and Invited Papers