Search Results - "Logic Design."

201

Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceeding...

Published 2009

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

Electronic

202

Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings /

Published 2009

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

Electronic

203

Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings /

Published 2009

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

Electronic

204

Fundamentals of Computation Theory 17th International Symposium, FCT 2009, WrocBaw, Poland, September 2-4, 2009. Proceedings /

Published 2009

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

Electronic

205

Computer Science Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings /

Published 2010

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

Electronic

206

Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings /

Published 2010

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

Electronic

207

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings /

Published 2010

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

Electronic

208

Conceptual Modeling ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings /

Published 2010

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

Electronic

209

Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever /

Published 2010

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

Electronic

210

Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /

Published 2010

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

Electronic

211

Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday /

Published 2010

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

Electronic

212

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /

Published 2010

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

Electronic

213

Mathematics of Program Construction 10th International Conference, MPC 2010, Qub̌ec City, Canada, June 21-23, 2010. Proceedings /

Published 2010

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

Electronic

214

Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings /

Published 2010

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

Electronic

215

Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers /

Published 2009

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

Electronic

216

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings /

Published 2010

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

Electronic

217

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday /

Published 2013

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

Electronic

218

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings /

Published 2013

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

Electronic

219

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings /

Published 2010

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

Electronic

220

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /

Published 2010

Subjects: '; “...Logic design....”
View fulltext via EzAccess

Electronic

Narrow Search