Search Results - "Logic design"

141

ECOOP 2009 Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings /

Published 2009

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

Electronic

142

Domain-Specific Languages IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings /

Published 2009

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

Electronic

143

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

Published 2009

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

Electronic

144

Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers /

Published 2009

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

Electronic

145

Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers /

Published 2010

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

Electronic

146

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

147

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Published 2010

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

Electronic

148

Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings /

Published 2010

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

Electronic

149

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010,...

Published 2010

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

Electronic

150

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice o...

Published 2010

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

Electronic

151

Hybrid Metaheuristics 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings /

Published 2010

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

Electronic

152

Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling /

Published 2010

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

Electronic

153

ECOOP 2010 Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings /

Published 2010

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

Electronic

154

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

155

Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings /

Published 2010

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

Electronic

156

Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers /

Published 2010

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

Electronic

157

Advanced Lectures on Software Engineering LASER Summer School 2007/2008 /

Published 2010

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

Electronic

158

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

159

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /

Published 2013

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

Electronic

160

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

Published 2013

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

Electronic

Narrow Search