Search Results - "Logic."

181

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of S...

Published 2009

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

Electronic

182

Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings /

Published 2009

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

Electronic

183

Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings /

Published 2009

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

Electronic

184

Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings /

Published 2009

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

Electronic

185

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009,...

Published 2010

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

Electronic

186

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings /

Published 2010

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

Electronic

187

Logic and the Foundations of Game and Decision Theory <U+0013> LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers /

Published 2010

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

Electronic

188

Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /

Published 2009

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

Electronic

189

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings /

Published 2013

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

Electronic

190

Programming Logics Essays in Memory of Harald Ganzinger /

Published 2013

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

Electronic

191

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts /

by ORegan, Gerard.
Published 2013

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

Electronic

192

A General Framework for Reasoning On Inconsistency

by Martinez, Maria Vanina., Molinaro, Cristian., Subrahmanian, V.S., Amgoud, Leila.
Published 2013

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

Electronic

193

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /

Published 2013

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

Electronic

194

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /

Published 2013

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

Electronic

195

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings /

Published 2013

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

Electronic

196

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012,...

Published 2013

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

Electronic

197

Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers /

Published 2009

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

Electronic

198

FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /

Published 2009

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

Electronic

199

Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /

Published 2009

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

Electronic

200

Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings /

Published 2009

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

Electronic

Narrow Search