1
Formal Methods for Components and Objects [E-Book] : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
2
SDL 2011: Integrating System and Software Modeling [E-Book] : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
3
Programming Languages and Systems [E-Book] : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
4
Algebraic Foundations in Computer Science [E-Book] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
5
Software Engineering, Business Continuity, and Education [E-Book] : International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
6
Evaluation of Novel Approaches to Software Engineering [E-Book] : 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
7
Certified Programs and Proofs [E-Book] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
8
Applications and Theory of Petri Nets [E-Book] : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings /
Subject (ZB): “...Logic design...”

Full text  Full text 
Favorites
Saved in:
9
Computer Aided Verification [E-Book] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings /
Subject (ZB): “...Logic design...”

Full text  Full text 
Favorites
Saved in:
10
Conceptual Modeling – ER 2011 [E-Book] : 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
11
Software Engineering Techniques [E-Book] : Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers /
Subject (ZB): “...Logic design...”

Full text  Full text 
Favorites
Saved in:
12
Multiagent System Technologies [E-Book] : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
13
Agent-Oriented Software Engineering XI [E-Book] : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers /
Subject (ZB): “...Logic design...”

Full text  Full text 
Favorites
Saved in:
14
Implementation and Application of Functional Languages [E-Book] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
15
Software Architecture [E-Book] : 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
16
Automated Technology for Verification and Analysis [E-Book] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
17
Software Engineering and Formal Methods [E-Book] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
18
Formal Modeling and Analysis of Timed Systems [E-Book] : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
19
Computational Logic in Multi-Agent Systems [E-Book] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings /
Subject (ZB): “...Logic design...”

Full text  Full text 
Favorites
Saved in:
20
Testing Software and Systems [E-Book] : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:

Narrow Search Results