Intelligent Science and Intelligent Data Engineering Second Sino-foreign-interchange Workshop...

द्वारा Sino-foreign-interchange Workshop on Intelligent Science and Intelligent Data Engineering, Zhang, Yanning.
प्रकाशित 2012.

Proceedings /

द्वारा European Software Engineering Conference, Jazayeri, Mehdi, Schauer, Helmut, ACM SIGSOFT Symposium on the Foundations of Software Engineering
प्रकाशित 1997.

Computational intelligence research frontiers : IEEE World Congress on Computational Intelligence...

द्वारा IEEE World Congress on Computational Intelligence, Zurada, Jacek M., Yen, Gary G., Wang, Jun
प्रकाशित 2008

Advances in software engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures /

द्वारा Börger, E., Cisternino, Antonio., Lipari Summer School on Advances in Software Engineering
प्रकाशित c200

Software engineering : an advanced course /

द्वारा Bauer, Friedrich Ludwig, Advanced Course on Software Engineering
प्रकाशित 1975.

Relations and Kleene algebra in computer science 9th International Conference on Relational Methods...

द्वारा International Conference on Relational Methods in Computer Science, Schmidt, Renate.
प्रकाशित 2006

Web information systems engineering – WISE 2007 8th International Conference on Web Information...

द्वारा International conference on web information systems engineering, Benatallah, Boualem.
प्रकाशित 2007

Empirical software engineering issues critical assessment and future directions : international...

द्वारा International Dagstuhl-Seminar on Empirical Software Engineering, Basili, Victor.
प्रकाशित 2007

Web information systems engineering - WISE 2008 9th International Conference Auckland, New Zealand, September 1-3, 2008 : proceedings /

द्वारा International Conference on Web Information Systems Engineering, Bailey, James.
प्रकाशित c200

Web information systems engineering-WISE 2012 13th International Conference, Paphos, Cyprus, November 28-30, 2012, proceedings /

द्वारा International Conference on Web Information Systems Engineering, Wang, Sean.
प्रकाशित 2012

Refinement techniques in software engineering first Pernambuco summer school on software engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004: revised lectures /

द्वारा Pernambuco Summer School on Software Engineering, Cavalcanti, Ana., Sampaio, Augusto., Woodcock, Jim.
प्रकाशित 2006

Frontiers in numerical analysis : Durham 2010

द्वारा LMS-EPSRC Summer School in Computational Mathematics andScientific Computation, Blowey, James., Jensen, Max.
प्रकाशित 2012.

Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006: proceedings /

द्वारा International Conference on Formal Engineering Methods, Liu, Zhiming., He, Jifeng.
प्रकाशित 2006

Formal methods and software engineering 14th International Conference on Formal Engineering Methods...

द्वारा International Conference on Formal Engineering Methods, Aoki, Toshiaki., Taguchi, Kenji.
प्रकाशित 2012

Tools for practical software verification International Summer School, LASER 2011, Elba Island, Italy, revised tutorial lectures /

द्वारा LASER Summer School on "Software Engineering: Tools for Practical Software Verification", Meyer, Bertrand., Nordio, Martin.
प्रकाशित 2012

Formal methods and software engineering 11th International Conference on Formal Engineering Methods...

द्वारा International Conference on Formal Engineering Methods, Breitman, K. K., Cavalcanti, Ana.
प्रकाशित 2009

Data engineering issues in E-Commerce and services second international workshop, DEECS 2006, San Francisco, CA, USA, June 26, 2006 /

द्वारा International Workshop on Data Engineering Issues in E-Commerce and Services, Lee, Juhnyoung.
प्रकाशित 2006.

Parallel computational fluid dynamics 2007 implementations and experiences on large scale and grid computing /

द्वारा Conference on Parallel Computational Fluid Dynamics, Tuncer, Ismail H., Gülcat, Ülgen., Emerson, David R., Matsuno, Kenichi.
प्रकाशित 2009

Geographic information science 4th international conference, GIScience 2006, Münster, Germany, September 20-23, 2006 : proceedings /

द्वारा International Symposium on Geographic Information Science, Raubal, Martin M.
प्रकाशित c200

Formal methods and software rngineering 10th International Conference on Formal Engineering Methods...

द्वारा International Conference on Formal Engineering Methods, Liu, Shaoying, Maibaum, T. S. E., Araki, Keijiro
प्रकाशित c200