Search Results - "Logic."

201

Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers /

Published 2010

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

Electronic

202

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings /

Published 2010

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

Electronic

203

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures /

Published 2010

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

Electronic

204

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /

Published 2010

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

Electronic

205

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

206

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

207

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

208

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

Published 2010

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

Electronic

209

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

210

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

211

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

212

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

Published 2010

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

Electronic

213

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

214

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

215

Quantum Gravity, Generalized Theory of Gravitation, and Superstring Theory-Based Unification

Published 2002

Subjects: '; “...Mathematical logic....”
View fulltext via EzAccess

Electronic

216

Fuzzy logic for business, finance, and management

by Bojadziev, George.
Published 2007

Subjects: '; “...Fuzzy logic....”
Get full text

Electronic

217

Rationality and the literate mind

by Harris, Roy, 1931-
Published 2009

Subjects: '; “...Language and logic....”
View fulltext via EzAccess
MyiLibrary

Electronic

218

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

Published 2013

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

Electronic

219

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

220

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

Narrow Search