نتایج جستجو
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2012
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2012
Abdominal Imaging. Computational and Clinical Applications: 4th International Workshop, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012. Proceedings
Thomas E. Hampshire, Holger R. Roth, Darren J. Boone, Greg Slabaugh, Steve Halligan (auth.), Hiroyuki Yoshida, David Hawkes, Michael W. Vannier (eds.), 2012
Stessa 2012: proceedings of the 7th International Conference on Behaviour of Steel Structures in Seismic Areas, Santiago, Chile, 9-11 January 2012
Federico M Mazzolani; Ricardo Herrera, 2012
Requirements Engineering: Foundation for Software Quality: 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings
Soren Lauesen (auth.), Björn Regnell, Daniela Damian (eds.), 2012
Requirements Engineering: Foundation for Software Quality: 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings
Soren Lauesen (auth.), Björn Regnell, Daniela Damian (eds.), 2012
Requirements Engineering: Foundation for Software Quality: 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings
Soren Lauesen (auth.), Björn Regnell, Daniela Damian (eds.), 2012
2012 International Conference on Information Technology and Management Science(ICITMS 2012) Proceedings
Ye Wang, Ting Wu (auth.), Bing Xu (eds.), 2013
Advances in Production Management Systems. Competitive Manufacturing for Innovative Products and Services: IFIP WG 5.7 International Conference, APMS 2012, Rhodes, Greece, September 24-26, 2012, Revised Selected Papers, Part I
Gökan May, Marco Taisch, Bojan Stahl, Vahid Sadr (auth.), Christos Emmanouilidis, Marco Taisch, Dimitris Kiritsis (eds.), 2013
Advances in Production Management Systems. Competitive Manufacturing for Innovative Products and Services: IFIP WG 5.7 International Conference, APMS 2012, Rhodes, Greece, September 24-26, 2012, Revised Selected Papers, Part II
Thorsten Wuest, Christopher Irgens, Klaus-Dieter Thoben (auth.), Christos Emmanouilidis, Marco Taisch, Dimitris Kiritsis (eds.), 2013
Advances in Technology and Management: Proceedings of the 2012 International Conference on Technology and Management (ICTAM 2012), International Convention Center Jeju, Jeju-Island, Korea
Lianfang Zhu, Ligang Dong, Chuanhuang Li (auth.), Haenakon Kim (eds.), 2012
