System design - Congresses.

Tools and algorithms for the construction and analysis of systems = 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / by: (書目-電子資源)

Information modelling and knowledge bases XXII by: (書目-語言資料,印刷品)

Human-computer interaction = human and social aspects of human-computer interaction : proceedings of the sixth International Conference on Human-Computer Interaction, (HCI International '95), Tokyo, Japan, 9-14 July 1995, volume 2 / by: (書目-電子資源)

Design science research in information systems = advances in theory and practice ; 7th international conference, DESRIST 2012, Las Vegas,NV, USA, May 14-15, 2012 : proceedings / by: (書目-電子資源)

Eternal systems = first InternationalWorkshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised selected papers / by: (書目-電子資源)

Practical aspects of design science = European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011 : revised selected papers / by: (書目-電子資源)

Wireless algorithms, systems, and applications = third international conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008 : proceedings / by: (書目-電子資源)

Information modelling and knowledge bases XIX by: (書目-電子資源)

Information modelling and knowledge bases XXIII by: (書目-電子資源)

Complex systems design & management = proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013 / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / by: (書目-電子資源)

Advancing the impact of design science = moving from theory to practice : 9th International Conference, DESRIST 2014, Miami, FL, USA, May 22-24, 2014 : proceedings / by: (書目-電子資源)

Information system development = improving enterprise communication / by: (書目-電子資源)

COOP 2014 - Proceedings of the 11th International Conference on the Design of Cooperative Systems, 27-30 May 2014, Nice (France) by: (書目-電子資源)

Integrated formal methods = 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings / by: (書目-電子資源)

Information systems = education, applications, research : 7th SIGSAND/PLAIS EuroSymposium 2014, Gdansk, Poland, September 25, 2014 : proceedings / by: (書目-電子資源)

Design science = perspectives from Europe : European Design Science Symposium, EDSS 2013, Dublin, Ireland, November 21-22, 2013 : revised selected papers / by: (書目-電子資源)

Information systems design and intelligent applications = proceedings of Second International Conference INDIA 2015.. Volume 2 / by: (書目-電子資源)

Information systems design and intelligent applications = proceedings of Second International Conference INDIA 2015.. Volume 1 / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 : proceedings / by: (書目-電子資源)

New horizons in design science = broadening the research agenda : 10th International Conference, DESRIST 2015, Dublin, Ireland, May 20-22, 2015 : proceedings / by: (書目-電子資源)

Information systems = development, applications, education : 8th SIGSAND/PLAIS EuroSymposium 2015, Gdansk, Poland, September 25, 2015 : proceedings / by: (書目-電子資源)

Complex systems design & management = proceedings of the sixth International Conference on Complex Systems Design & Management, CSD&M 2015 / by: (書目-電子資源)

Information Systems Design and Intelligent Applications = Proceedings of Third International Conference INDIA 2016, Volume 2 / by: (書目-電子資源)

Information Systems Design and Intelligent Applications = Proceedings of Third International Conference INDIA 2016, Volume 1 / by: (書目-電子資源)

Information Systems Design and Intelligent Applications = Proceedings of Third International Conference INDIA 2016, Volume 3 / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 22nd International Conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings / by: (書目-電子資源)

Complex systems design & management Asia = smart nations - sustaining and designing: Proceedings of the Second Asia-Pacific Conference on Complex Systems Design & Management, CSD&M Asia 2016 / by: (書目-電子資源)

Complex systems design & management = proceedings of the Fifth International Conference on Complex Systems Design & Management CSD&M 2014 / by: (書目-電子資源)

Complex systems design & management Asia = designing smart cities: Proceedings of the First Asia - Pacific Conference on Complex Systems Design & Management, CSD&M Asia 2014 / by: (書目-電子資源)