نتایج جستجو
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.), 2014
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.), 2014
Multi-Carrier Spread Spectrum 2007: Proceedings from the 6th International Workshop on Multi-Carrier Spread Spectrum, May 2007,Herrsching, Germany (Lecture Notes Electrical Engineering)
Simon Plass, Armin Dammann, Stefan Kaiser, Khaled Fazel, 2007
Multi-Carrier Spread Spectrum 2007: Proceedings from the 6th International Workshop on Multi-Carrier Spread Spectrum, May 2007,Herrsching, Germany (Lecture Notes Electrical Engineering)
Simon Plass, Armin Dammann, Stefan Kaiser, Khaled Fazel, 2007
New developments in dam engineering : proceedings of the 4th International Conference on Dam Engineering, 18-20 October 2004, Nanjing China
Martin Wieland; Qingwen Ren; John SY Tan, 2004
New developments in dam engineering: proceedings of the 4th International Conference on Dam Engineering, 18-20 October 2004, Nanjing China
Martin Wieland; Qingwen Ren; John SY Tan, 2004
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
Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
Richard Hull, Elio Damaggio, Fabiana Fournier (auth.), Mario Bravetti, Tevfik Bultan (eds.), 2011
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014
Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer, 2014
Proceedings of the 3rd International Symposium on Big Data and Cloud Computing Challenges (ISBCC – 16’)
V. Vijayakumar, V. Neelanarayanan (eds.), 2016
A Standard for Enterprise Project Management (Esi International Project Management)
Michael S. Zambruski, 2008
All Is Clouded by Desire: Global Banking, Money Laundering, and International Organized Crime
Alan A. Block, Constance A. Weaver, 2004
Advance in Barley Sciences: Proceedings of 11th International Barley Genetics Symposium
Eviatar Nevo (auth.), Guoping Zhang, Chengdao Li, Xu Liu (eds.), 2013
Advance in Barley Sciences: Proceedings of 11th International Barley Genetics Symposium
Eviatar Nevo (auth.), Guoping Zhang, Chengdao Li, Xu Liu (eds.), 2013
Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence: 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings
Lianzhi Yu, Guozheng Yan, Chunyang Wang, Wenlong Yang, Peng Zan, Jie Wu (auth.), De-Shuang Huang, Donald C. Wunsch II, Daniel S. Levine, Kang-Hyun Jo (eds.), 2008
Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence: 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings
Lianzhi Yu, Guozheng Yan, Chunyang Wang, Wenlong Yang, Peng Zan, Jie Wu (auth.), De-Shuang Huang, Donald C. Wunsch II, Daniel S. Levine, Kang-Hyun Jo (eds.), 2008
Advanced Research on Electronic Commerce, Web Application, and Communication: International Conference, ECWAC 2011, Guangzhou, China, April 16-17, 2011. Proceedings, Part II
Min Zhu, Ming Guo, YuJin Dai, LiTing Wang (auth.), Gang Shen, Xiong Huang (eds.), 2011
Advances in Data and Web Management: Joint 9th Asia-Pacific Web Conference, APWeb 2007, and 8th International Conference, on Web-Age Information Management, WAIM 2007, Huang Shan, China, June 16-18, 2007. Proceedings
Christos Faloutsos (auth.), Guozhu Dong, Xuemin Lin, Wei Wang, Yun Yang, Jeffrey Xu Yu (eds.), 2007
Advances in Data and Web Management: Joint 9th Asia-Pacific Web Conference, APWeb 2007, and 8th International Conference, on Web-Age Information Management, WAIM 2007, Huang Shan, China, June 16-18, 2007. Proceedings
Christos Faloutsos (auth.), Guozhu Dong, Xuemin Lin, Wei Wang, Yun Yang, Jeffrey Xu Yu (eds.), 2007
Advances in Electronic Engineering, Communication and Management Vol.2: Proceedings of 2011 International Conference on Electronic Engineering, Communication and Management (EECM 2011), held on December 24–25, 2011, Beijing, China
Wenjun Liao, Guohong Gao, Ying Wang (auth.), David Jin, Sally Lin (eds.), 2012
