Results of search for 'ccl=su:"Computer Science."'

Results
	501.	Automated reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / edited by Alessandro Armando, Peter Baumgartner, Gilles Dowek. by IJCAR 2001 (2008 : Sydney, Australia) Armando, Alessandro Baumgartner, Peter Dowek, Gilles SpringerLink (Online service) Series: Lecture notes in computer science. Lecture notes in artificial intelligence, ; 5195 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	502.	Automated reasoning [electronic resource] : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings / edited by Jurgen Giesl, Reiner Hahnle. by IJCAR 2010 (2010 : Edinburgh, Scotland) Giesl, Jurgen Hahnle, Reiner SpringerLink (Online service) Series: Lecture notes in computer science ; 6173 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 Other title: IJCAR 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	503.	Automated reasoning with analytic tableaux and related methods [electronic resource] : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings / edited by Martin Giese, Arild Waaler. by TABLEAUX 2009 (2009 : Oslo, Norway) Giese, Martin Waaler, Arild SpringerLink (Online service) Series: Lecture notes in computer science ; 5607 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	504.	Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings [electronic resource] / edited by Bernhard Beckert. by TABLEAUX 2005 (2005 : Koblenz, Germany) Beckert, Bernhard SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3702 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Other title: TABLEAUX 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	505.	Automated technology for verification and analysis [electronic resource] : 7th onternational symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings / edited by Zhiming Liu, Anders P. Ravn. by ATVA 2009 (2009 : Macau, China) Liu, Zhiming Ravn, Anders P SpringerLink (Online service) Series: Lecture notes in computer science ; 5799 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 Other title: ATVA 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	506.	Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings [electronic resource] / edited by Doron A. Peled, Yih-Kuen Tsay. by ATVA 2005 (2005 : Taipei, Taiwan) Peled, Doron A Tsay, Yih-Kuen SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3707 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Other title: ATVA 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	507.	Automated Technology for Vertification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings / edited by Susanne Graf, Wenhui Zhang. by ATVA 2006 (2006 : Beijing, China) Graf, Susanne Zhang, Wenhui SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4218 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	508.	No cover image available Automatic Arabic text categorization using Bayesian learning / Mahmood H. Kadhim. by Kadhim, Mahmood H [author.] Producer: 2013 Dissertation note: Thesis (Master of Information Technology) - Universiti Kebangsaan Malaysia, 2013. Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.9.T48K335 2013 3 tesis. Place hold
	509.	No cover image available Automatic arabic text summarization using clustering and keyphrase extraction / Hamzah Noori Fejer. by Fejer, Hamzah Noori [author.] Producer: 2015 Dissertation note: Thesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 2015. Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.9.T48F438 2015 3 tesis. Place hold
	510.	Automatic Autocorrelation and Spectral Analysis [electronic resource] / by Piet M. T. Broersen. by Broersen, Piet M. T SpringerLink (Online service) Publication details: London : Springer-Verlag London Limited, 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	511.	Automatic generation of neural network architecture using evolutionary computation / E. Vonk, L. C. Jain, R. P. Johnson by Vonk, E Jain, L. C Johnson, R. P. (Ray P.) Series: Advances in fuzzy systems ; vol. 14 Publication details: Singapore : World Scientific, 1997 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.87.V664. Place hold
	512.	No cover image available Automatic Malay text categorization of gini index and chi square using classifiers combination / Hamoud Hza'a Ali AbdulRahman. by AbdulRahman, Hamoud Hza'a Ali [author.] Producer: 2014 Dissertation note: Thesis (Master of Information Technology)- Universiti Kebangsaan Malaysia, 2014. Availability: Items available for loan: PERPUSTAKAAN LINGKUNGAN KEDUA (1)Call number: QA76.9.T48A227 2014 3 tesis. Place hold
	513.	No cover image available An automatic multiword lexical unit extraction from an Arabic corpus / AbdulGabbar Mohammed Saleh Saif. by Saif, AbdulGabbar Mohammed Saleh Publication details: 2011 Dissertation note: Thesis (M.Sc.) - Universiti Kebangsaan Malaysia, 2011. Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.T48S245 2011 3 tesis. Place hold
	514.	No cover image available An automatic multiword lexical unit extraction from an Arabic corpus [microform] / AbdulGabbar Mohammed Saleh Saif. by Saif, AbdulGabbar Mohammed Saleh Publication details: Universiti Kebangsaan Malaysia, Bangi : 2012 Dissertation note: Thesis (M.Sc.) - Universiti Kebangsaan Malaysia, 2011. Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: mikrofilem tesis QA76.9 .T48 S245 2012. Place hold
	515.	No cover image available Automatic part of speech tagger for Arabic language using neural network / Jabar Hassan Yousif by Yousif, Jabar Hassan Publication details: Bangi : Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia, 2007 Dissertation note: Thesis (Ph.D.) - Universiti Kebangsaan Malaysia, 2007 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: PJ6141.Y68 2007 tesis. Place hold
	516.	No cover image available Automatic part of speech tagger for Arabic language using neural network / [microform]/ Jabar Hassan Yousif by Yousif, Jabar Hassan Publication details: Bangi, Selangor : Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia, 2010 Dissertation note: Thesis (Ph.D.) - Universiti Kebangsaan Malaysia, 2007 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: mikrofis tesis PJ6141 .Y68 2010. Place hold
	517.	No cover image available Automatic program construction techniques / editors Alan W. Biermann, Gerard Guiho, Yves Kodratoff. by Biermann, Alan W, 1939- Guiho, Gerard, 1945- Kodratoff, Yves Institut national de recherche en informatique et en automatique (France) U.S. Army Research and Standardization Group Centre national de la recherche scientifique (France) Publication details: New York : MacMillan, c1984 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.6.A89[00008033267]. Place hold
	518.	Automatic Program Development [electronic resource] : A Tribute to Robert Paige / edited by Olivier Danvy ... [et al.]. by Danvy, Olivier SpringerLink (Online service) Publication details: Dordrecht : Springer Science + Business Media B. V, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	519.	Automatic quantum computer programming : a genetic programming approach / Lee Spector by Spector, Lee Series: Genetic programming series Publication details: New York : Springer, 2004 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.889.S654. Place hold
	520.	Automatic speech recognition on mobile devices and over communication networks [electronic resource] / [edited by] Zheng-Hua Tan and Borge Lindberg. by Tan, Zheng-Hua Lindberg, Borge SpringerLink (Online service) Series: Advances in pattern recognition Publication details: London : Springer-Verlag London Limited, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.

Refine your search

Availability

Authors

Home libraries

Item types

Locations

Series

Topics

Titles

Your search returned 4178 results.

Contact Us

Copyright ©The National University of Malaysia Library