1
Computer Supported Cooperative Work in Design III [E-Book] : 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers /
2
Computer-Aided Innovation (CAI) [E-Book] : IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy /
3
Formal Methods in Computer-Aided Design [E-Book] : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings /
4
Correct Hardware Design and Verification Methods [E-Book] / 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings
5
Computer Supported Cooperative Work in Design I [E-Book] / 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers
6
Correct Hardware Design and Verification Methods [E-Book] : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings /
7
Computer Supported Cooperative Work in Design II [E-Book] / 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers
8
Computer Aided Systems Theory - EUROCAST'99 [E-Book] : A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings /
9
Correct Hardware Design and Verification Methods [E-Book] : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings /
10
Computer Supported Cooperative Work in Design IV [E-Book] : 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers /
11
Growth and Development of Computer-Aided Innovation [E-Book] : Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009. Proceedings /
12
Analysis, Architectures and Modelling of Embedded Systems [E-Book] : Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings /
13
Building Innovation Pipelines through Computer-Aided Innovation [E-Book] : 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 – July 1, 2011. Proceedings /