Search Results - "Logic Design."

81

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

Published 2010

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

Electronic

82

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics /

by Platzer, Andr.̌
Published 2010

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

Electronic

83

Principles of Programming Languages

by Dowek, Gilles.
Published 2009

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

Electronic

84

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /

Published 2013

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

Electronic

85

Assurances for Self-Adaptive Systems Principles, Models, and Techniques /

Published 2013

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

Electronic

86

Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /

Published 2009

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

Electronic

87

Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers /

Published 2010

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

Electronic

88

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings /

Published 2010

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

Electronic

89

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings /

Published 2013

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

Electronic

90

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /

Published 2013

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

Electronic

91

ECOOP 2013 Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings /

Published 2013

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

Electronic

92

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /

Published 2013

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

Electronic

93

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

Published 2009

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

Electronic

94

Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings /

Published 2009

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

Electronic

95

Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /

Published 2009

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

Electronic

96

CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings /

Published 2009

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

Electronic

97

Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, Ju...

Published 2009

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

Electronic

98

Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /

Published 2009

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

Electronic

99

Programming Multi-Agent Systems 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers /

Published 2009

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

Electronic

100

Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Net...

Published 2010

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

Electronic

Narrow Search