نتایج جستجو
Software Engineering and Knowledge Engineering: Theory and Practice: Selected papers from 2012 International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2012)
Zheng Shengbao, Jiang Shuping, Wang Xiaowen (auth.), Wei Zhang (eds.), 2012
Agent-Oriented Software Engineering III: Third International Workshop, AOSE 2002 Bologna, Italy, July 15, 2002 Revised Papers and Invited Contributions
Alexander Artikis, Marek Sergot, Jeremy Pitt (auth.), Fausto Giunchiglia, James Odell, Gerhard Weiß (eds.), 2003
Brain Edema X: Proceedings of the Tenth International Symposium San Diego, California, October 20–23, 1996
Dr. Danica B. Stanimirovic, R. Ball, J. P. Durkin (auth.), Hector E. James M.D., Lawrence F. Marshall M.D., Hans J. Raulen, Alexander Baethmann, Anthony Marmarou Ph.D., Umeo Ito M.D., Julian T. Hoff M.D., Toshihiko Kuroiwa M.D., Zbigniew Czernicki M.D., Ph.D. (eds.), 1997
Brain Edema XI: Proceedings of the 11th International Symposium, Newcastle-upon-Tyne, United Kingdom, June 6–10, 1999
Martin U. Schuhmann M.D., D. Stiller, S. Thomas, T. Brinker, M. Samii (auth.), Prof. A. David Mendelow, Prof. Dr. Alexander Baethmann, Prof. Dr. Zbigniew Czernicki, Prof. Dr. Julian T. Hoff, Prof. Dr. Umeo Ito, Dr. Hector E. James, Dr. Toshihika Kuroiwa, Prof. Dr. Anthony Marmarou, Prof. Dr. Lawrence F. Marshall, Prof. Dr. Hans-Jürgen Reulen (eds.), 2000
Software Reuse for Dynamic Systems in the Cloud and Beyond: 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings
Ina Schaefer, Ioannis Stamelos (eds.), 2014
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Martin Wirsing, Matthias Hölzl, Mirco Tribastone, Franco Zambonelli (auth.), Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue (eds.), 2013
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Anindya Banerjee (auth.), Bernhard Beckert, Ferruccio Damiani, Dilian Gurov (eds.), 2012
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Davide Ancona, Giovanni Lagorio, Elena Zucca (auth.), Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro (eds.), 2009
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Davide Ancona, Giovanni Lagorio, Elena Zucca (auth.), Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro (eds.), 2009
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Davide Ancona, Giovanni Lagorio, Elena Zucca (auth.), Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro (eds.), 2009
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Robin Adams (auth.), Stefano Berardi, Mario Coppo, Ferruccio Damiani (eds.), 2004
Advances in Neural Networks – ISNN 2014: 11th International Symposium on Neural Networks, ISNN 2014, Hong Kong and Macao, China, November 28- December 1, 2014. Proceedings
Zhigang Zeng, Yangmin Li, Irwin King (eds.), 2014
Neural Information Processing: 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006. Proceedings, Part I
Colin Molter, Naoyuki Sato, Utku Salihoglu, Yoko Yamaguchi (auth.), Irwin King, Jun Wang, Lai-Wan Chan, DeLiang Wang (eds.), 2006
Neural Information Processing: 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006. Proceedings, Part I
Colin Molter, Naoyuki Sato, Utku Salihoglu, Yoko Yamaguchi (auth.), Irwin King, Jun Wang, Lai-Wan Chan, DeLiang Wang (eds.), 2006
Neural Information Processing: 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006. Proceedings, Part I
Colin Molter, Naoyuki Sato, Utku Salihoglu, Yoko Yamaguchi (auth.), Irwin King, Jun Wang, Lai-Wan Chan, DeLiang Wang (eds.), 2006
Neural Information Processing: 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006. Proceedings, Part II
Dijun Luo, Rong Xiong (auth.), Irwin King, Jun Wang, Lai-Wan Chan, DeLiang Wang (eds.), 2006
Neural Information Processing: 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006. Proceedings, Part III
Ha-Nam Nguyen, Syng-Yup Ohn (auth.), Irwin King, Jun Wang, Lai-Wan Chan, DeLiang Wang (eds.), 2006
Neural Information Processing: 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006. Proceedings, Part III
Ha-Nam Nguyen, Syng-Yup Ohn (auth.), Irwin King, Jun Wang, Lai-Wan Chan, DeLiang Wang (eds.), 2006
Green Communication and Networking: Second International Conference, GreeNets 2012, Gandia, Spain, October 25-26, 2012, Revised Selected Papers
Koichi Asatani (auth.), Jaime Lloret Mauri, Joel J. P. C. Rodrigues (eds.), 2013
Emerging Solutions for Future Manufacturing Systems: IFP TC 5 / WG 5.5 Sixth IFIP International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services 27–29 September 2004, Vienna, Austria
Duncan McFarlane (auth.), Luis M. Camarinha-Matos (eds.), 2005
