Filter
Datadesign
Filter
This book constitutes the proceedings of the CCF 18th International Conference on Computer-Aided Design and Computer Graphics, CAD/Graphics 2023, which took place in Shanghai, …
This book constitutes the refereed proceedings of the 12th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2015, held in Mallorca, Spain, in …
This book constitutes the refereed proceedings of the 11th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2014, held in Seattle, WA, USA, in …
The two-volume set LNCS 8111 and LNCS 8112 constitute the papers presented at the 14th International Conference on Computer Aided Systems Theory, EUROCAST 2013, held in February …
The two-volume set LNCS 8111 and LNCS 8112 constitute the papers presented at the 14th International Conference on Computer Aided Systems Theory, EUROCAST 2013, held in February …
This book constitutes the refereed proceedings of the 10th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2013, held in Palma de Mallorca, …
The 6th InternationalConference on Cooperative Design, Visualization and - gineering CDVE 2009 was held in central Europe - Luxembourg. Participants from ?ve continents came …
This year the CDVE conference celebratedits fourth annual eventin an exciting city—Shanghai, China. The cooperative design, visualization and engineering …
These are the proceedings of the ?fth international conference, Formal Methods in Computer-Aided Design (FMCAD), held 15-17 November 2004 in Austin, Texas, USA. The conference …
It was our great pleasure to hold the 2nd International Symposium onAutomated Te- nology on Veri?cation and Analysis (ATVA) in Taipei, Taiwan, ROC, October 31- …