Search Results - "Logic design."

181

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25May 1, 2010, Revised Selected Papers /

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

182

High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December...

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

183

Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings /

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

184

Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

185

Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings /

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

186

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

187

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2...

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

188

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings /

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

189

Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers /

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

190

Tests and Proofs 4th International Conference, TAP 2010, Ml̀aga, Spain, July 1-2, 2010. Proceedings /

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

191

Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

192

Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings /

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

193

Automated Deduction CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings /

Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

194

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers /

Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

195

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings /

Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

196

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers /

Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

197

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

198

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /

Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

199

Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings /

Published 2009

Subjects: '; “...Logic design....”
Get full text

Electronic

200

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings /

Published 2009

Subjects: '; “...Logic design....”
Get full text

Electronic

Narrow Search