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 planning theory and practice / Ghallab, Malik. c2004.
Automated positioning for towers and antenna in WIMAX networks / Hasanat, Esraa Abdelsalam, 2015.
Automated process control systems : concepts and hardware / Hunter, Ronald P., 1938- �1978.
Automated process control systems : concepts and hardware / Hunter, Ronald P., 1938- c1987.
Automated process control systems : Concepts and hardware/ HUNTER,RONALD P. 1987.
Automated reallocator of replicas over mobile ad hoc networks / abu Qaddum, Inas Ismail. 2009.
Automated reasoning : 33 basic research problems / Wos, Larry. c1988.
Automated reasoning : 33 basic research problems / Wos, Larry. c1988.
Automated reasoning : introduction and applications /   c1992.
Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / Carbonell, Jaime G. 2008.
Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings / Giesl, Jürgen. 2010.
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings / Gramlich, Bernhard. 2012.
Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings /   2014.
Automated Reasoning and Mathematics Essays in Memory of William W. McCune / Bonacina, Maria Paola. 2013.
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers / Armando, Alessandro. 2011.
Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings Furbach, Ulrich. 2006
Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings / Olivetti, Nicola. 2007.
Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings / Giese, Martin. 2009.
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings / Brünnler, Kai. 2011.
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / Galmiche, Didier. 2013.
<<   Previous     Next   >>