Search Results - "Logic design"

61

Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings /

Published 2010

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

Electronic

62

Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings /

Published 2009

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

Electronic

63

Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers /

Published 2013

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

Electronic

64

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

Published 2009

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

Electronic

65

Software Composition 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /

Published 2009

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

Electronic

66

Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, LAquila, Italy, September 15-16, 2008, Revised Selected Papers /

Published 2009

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

Electronic

67

Multi-Agent Systems for Society 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers /

Published 2009

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

Electronic

68

Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /

Published 2010

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

Electronic

69

Reliable Software Technologies <U+0013> Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings /

Published 2013

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

Electronic

70

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings /

Published 2013

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

Electronic

71

Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings /

Published 2013

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

Electronic

72

Automated Reasoning and Mathematics Essays in Memory of William W. McCune /

Published 2013

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

Electronic

73

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

Published 2013

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

Electronic

74

Modelling Computing Systems Mathematics for Computer Science /

by Moller, Faron., Struth, Georg.
Published 2013

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

Electronic

75

Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings /

Published 2009

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

Electronic

76

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings /

Published 2010

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

Electronic

77

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Published 2013

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

Electronic

78

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /

Published 2013

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

Electronic

79

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques,...

Published 2013

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

Electronic

80

Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /

Published 2009

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

Electronic

Narrow Search