-
Formal Methods and Software Engineering – 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
Aoki, Toshiaki ; Taguchi, Kenji 2012 Springer Berlin Heidelberg
-
Search Based Software Engineering – 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings
Fraser, Gordon ; Teixeira de Souza, Jerffeson 2012 Springer Berlin Heidelberg
-
Information Computing and Applications – Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings
Liu, Baoxiang ; Ma, Maode ; Chang, Jincai 2012 Springer Berlin Heidelberg
-
Information Computing and Applications – Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings, Part II
2012 Springer Berlin Heidelberg
-
Information Computing and Applications – Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings, Part I
2012 Springer Berlin Heidelberg
-
Information and Software Technologies – 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings
Skersys, Tomas ; Butleris, Rimantas ; Butkiene, Rita 2012 Springer Berlin Heidelberg
-
Software Process Improvement and Capability Determination – 12th International Conference, SPICE 2012, Palma, Spain, May 29-31, 2012. Proceedings
Mas, Antonia ; Mesquida, Antoni ; Rout, Terry ; O'Connor, Rory V. ; Dorling, Alec 2012 Springer Berlin Heidelberg
-
Runtime Verification – Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
Khurshid, Sarfraz ; Sen, Koushik 2012 Springer Berlin Heidelberg
-
Emerging Trends and Applications in Information Communication Technologies – Second International Multi Topic Conference, IMTIC 2012, Jamshoro, Pakistan, March 28-30, 2012. Proceedings
Chowdhry, Bhawani Shankar ; Shaikh, Faisal Karim ; Akbar Hussain, Dil Muhammad ; Aslam Uqaili, Muhammad 2012 Springer Berlin Heidelberg
-
Resource Discovery – Third International Workshop, RED 2010, Paris, France, November 5, 2010, Revised Selected Papers
Lacroix, Zoé ; Vidal, Maria Esther 2012 Springer Berlin Heidelberg
-
e-Business and Telecommunications – 6th International Joint Conference, ICETE 2009, Milan, Italy, July 7-10, 2009. Revised Selected Papers
Cordeiro, José António Moinhos ; Ranchordas, AlpeshKumar ; Šiškov, Boris 2011 Springer Berlin Heidelberg
-
Numerical Methods and Applications – 7th International Conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010. Revised Papers
Dimov, Ivan ; Dimova, Stefka ; Kolkovska, Natalia 2011 Springer Berlin Heidelberg
-
Advances in Artificial Intelligence – IBERAMIA 2010 – 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010. Proceedings
2010 Springer Berlin Heidelberg
-
Advances in Information Technology – 4th International Conference, IAIT 2010, Bangkok, Thailand, November 4-5, 2010. Proceedings
Borworn Papasratorn ; Lavangnananda, Kittichai ; Chutimaskul, Wichian ; Vanijja, Vajirasak 2010 Springer Berlin Heidelberg
-
Autonomic and Trusted Computing – 7th International Conference, ATC 2010, Xi’an, China, October 26-29, 2010. Proceedings
Xie, Bing 2010 Springer Berlin Heidelberg
-
Advances in Artificial Intelligence – SBIA 2010 – 20th Brazilian Symposium on Artificial Intelligence, São Bernardo do Campo, Brazil, October 23-28, 2010. Proceedings
Kuri-Morales, Angel ; Simari, Guillermo R. 2011 Springer Berlin Heidelberg
-
Development, optimization, and prototyping of a simplified sit-stand mechanism for lower limb impairments
George, Subin P. ; Thomas, Mervin Joe ; Mathew, Meby ; Gangadharan, Naveen ; Varghese, Arun K.
-
Ant Colony Optimization Algorithm for Optimal Network Path Selection and Deployment of Emulated Branched Test Environments
Yaroshevska, Oleksandra ; Kirova, Veronika ; Siemens, Eduard 2024 Hochschule Mittweida
-
Dual-level contextual graph-informed neural network with starling murmuration optimization for securing cloud-based botnet attack detection in wireless sensor networks
Deepa Priya, B. S. ; Ramu, V. ; Arunachalam, Krishna Prakash ; Santhakumar, D.
-
Optimization Properties of the Taylor Formula for the Triharmonic Poisson Integral
Shutovskyi, A. M.