141
Component-Based Software Engineering [E-Book] : 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings /
142
Component-Based Software Engineering (vol. # 3489) [E-Book] / 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
143
Component-Based Software Engineering (vol. # 4063) [E-Book] / 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings
144
Component Deployment [E-Book] : IFIP/ACM Working Conference, CD 2002 Berlin, Germany, June 20–21, 2002 Proceedings /
145
Component Deployment [E-Book] : Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004, Proceedings /
146
Component Deployment [E-Book] / Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
147
Composition of Embedded Systems. Scientific and Industrial Issues [E-Book] : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers /
148
Compositionality: The Significant Difference [E-Book] : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures /
149
Computable Models [E-Book] /
150
Computational Logic — CL 2000 [E-Book] : First International Conference London, UK, July 24–28, 2000 Proceedings /
151
Computational Logic in Multi-Agent Systems [E-Book] : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers /
152
Computational Logic in Multi-Agent Systems [E-Book] : 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings /
153
Computational Logic in Multi-Agent Systems [E-Book] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings /
154
Computational Logic in Multi-Agent Systems [E-Book] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers /
155
Computer Aided Systems Theory - EUROCAST 2003 [E-Book] : 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers /
156
Computer Aided Systems Theory - EUROCAST 2005 [E-Book] / 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers
157
Computer Aided Systems Theory – EUROCAST 2007 [E-Book] : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers /
158
Computer Aided Verification [E-Book] : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings /
159
Computer Aided Verification [E-Book] : 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings /
160
Computer Aided Verification [E-Book] : 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings /