Welcome
Copyright © SirsiDynix. All rights reserved.
branding logo
University of Jordan
user_choices_background_image
Welcome
login container bottom
Catalogue Search
E-Journal Federated Search
Search Library Catalog
Search Selected
Select All
<<   Previous     Next   >>
Title Main Entry Publication Date
Automated systems for access to multilingual and multiscript library materials : proceedings of the Second IFLA Satellite Meeting, Madrid, August 18-19, 1993 / IFLA Satellite Meeting 1993 : Madrid, Spain) 1994.
Automated systems for access to multilingual and multiscript library materials-problems and solutions/ Bobmeyer, Christine. 1978.
An automated technique for blood vessels extraction and analysis from digital retinal images / Arar, Mohammad Ragheb. 2005.
Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : proceedings / ATVA 2007 (2007 : Tokyo, Japan) c2007.
Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings / Chakraborty, Supratik. 2012.
Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings / Hung, Dang. 2013.
Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings /   2014.
Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /   2015.
Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings / Namjoshi, Kedar S. 2007.
Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings / Hutchison, David. 2008.
Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings / Liu, Zhiming. 2009.
Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings / Bouajjani, Ahmed. 2010.
Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings / Bultan, Tevfik. 2011.
Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings PELED, DORON A. 2005
Automated Technology for Vertification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings Graf, Susanne. 2006
Automated Tessting Methodology for Multi - Agent System / Alawi, Manal Hamdalla Mustafa . 2016
Automated testing methodology for multi-agent system / Alawi, Manal Hamdalla Mustafa, 2016.
Automated theorem proving / Bibel, W., 1938- 1982.
Automated theorem-proving in non-classical logics / Thistlewaite, Paul B. 1988.
Automated timetabling and scheduling of employees in maintenance services : a case in Jordan Petroleum Refinery Co. Ltd / al-Salihi, Zayd H. 2009.
<<   Previous     Next   >>