Welcome
user_choices_background_image
Welcome
login container bottom
Search Libraries Catalogue
Search Selected
Select All
<<   Previous     Next   >>
Title Main Entry Publication Date
Computer aided logical design with emphasis on VLSI / Hill, Fredrick J. c1993.
Computer aided machine design / Dimarogonas, Andrew D., 1938- 1988, c1989.
Computer aided machine design / Dimarogonas, Andrew D., 1938- 1988, c1989.
Computer-aided management : a manager's guide to profitable computing / Sanders, Norman 1985.
Computer-aided manufacture in architecture : the pursuit of novelty / Callicott, Nick. 2001.
Computer-aided manufacturing / Chang, Tien-Chien, 1954- 2006.
Computer-aided manufacturing / Chang, Tien-Chien, 1954- c1998.
Computer-aided manufacturing / Chang, Tien-Chien, 1954- c1991.
Computer-aided materials selection during structural design   c1995.
Computer aided methods in optimal design and operations   c2006.
Computer-aided modeling of reactive systems Stewart, Warren E., 1924- c2008.
Computer-aided modelling and simulation / Spriet, Jan A. 1982.
Computer-aided molecular design and discovery of new P-glycoprotein inhibitors followed by in vitro validation on doxorubicin resistant MCF7 cell-line / alQudah, Dana Abed alMajeed. 2016.
Computer-aided multivariate analysis / Afifi, A. A. (Abdelmonem A.), 1939- c1984.
Computer-aided multivariate analysis / Afifi, A. A. (Abdelmonem A.), 1939- c1990.
Computer-aided multivariate analysis / Afifi, A. A. (Abdelmonem A.), 1939- c2004.
Computer-aided network design Calahan, Donald Albert, 1935- 1972]
Computer-aided Nonlinear Control System Design Using Describing Function Models / Nassirharand, Amir. 2012.
Computer-aided power system analysis / Natarajan, Ramasamy, 1946- c2002.
Computer aided power system analysis and control / Mahalanabis, A. K. c1988.
Computer aided power system operation and analysis / Dhar, R. N. c1982.
Computer-aided power systems analysis / Kusic, George L., 1935 c2009.
Computer­aided power systems analysis / Kusic, George L., 1935 c1986.
Computer­aided problem solving for scientists and engineers / Jayaraman, Sundaresan. c1991.
Computer-aided process control / Singh, S. K. 2004.
COMPUTER AIDED PROCESS PLANNING CASE STUDY: CIM LAB/ MOHAMMAD DHEIF ALLA AL_TAHAT 1993
Computer aided process planning case study: CIM Lab, University of Jordan/ El-Tahat, Mohammad Dheif Alla. 1993.
Computer-aided process plant design /   c1982.
Computer-aided reasoning : ACL2 case studies / Kaufmann,Matt. 2000.
Computer-aided reasoning : an approach / Kaufmann, Matt. 2000.
Computer-aided seismic analysis and discrimination/ Chen, Chi-Hau, 1937. 1978.
Computer Aided Seismic and Fire Retrofitting Analysis of Existing High Rise Reinforced Concrete Buildings Hussain, Raja Rizwan. 2016.
Computer aided simulations / Udawatta, Lanka. c2009.
Computer-aided software engineering : the methodologies, the products, and the future / Gane, C. P. (Christopher P), 1938- c1990.
Computer-aided statistical physics : Taipei, Taiwan, 1991 /   c1992.
Computer aided structural design / Clarke, D. (Dennis) c1978.
Computer Aided Structural Design/ INTERNATIONAL Symposium on Computer-Aided Structural Design (1972: Coventry. 1972.
Computer-aided structure elucidation : spectra interpretation and structure generation /   c2002.
Computer Aided Surgery 7th Asian Conference on Computer Aided Surgery, Bangkok, Thailand, August 2011, Proceedings / Dohi, Takeyoshi. 2012.
Computer Aided Surgery   2016.
Computer-aided systems engineering / Eisner, Howard, 1935- c1988.
Computer-aided Systems in Public Transport Hickman, Mark. 2008.
Computer Aided Systems Theory - EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers Moreno-Díaz, Roberto. 2005
Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers / Moreno Díaz, Roberto. 2007.
Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers / Moreno Díaz, Roberto. 2009.
Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I / Moreno-Díaz, Roberto. 2012.
Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II / Moreno-Díaz, Roberto. 2012.
Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I / Moreno-Díaz, Roberto. 2013.
Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II / Moreno-Díaz, Roberto. 2013.
Computer Aided Systems Theory – EUROCAST 2015 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers /   2015.
Computer aided systems theory-- EUROCAST 2007 : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007 : revised selected papers / International Conference on Computer Aided Systems Theory 2007 : Las Palmas, Canary Islands) c2007.
Computer-aided techniques in food technology /   c1983.
Computer-aided tolerancing : Proceedings of the 4th CIRP Design Seminar, The University of Tokyo, Tokyo, Japan, April 5-6, 1995 /   1996.
Computer aided tools for VLSI system design /   c1987.
Computer-Aided Translation: A Case Study of Speeches from the Throne by His Majesty King Abdullah II AL-Hatamleh, Sara Ryad 2017.
Computer aided using the tektronix graphics system / Neudorf, Norman 1983.
Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings / Damm, Werner. 2007.
Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings / Bouajjani, Ahmed. 2009.
Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings / Touili, Tayssir. 2010.
Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings / Gopalakrishnan, Ganesh. 2011.
Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings / Madhusudan, P. 2012.
Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings / Sharygina, Natasha. 2013.
Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings /   2014.
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /   2015.
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /   2015.
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I /   2017.
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II /   2017.
Computer Aided Verification (vol. # 3576) 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings Etessami, Kousha. 2005
Computer Aided Verification (vol. # 4144) 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings Ball, Thomas. 2006
Computer Aided Virtual Manufacturing Using Creo Parametric Easy to Learn Step by Step Guide / Kanife, Paul Obiora. 2016.
Computer Aided Workplace Design and Management / AL- ORAN , SEMA'A M. 2012
Computer aided workplace design and management / al-Sema'a M. al-Oran 2012.
Computer aids for VLSI design / Rubin, Steven M. c1987.
Computer alegebra and symbolic computation mathematical methods / Cohen, Joel S. c2003.
Computer algebra : concepts and techniques / Lamagna, Edmund A., [2019]
Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982 / European Computer Algebra Conference (1982 : Marseille, France) 1982.
Computer algebra : systems and algorithms for algebraic computation / Davenport, James Harold, 1953- 1988.
Computer algebra and differential equations /   [1989]
Computer Algebra and Geometric Algebra with Applications 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Paper Li, Hongbo. 2005
Computer Algebra and Polynomials Applications of Algebra and Number Theory /   2015.
Computer algebra and symbolic computation elementary algorithms / Cohen, Joel S. 2002.
Computer algebra in applied mathematics : an introduction to MACSYMA / Rand, R. H. (Richard H.) 1984.
Computer algebra in industry : problem solving in practice : proceedings of the 1991 SCAFI Seminar at CWI, Amsterdam / SCAFI Seminar (1991 : Centrum voor Wiskunde en Informatica, Amsterdam, Netherlands) c1993.
Computer algebra in industry 2 : problem solving in practice /   c1995.
Computer algebra in industry 2 : problem solving in practice /   c1995.
Computer algebra in industry 2 : problem solving in practice /   c1995.
Computer Algebra in Quantum Field Theory Integration, Summation and Special Functions / Schneider, Carsten. 2013.
Computer algebra in scientific computing : CASC 2000 : proceedings of the third workshop on Computer Algebra in Scientific Computing, Samarkand, October 5-9, 2000 / Workshop on Computer Algebra in Scientific Computing 2000 : Samarqand, Uzbekistan) c2000.
Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings / Ganzha, Victor G. 2007.
Computer Algebra in Scientific Computing 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings / Gerdt, Vladimir P. 2009.
Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings / Gerdt, Vladimir P. 2010.
Computer Algebra in Scientific Computing 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings / Gerdt, Vladimir P. 2011.
Computer Algebra in Scientific Computing 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings / Gerdt, Vladimir P. 2012.
Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings / Gerdt, Vladimir P. 2013.
Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings /   2014.
Computer Algebra in Scientific Computing 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings /   2015.
Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings /   2017.
Computer Algebra in Scientific Computing (vol. # 3718) 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings Ganzha, Victor G. 2005
Computer Algebra in Scientific Computing (vol. # 4194) 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings Ganzha, V.G. 2006
Computer Algebra Recipes An Advanced Guide to Scientific Modeling / Enns, Richard H. 2007.
<<   Previous     Next   >>