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
Understanding Concurrent Systems [E-Book] /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
3
NASA Formal Methods [E-Book] : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
4
Large-Scale Scientific Computing [E-Book] : 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers /
Subject (ZB): “...Computer aided design...”

Full text 
Favorites
Saved in:
5
Composing Software Components [E-Book] : A Software-testing Perspective /
Subject (ZB): “...Computer aided design...”

Full text 
Favorites
Saved in:
6
Formal Methods for Components and Objects [E-Book] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
7
Object-Oriented Technology. ECOOP 2008 Workshop Reader [E-Book] : ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
8
Job Scheduling Strategies for Parallel Processing [E-Book] : 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
9
Runtime Verification [E-Book] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
10
Component-Based Software Engineering [E-Book] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
11
Formal Methods for Components and Objects [E-Book] : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
12
Experimental Algorithms [E-Book] : 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
13
A Modular Calculus for the Average Cost of Data Structuring [E-Book] /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
14
Principles of the Spin Model Checker [E-Book] /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
15
Large-Scale Scientific Computing [E-Book] : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers /
Subject (ZB): “...Computer aided design...”

Full text 
Favorites
Saved in:
16
Computer Supported Cooperative Work in Design IV [E-Book] : 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers /
Subject (ZB): “...Computer aided design...”

Full text 
Favorites
Saved in:
17
Verified Software: Theories, Tools, Experiments [E-Book] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
18
Distributed Applications and Interoperable Systems [E-Book] / 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
19
Job Scheduling Strategies for Parallel Processing [E-Book] : 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:
20
Programming Languages and Systems [E-Book] : 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings /
Subject (ZB): “...Logic design...”

Full text 
Favorites
Saved in:

Narrow Search Results